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-3709803-1338125440/watcher-3709803-1338125440 -o /tmp/evaluation-result-3709803-1338125440/solver-3709803-1338125440 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709803-1338125440.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: 2.23 2.09 2.05 3/195 19702
/proc/meminfo: memFree=29281396/32873844 swapFree=7116/7116
[pid=19702] ppid=19700 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/19702/stat : 19702 (java) S 19700 19702 19004 0 -1 4202496 1204 0 0 0 0 0 0 0 20 0 2 0 278668934 94019584 916 33554432000 1073741824 1073778376 140737137483216 140737137474352 240568533053 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19702/statm: 22954 916 697 9 0 16769 0
[pid=19702/tid=19703] ppid=19700 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19703/stat : 19703 (java) D 19700 19702 19004 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 278668935 94019584 916 33554432000 1073741824 1073778376 140737137483216 140224045264424 240556010791 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0
[startup+0.044605 s]
/proc/loadavg: 2.23 2.09 2.05 3/195 19702
/proc/meminfo: memFree=29281396/32873844 swapFree=7116/7116
[pid=19702] ppid=19700 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/19702/stat : 19702 (java) S 19700 19702 19004 0 -1 4202496 3101 0 1 0 3 0 0 0 20 0 13 0 278668934 9446973440 3288 33554432000 1073741824 1073778376 140737137483216 140737137474352 240568533053 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19702/statm: 2306390 3288 1705 9 0 2297091 0
[pid=19702/tid=19703] ppid=19700 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/19702/task/19703/stat : 19703 (java) R 19700 19702 19004 0 -1 4202560 1921 0 1 0 2 0 0 0 20 0 13 0 278668935 9446973440 3288 33554432000 1073741824 1073778376 140737137483216 140224045265136 240568558861 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100369 s]
/proc/loadavg: 2.23 2.09 2.05 3/195 19702
/proc/meminfo: memFree=29281396/32873844 swapFree=7116/7116
[pid=19702] ppid=19700 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/19702/stat : 19702 (java) S 19700 19702 19004 0 -1 4202496 4305 0 1 0 9 1 0 0 20 0 18 0 278668934 9787842560 5512 33554432000 1073741824 1073778376 140737137483216 140737137474352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19702/statm: 2389610 5512 2116 9 0 2380296 0
[pid=19702/tid=19703] ppid=19700 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/19702/task/19703/stat : 19703 (java) R 19700 19702 19004 0 -1 4202560 2467 0 1 0 6 1 0 0 20 0 18 0 278668935 9787842560 5512 33554432000 1073741824 1073778376 140737137483216 140224045258920 140224050055317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300207 s]
/proc/loadavg: 2.23 2.09 2.05 3/195 19702
/proc/meminfo: memFree=29281396/32873844 swapFree=7116/7116
[pid=19702] ppid=19700 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/19702/stat : 19702 (java) S 19700 19702 19004 0 -1 4202496 7381 0 1 0 51 2 0 0 20 0 19 0 278668934 9856004096 7751 33554432000 1073741824 1073778376 140737137483216 140737137474352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19702/statm: 2406251 7751 2236 9 0 2396937 0
[pid=19702/tid=19703] ppid=19700 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/19702/task/19703/stat : 19703 (java) R 19700 19702 19004 0 -1 4202560 2559 0 1 0 26 1 0 0 20 0 19 0 278668935 9856004096 7751 33554432000 1073741824 1073778376 140737137483216 140224045269192 140223917847489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625004
[startup+0.700309 s]
/proc/loadavg: 2.23 2.09 2.05 3/195 19702
/proc/meminfo: memFree=29281396/32873844 swapFree=7116/7116
[pid=19702] ppid=19700 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/19702/stat : 19702 (java) S 19700 19702 19004 0 -1 4202496 8406 0 1 0 112 3 0 0 20 0 19 0 278668934 9856004096 10415 33554432000 1073741824 1073778376 140737137483216 140737137474352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19702/statm: 2406251 10415 2276 9 0 2396937 0
[pid=19702/tid=19703] ppid=19700 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/19702/task/19703/stat : 19703 (java) R 19700 19702 19004 0 -1 4202560 2564 0 1 0 64 2 0 0 20 0 19 0 278668935 9856004096 10415 33554432000 1073741824 1073778376 140737137483216 140224045269416 140223918150912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9625004
[startup+1.50082 s]
/proc/loadavg: 2.23 2.09 2.05 3/214 19721
/proc/meminfo: memFree=29248188/32873844 swapFree=7116/7116
[pid=19702] ppid=19700 vsize=9625004 CPUtime=2.25 cores=1,3,5,7
/proc/19702/stat : 19702 (java) S 19700 19702 19004 0 -1 4202496 13630 0 1 0 220 5 0 0 20 0 19 0 278668934 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140737137474352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19702/statm: 2406251 14214 2278 9 0 2396937 0
[pid=19702/tid=19703] ppid=19700 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/19702/task/19703/stat : 19703 (java) R 19700 19702 19004 0 -1 4202560 2564 0 1 0 140 2 0 0 20 0 19 0 278668935 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140224045268248 140223918151416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223889193256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223888140456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223887088168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223886035368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223884983080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223883930280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223882877992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223881825192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 19004 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 278668936 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223869413608 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278668937 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223868359672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278668937 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223867307272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668940 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223866255760 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/19702/task/19717/stat : 19717 (java) S 19700 19702 19004 0 -1 4202560 2920 0 0 0 29 0 0 0 20 0 19 0 278668940 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223865203384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/19702/task/19718/stat : 19718 (java) R 19700 19702 19004 0 -1 4202560 6891 0 0 0 39 2 0 0 20 0 19 0 278668940 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223864137408 140224047749680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668940 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223863098488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668940 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223862045896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668952 9856004096 14214 33554432000 1073741824 1073778376 140737137483216 140223860990888 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+1.70081 s]
/proc/loadavg: 2.23 2.09 2.05 3/214 19721
/proc/meminfo: memFree=29248188/32873844 swapFree=7116/7116
[pid=19702] ppid=19700 vsize=9625004 CPUtime=2.57 cores=1,3,5,7
/proc/19702/stat : 19702 (java) S 19700 19702 19004 0 -1 4202496 16128 0 1 0 252 5 0 0 20 0 19 0 278668934 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140737137474352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19702/statm: 2406251 15017 2278 9 0 2396937 0
[pid=19702/tid=19703] ppid=19700 vsize=9625004 CPUtime=1.6 cores=1,3,5,7
/proc/19702/task/19703/stat : 19703 (java) R 19700 19702 19004 0 -1 4202560 2564 0 1 0 158 2 0 0 20 0 19 0 278668935 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140224045269416 140223918328892 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223889193256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223888140456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223887088168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223886035368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223884983080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223883930280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223882877992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223881825192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 19004 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 278668936 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223869413608 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278668937 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223868359672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278668937 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223867307272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668940 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223866255760 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/19702/task/19717/stat : 19717 (java) S 19700 19702 19004 0 -1 4202560 2962 0 0 0 31 0 0 0 20 0 19 0 278668940 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223865203384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/19702/task/19718/stat : 19718 (java) R 19700 19702 19004 0 -1 4202560 9347 0 0 0 49 2 0 0 20 0 19 0 278668940 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223864125656 140224048145383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668940 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223863098488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668940 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223862045896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668952 9856004096 15017 33554432000 1073741824 1073778376 140737137483216 140223860990888 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9625004
[startup+1.80078 s]
/proc/loadavg: 2.23 2.09 2.05 3/214 19721
/proc/meminfo: memFree=29248188/32873844 swapFree=7116/7116
[pid=19702] ppid=19700 vsize=9625004 CPUtime=2.78 cores=1,3,5,7
/proc/19702/stat : 19702 (java) S 19700 19702 19004 0 -1 4202496 16386 0 1 0 273 5 0 0 20 0 19 0 278668934 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140737137474352 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19702/statm: 2406251 15275 2278 9 0 2396937 0
[pid=19702/tid=19703] ppid=19700 vsize=9625004 CPUtime=1.7 cores=1,3,5,7
/proc/19702/task/19703/stat : 19703 (java) R 19700 19702 19004 0 -1 4202560 2564 0 1 0 168 2 0 0 20 0 19 0 278668935 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140224045269416 140223918169800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19705] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19705/stat : 19705 (java) S 19700 19702 19004 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223889193256 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19706] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19706/stat : 19706 (java) S 19700 19702 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223888140456 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19707] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19707/stat : 19707 (java) S 19700 19702 19004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223887088168 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19708] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19708/stat : 19708 (java) S 19700 19702 19004 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223886035368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19709] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19709/stat : 19709 (java) S 19700 19702 19004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223884983080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19710] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19710/stat : 19710 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223883930280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19711] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19711/stat : 19711 (java) S 19700 19702 19004 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223882877992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19712] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19712/stat : 19712 (java) S 19700 19702 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278668935 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223881825192 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19702/tid=19713] ppid=19700 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/19702/task/19713/stat : 19713 (java) S 19700 19702 19004 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 278668936 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223869413608 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19702/tid=19714] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19714/stat : 19714 (java) S 19700 19702 19004 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 278668937 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223868359672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19715] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19715/stat : 19715 (java) S 19700 19702 19004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 278668937 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223867307272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19716] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19716/stat : 19716 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668940 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223866255760 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19717] ppid=19700 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/19702/task/19717/stat : 19717 (java) R 19700 19702 19004 0 -1 4202560 3168 0 0 0 32 0 0 0 20 0 19 0 278668940 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223865203384 240564801355 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19702/tid=19718] ppid=19700 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/19702/task/19718/stat : 19718 (java) R 19700 19702 19004 0 -1 4202560 9399 0 0 0 59 2 0 0 20 0 19 0 278668940 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223864138152 140224052251179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19702/tid=19719] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19719/stat : 19719 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668940 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223863098488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19702/tid=19720] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19720/stat : 19720 (java) S 19700 19702 19004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 278668940 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223862045896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19702/tid=19721] ppid=19700 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/19702/task/19721/stat : 19721 (java) S 19700 19702 19004 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 278668952 9856004096 15275 33554432000 1073741824 1073778376 140737137483216 140223860990888 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 9625004
Child status: 20
Real time (s): 1.87394
CPU time (s): 2.84457
CPU user time (s): 2.76258
CPU system time (s): 0.081987
CPU usage (%): 151.796
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.76258
system time used= 0.081987
maximum resident set size= 61484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16453
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= 460
involuntary context switches= 105
runsolver used 0.012998 second user time and 0.013997 second system time
The end