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-3732557-1338685883/watcher-3732557-1338685883 -o /tmp/evaluation-result-3732557-1338685883/solver-3732557-1338685883 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732557-1338685883.opb
running on 4 cores: 1,3,5,7
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.45 3.54 3.61 10/200 29179
/proc/meminfo: memFree=27213068/32873844 swapFree=7112/7112
[pid=29179] ppid=29177 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/29179/stat : 29179 (java) R 29177 29179 27163 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 334713637 23793664 712 33554432000 1073741824 1073778376 140734301758736 140734301747800 273579816296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29179/statm: 5809 712 526 9 0 128 0
[startup+0.0208129 s]
/proc/loadavg: 3.45 3.54 3.61 10/200 29179
/proc/meminfo: memFree=27213068/32873844 swapFree=7112/7112
[pid=29179] ppid=29177 vsize=10510056 CPUtime=0 cores=1,3,5,7
/proc/29179/stat : 29179 (java) S 29177 29179 27163 0 -1 4202496 2322 0 1 0 0 0 0 0 20 0 2 0 334713637 10762297344 6603 33554432000 1073741824 1073778376 140734301758736 140734301749872 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29179/statm: 2627514 6603 942 9 0 2618623 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10510056
[startup+0.100196 s]
/proc/loadavg: 3.45 3.54 3.61 10/200 29179
/proc/meminfo: memFree=27213068/32873844 swapFree=7112/7112
[pid=29179] ppid=29177 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/29179/stat : 29179 (java) S 29177 29179 27163 0 -1 4202496 5208 0 1 0 8 1 0 0 20 0 18 0 334713637 11864465408 13557 33554432000 1073741824 1073778376 140734301758736 140734301749872 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29179/statm: 2896598 13557 2087 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392
[startup+0.300218 s]
/proc/loadavg: 3.45 3.54 3.61 10/200 29179
/proc/meminfo: memFree=27213068/32873844 swapFree=7112/7112
[pid=29179] ppid=29177 vsize=11586392 CPUtime=0.48 cores=1,3,5,7
/proc/29179/stat : 29179 (java) S 29177 29179 27163 0 -1 4202496 6243 0 1 0 46 2 0 0 20 0 18 0 334713637 11864465408 16305 33554432000 1073741824 1073778376 140734301758736 140734301749872 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29179/statm: 2896598 16305 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392
[startup+0.700203 s]
/proc/loadavg: 3.45 3.54 3.61 10/200 29179
/proc/meminfo: memFree=27213068/32873844 swapFree=7112/7112
[pid=29179] ppid=29177 vsize=11852648 CPUtime=1.84 cores=1,3,5,7
/proc/29179/stat : 29179 (java) S 29177 29179 27163 0 -1 4202496 11123 0 1 0 180 4 0 0 20 0 22 0 334713637 12137111552 29121 33554432000 1073741824 1073778376 140734301758736 140734301749872 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29179/statm: 2963162 29121 2255 9 0 2953849 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 11852648
[startup+1.50071 s]
/proc/loadavg: 3.45 3.54 3.61 3/219 29201
/proc/meminfo: memFree=27046984/32873844 swapFree=7112/7112
[pid=29179] ppid=29177 vsize=11852648 CPUtime=2.72 cores=1,3,5,7
/proc/29179/stat : 29179 (java) S 29177 29179 27163 0 -1 4202496 12400 0 1 0 265 7 0 0 20 0 22 0 334713637 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140734301749872 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29179/statm: 2963162 49617 2259 9 0 2953849 0
[pid=29179/tid=29181] ppid=29177 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/29179/task/29181/stat : 29181 (java) S 29177 29179 27163 0 -1 4202560 3421 0 1 0 32 2 0 0 20 0 22 0 334713638 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128485749912 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29182] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29182/stat : 29182 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128322874024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29183] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29183/stat : 29183 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128206973736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29184] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29184/stat : 29184 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128321821608 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29179/tid=29185] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29185/stat : 29185 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128320769064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29186] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29186/stat : 29186 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128319715496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29187] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29187/stat : 29187 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128318662952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29188] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29188/stat : 29188 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128317610408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29189] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29189/stat : 29189 (java) S 29177 29179 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128316557864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29190] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29190/stat : 29190 (java) S 29177 29179 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334713641 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128304147048 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29191] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29191/stat : 29191 (java) S 29177 29179 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334713641 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128303093368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29192] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29192/stat : 29192 (java) S 29177 29179 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334713641 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128302040712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29193] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29193/stat : 29193 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713644 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128300989456 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29194] ppid=29177 vsize=11852648 CPUtime=0.49 cores=1,3,5,7
/proc/29179/task/29194/stat : 29194 (java) S 29177 29179 27163 0 -1 4202560 3833 0 0 0 49 0 0 0 20 0 22 0 334713644 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128299935800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29179/tid=29195] ppid=29177 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/29179/task/29195/stat : 29195 (java) S 29177 29179 27163 0 -1 4202560 3793 0 0 0 44 0 0 0 20 0 22 0 334713644 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128298883256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29196] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29196/stat : 29196 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713644 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128297830904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29197] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29197/stat : 29197 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713644 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140128296778568 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29201] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29201/stat : 29201 (java) S 29177 29179 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334713674 12137111552 49617 33554432000 1073741824 1073778376 140734301758736 140126999013032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.90071 s]
/proc/loadavg: 3.45 3.54 3.61 3/219 29201
/proc/meminfo: memFree=27046984/32873844 swapFree=7112/7112
[pid=29179] ppid=29177 vsize=11852648 CPUtime=3.55 cores=1,3,5,7
/proc/29179/stat : 29179 (java) S 29177 29179 27163 0 -1 4202496 12664 0 1 0 346 9 0 0 20 0 22 0 334713637 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140734301749872 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29179/statm: 2963162 70613 2261 9 0 2953849 0
[pid=29179/tid=29181] ppid=29177 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/29179/task/29181/stat : 29181 (java) S 29177 29179 27163 0 -1 4202560 3421 0 1 0 32 2 0 0 20 0 22 0 334713638 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128485749912 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29182] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29182/stat : 29182 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128322874024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29183] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29183/stat : 29183 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128206973736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29184] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29184/stat : 29184 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128321821608 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29179/tid=29185] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29185/stat : 29185 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128320769064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29186] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29186/stat : 29186 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128319715496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29187] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29187/stat : 29187 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128318662952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29188] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29188/stat : 29188 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128317610408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29189] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29189/stat : 29189 (java) S 29177 29179 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334713640 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128316557864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29190] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29190/stat : 29190 (java) S 29177 29179 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334713641 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128304147048 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29191] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29191/stat : 29191 (java) S 29177 29179 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334713641 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128303093368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29192] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29192/stat : 29192 (java) S 29177 29179 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334713641 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128302040712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29193] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29193/stat : 29193 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713644 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128300989456 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29194] ppid=29177 vsize=11852648 CPUtime=0.52 cores=1,3,5,7
/proc/29179/task/29194/stat : 29194 (java) S 29177 29179 27163 0 -1 4202560 4054 0 0 0 52 0 0 0 20 0 22 0 334713644 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128299935800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29179/tid=29195] ppid=29177 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/29179/task/29195/stat : 29195 (java) S 29177 29179 27163 0 -1 4202560 3793 0 0 0 44 0 0 0 20 0 22 0 334713644 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128298883256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29196] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29196/stat : 29196 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713644 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128297830904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29197] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29197/stat : 29197 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334713644 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140128296778568 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29201] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29201/stat : 29201 (java) S 29177 29179 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334713674 12137111552 70613 33554432000 1073741824 1073778376 140734301758736 140126999013032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 11852648
[startup+2.30084 s]
/proc/loadavg: 3.45 3.54 3.61 7/222 29204
/proc/meminfo: memFree=26900104/32873844 swapFree=7112/7112
[pid=29179] ppid=29177 vsize=11852648 CPUtime=4.4 cores=1,3,5,7
/proc/29179/stat : 29179 (java) S 29177 29179 27163 0 -1 4202496 18813 0 1 0 427 13 0 0 20 0 19 0 334713637 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140734301749872 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29179/statm: 2963162 81973 2261 9 0 2953849 0
[pid=29179/tid=29181] ppid=29177 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/29179/task/29181/stat : 29181 (java) S 29177 29179 27163 0 -1 4202560 3421 0 1 0 32 2 0 0 20 0 19 0 334713638 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128485749912 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29182] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29182/stat : 29182 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713640 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128322874024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29183] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29183/stat : 29183 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713640 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128206973736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29184] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29184/stat : 29184 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713640 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128321821608 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29179/tid=29185] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29185/stat : 29185 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713640 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128320769064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29186] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29186/stat : 29186 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713640 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128319715496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29187] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29187/stat : 29187 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713640 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128318662952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29188] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29188/stat : 29188 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713640 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128317610408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29189] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29189/stat : 29189 (java) S 29177 29179 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334713640 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128316557864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29190] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29190/stat : 29190 (java) S 29177 29179 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334713641 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128304147048 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29191] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29191/stat : 29191 (java) S 29177 29179 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334713641 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128303093368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29192] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29192/stat : 29192 (java) S 29177 29179 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334713641 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128302040712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29193] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29193/stat : 29193 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713644 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128300989456 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29194] ppid=29177 vsize=11852648 CPUtime=0.71 cores=1,3,5,7
/proc/29179/task/29194/stat : 29194 (java) S 29177 29179 27163 0 -1 4202560 7730 0 0 0 70 1 0 0 20 0 19 0 334713644 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128299935800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29179/tid=29195] ppid=29177 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/29179/task/29195/stat : 29195 (java) S 29177 29179 27163 0 -1 4202560 6218 0 0 0 58 1 0 0 20 0 19 0 334713644 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128298883256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29196] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29196/stat : 29196 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713644 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128297830904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29197] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29197/stat : 29197 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334713644 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140128296778568 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29201] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29201/stat : 29201 (java) S 29177 29179 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334713674 12137111552 81973 33554432000 1073741824 1073778376 140734301758736 140126999013032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 11852648
[startup+2.40084 s]
/proc/loadavg: 3.45 3.54 3.61 7/222 29204
/proc/meminfo: memFree=26900104/32873844 swapFree=7112/7112
[pid=29179] ppid=29177 vsize=11852648 CPUtime=4.44 cores=1,3,5,7
/proc/29179/stat : 29179 (java) S 29177 29179 27163 0 -1 4202496 18831 0 1 0 431 13 0 0 20 0 18 0 334713637 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140734301749872 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29179/statm: 2963162 82498 2263 9 0 2953849 0
[pid=29179/tid=29181] ppid=29177 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/29179/task/29181/stat : 29181 (java) S 29177 29179 27163 0 -1 4202560 3422 0 1 0 33 2 0 0 20 0 18 0 334713638 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128485749752 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29182] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29182/stat : 29182 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334713640 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128322874024 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29183] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29183/stat : 29183 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334713640 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128206973736 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29184] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29184/stat : 29184 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334713640 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128321821608 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29179/tid=29185] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29185/stat : 29185 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334713640 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128320769064 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29186] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29186/stat : 29186 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334713640 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128319715496 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29187] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29187/stat : 29187 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334713640 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128318662952 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29188] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29188/stat : 29188 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334713640 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128317610408 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29189] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29189/stat : 29189 (java) S 29177 29179 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334713640 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128316557864 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29190] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29190/stat : 29190 (java) S 29177 29179 27163 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334713641 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128304146600 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29179/tid=29191] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29191/stat : 29191 (java) S 29177 29179 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 334713641 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128303093368 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29192] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29192/stat : 29192 (java) S 29177 29179 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334713641 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128302040712 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29193] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29193/stat : 29193 (java) S 29177 29179 27163 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334713644 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128300987128 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29179/tid=29194] ppid=29177 vsize=11852648 CPUtime=0.73 cores=1,3,5,7
/proc/29179/task/29194/stat : 29194 (java) S 29177 29179 27163 0 -1 4202560 7735 0 0 0 72 1 0 0 20 0 18 0 334713644 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128299912776 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29179/tid=29195] ppid=29177 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/29179/task/29195/stat : 29195 (java) S 29177 29179 27163 0 -1 4202560 6218 0 0 0 58 1 0 0 20 0 18 0 334713644 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128298883256 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29196] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29196/stat : 29196 (java) S 29177 29179 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334713644 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140128297830904 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29179/tid=29201] ppid=29177 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/29179/task/29201/stat : 29201 (java) S 29177 29179 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334713674 12137111552 82498 33554432000 1073741824 1073778376 140734301758736 140126999013032 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 2.40731
CPU time (s): 4.47232
CPU user time (s): 4.30135
CPU system time (s): 0.170974
CPU usage (%): 185.781
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.30135
system time used= 0.170974
maximum resident set size= 329992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18831
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= 442
involuntary context switches= 90
runsolver used 0.003999 second user time and 0.023996 second system time
The end