runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689002-1337880534/watcher-3689002-1337880534 -o /tmp/evaluation-result-3689002-1337880534/solver-3689002-1337880534 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689002-1337880534.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.39 3.78 3.85 3/197 26404
/proc/meminfo: memFree=29538404/32873844 swapFree=7616/7616
[pid=26404] ppid=26402 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/26404/stat : 26404 (java) R 26402 26404 23801 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 254178965 23793664 715 33554432000 1073741824 1073778376 140736241143792 140736241132856 214360438120 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26404/statm: 5809 715 530 9 0 128 0
[startup+0.0771371 s]
/proc/loadavg: 3.39 3.78 3.85 3/197 26404
/proc/meminfo: memFree=29538404/32873844 swapFree=7616/7616
[pid=26404] ppid=26402 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/26404/stat : 26404 (java) S 26402 26404 23801 0 -1 4202496 3336 0 1 0 5 1 0 0 20 0 18 0 254178965 9787813888 4544 33554432000 1073741824 1073778376 140736241143792 140736241134928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26404/statm: 2389603 4544 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.100251 s]
/proc/loadavg: 3.39 3.78 3.85 3/197 26404
/proc/meminfo: memFree=29538404/32873844 swapFree=7616/7616
[pid=26404] ppid=26402 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/26404/stat : 26404 (java) S 26402 26404 23801 0 -1 4202496 4284 0 1 0 9 1 0 0 20 0 18 0 254178965 9787813888 5491 33554432000 1073741824 1073778376 140736241143792 140736241134928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26404/statm: 2389603 5491 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300212 s]
/proc/loadavg: 3.39 3.78 3.85 3/197 26404
/proc/meminfo: memFree=29538404/32873844 swapFree=7616/7616
[pid=26404] ppid=26402 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/26404/stat : 26404 (java) S 26402 26404 23801 0 -1 4202496 5512 0 1 0 45 2 0 0 20 0 18 0 254178965 9787813888 7858 33554432000 1073741824 1073778376 140736241143792 140736241134928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26404/statm: 2389603 7858 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412
[startup+0.700293 s]
/proc/loadavg: 3.39 3.78 3.85 3/197 26404
/proc/meminfo: memFree=29538404/32873844 swapFree=7616/7616
[pid=26404] ppid=26402 vsize=9824668 CPUtime=1.47 cores=0,2,4,6
/proc/26404/stat : 26404 (java) S 26402 26404 23801 0 -1 4202496 24542 0 1 0 139 8 0 0 20 0 19 0 254178965 10060460032 23303 33554432000 1073741824 1073778376 140736241143792 140736241134928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26404/statm: 2456167 23303 2243 9 0 2446860 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9824668
[startup+1.50072 s]
/proc/loadavg: 3.39 3.78 3.85 3/216 26429
/proc/meminfo: memFree=29450912/32873844 swapFree=7616/7616
[pid=26404] ppid=26402 vsize=9824668 CPUtime=1.98 cores=0,2,4,6
/proc/26404/stat : 26404 (java) S 26402 26404 23801 0 -1 4202496 24606 0 1 0 186 12 0 0 20 0 19 0 254178965 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 140736241134928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26404/statm: 2456167 25668 2254 9 0 2446860 0
[pid=26404/tid=26406] ppid=26402 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/26404/task/26406/stat : 26406 (java) S 26402 26404 23801 0 -1 4202560 2499 0 1 0 36 2 0 0 20 0 19 0 254178966 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741657252856 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26407] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26407/stat : 26407 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741595982376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26408] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26408/stat : 26408 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741594929576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26404/tid=26409] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26409/stat : 26409 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741593876776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26404/tid=26410] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26410/stat : 26410 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741498128552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26411] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26411/stat : 26411 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741497076776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26412] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26412/stat : 26412 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741496023976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26413] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26413/stat : 26413 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741494971176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26414] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26414/stat : 26414 (java) S 26402 26404 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741493918376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26415] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26415/stat : 26415 (java) S 26402 26404 23801 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741481507304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26416] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26416/stat : 26416 (java) S 26402 26404 23801 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741480453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26417] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26417/stat : 26417 (java) S 26402 26404 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741479400456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26418] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26418/stat : 26418 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741478348944 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26419] ppid=26402 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/26404/task/26419/stat : 26419 (java) S 26402 26404 23801 0 -1 4202560 10884 0 0 0 67 3 0 0 20 0 19 0 254178971 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741477297080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26420] ppid=26402 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/26404/task/26420/stat : 26420 (java) S 26402 26404 23801 0 -1 4202560 9819 0 0 0 64 2 0 0 20 0 19 0 254178971 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741476244280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26404/tid=26421] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26421/stat : 26421 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741475191672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26404/tid=26422] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26422/stat : 26422 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741474139080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26425] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26425/stat : 26425 (java) S 26402 26404 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254179005 10060460032 25668 33554432000 1073741824 1073778376 140736241143792 139741469680552 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9824668
[startup+3.10075 s]
/proc/loadavg: 3.39 3.78 3.85 3/216 26435
/proc/meminfo: memFree=29433296/32873844 swapFree=7616/7616
[pid=26404] ppid=26402 vsize=9824668 CPUtime=2.14 cores=0,2,4,6
/proc/26404/stat : 26404 (java) S 26402 26404 23801 0 -1 4202496 24664 0 1 0 201 13 0 0 20 0 19 0 254178965 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 140736241134928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26404/statm: 2456167 29788 2254 9 0 2446860 0
[pid=26404/tid=26406] ppid=26402 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/26404/task/26406/stat : 26406 (java) S 26402 26404 23801 0 -1 4202560 2500 0 1 0 36 2 0 0 20 0 19 0 254178966 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741657252856 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26407] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26407/stat : 26407 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741595982376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26408] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26408/stat : 26408 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741594929576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26404/tid=26409] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26409/stat : 26409 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741593876776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26404/tid=26410] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26410/stat : 26410 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741498128552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26411] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26411/stat : 26411 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741497076776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26412] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26412/stat : 26412 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741496023976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26413] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26413/stat : 26413 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741494971176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26414] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26414/stat : 26414 (java) S 26402 26404 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741493918376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26415] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26415/stat : 26415 (java) S 26402 26404 23801 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741481507304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26416] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26416/stat : 26416 (java) S 26402 26404 23801 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741480453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26417] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26417/stat : 26417 (java) S 26402 26404 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741479400456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26418] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26418/stat : 26418 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741478348944 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26419] ppid=26402 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/26404/task/26419/stat : 26419 (java) S 26402 26404 23801 0 -1 4202560 10884 0 0 0 73 3 0 0 20 0 19 0 254178971 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741477297080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26420] ppid=26402 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/26404/task/26420/stat : 26420 (java) S 26402 26404 23801 0 -1 4202560 9819 0 0 0 70 2 0 0 20 0 19 0 254178971 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741476244280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26421] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26421/stat : 26421 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741475191672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26404/tid=26422] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26422/stat : 26422 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741474139080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26425] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26425/stat : 26425 (java) S 26402 26404 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254179005 10060460032 29788 33554432000 1073741824 1073778376 140736241143792 139741469680552 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9824668
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.50071 s]
/proc/loadavg: 3.39 3.78 3.85 3/216 26441
/proc/meminfo: memFree=29420752/32873844 swapFree=7616/7616
[pid=26404] ppid=26402 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/26404/stat : 26404 (java) S 26402 26404 23801 0 -1 4202496 24675 0 1 0 207 14 0 0 20 0 19 0 254178965 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 140736241134928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26404/statm: 2456167 30813 2255 9 0 2446860 0
[pid=26404/tid=26406] ppid=26402 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/26404/task/26406/stat : 26406 (java) S 26402 26404 23801 0 -1 4202560 2501 0 1 0 36 2 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741657252856 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26407] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26407/stat : 26407 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741595982376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26408] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26408/stat : 26408 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741594929576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26404/tid=26409] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26409/stat : 26409 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741593876776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26404/tid=26410] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26410/stat : 26410 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741498128552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26411] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26411/stat : 26411 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741497076776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26412] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26412/stat : 26412 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741496023976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26413] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26413/stat : 26413 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741494971176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26414] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26414/stat : 26414 (java) S 26402 26404 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741493918376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26415] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26415/stat : 26415 (java) S 26402 26404 23801 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741481507304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26416] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26416/stat : 26416 (java) S 26402 26404 23801 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741480453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26417] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26417/stat : 26417 (java) S 26402 26404 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741479400456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26418] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26418/stat : 26418 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741478348944 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26419] ppid=26402 vsize=9824668 CPUtime=0.78 cores=0,2,4,6
/proc/26404/task/26419/stat : 26419 (java) S 26402 26404 23801 0 -1 4202560 10884 0 0 0 75 3 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741477297080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26420] ppid=26402 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/26404/task/26420/stat : 26420 (java) S 26402 26404 23801 0 -1 4202560 9820 0 0 0 73 2 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741476244280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26421] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26421/stat : 26421 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741475191672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26404/tid=26422] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26422/stat : 26422 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741474139080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26425] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26425/stat : 26425 (java) S 26402 26404 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254179005 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741469680552 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9824668
[startup+3.9007 s]
/proc/loadavg: 3.39 3.78 3.85 3/216 26441
/proc/meminfo: memFree=29420752/32873844 swapFree=7616/7616
[pid=26404] ppid=26402 vsize=9824668 CPUtime=2.21 cores=0,2,4,6
/proc/26404/stat : 26404 (java) S 26402 26404 23801 0 -1 4202496 24675 0 1 0 207 14 0 0 20 0 19 0 254178965 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 140736241134928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26404/statm: 2456167 30813 2255 9 0 2446860 0
[pid=26404/tid=26406] ppid=26402 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/26404/task/26406/stat : 26406 (java) S 26402 26404 23801 0 -1 4202560 2501 0 1 0 36 2 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741657252856 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26407] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26407/stat : 26407 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741595982376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26408] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26408/stat : 26408 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741594929576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26404/tid=26409] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26409/stat : 26409 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741593876776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26404/tid=26410] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26410/stat : 26410 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741498128552 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26411] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26411/stat : 26411 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741497076776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26412] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26412/stat : 26412 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741496023976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26413] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26413/stat : 26413 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741494971176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26414] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26414/stat : 26414 (java) S 26402 26404 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254178966 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741493918376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26415] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26415/stat : 26415 (java) S 26402 26404 23801 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741481507304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26416] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26416/stat : 26416 (java) S 26402 26404 23801 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741480453368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26417] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26417/stat : 26417 (java) S 26402 26404 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254178968 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741479400456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26418] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26418/stat : 26418 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741478348944 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26419] ppid=26402 vsize=9824668 CPUtime=0.78 cores=0,2,4,6
/proc/26404/task/26419/stat : 26419 (java) S 26402 26404 23801 0 -1 4202560 10884 0 0 0 75 3 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741477297080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26404/tid=26420] ppid=26402 vsize=9824668 CPUtime=0.75 cores=0,2,4,6
/proc/26404/task/26420/stat : 26420 (java) S 26402 26404 23801 0 -1 4202560 9820 0 0 0 73 2 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741476244280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26421] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26421/stat : 26421 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741475191672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26404/tid=26422] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26422/stat : 26422 (java) S 26402 26404 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254178971 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741474139080 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26404/tid=26425] ppid=26402 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26404/task/26425/stat : 26425 (java) S 26402 26404 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254179005 10060460032 30813 33554432000 1073741824 1073778376 140736241143792 139741469680552 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9824668
Child status: 30
Real time (s): 3.92285
CPU time (s): 2.25366
CPU user time (s): 2.07069
CPU system time (s): 0.182972
CPU usage (%): 57.4495
Max. virtual memory (cumulated for all children) (KiB): 9825676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.07069
system time used= 0.182972
maximum resident set size= 125308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24679
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 649
involuntary context switches= 90
runsolver used 0.001999 second user time and 0.043993 second system time
The end