runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453765-1307194194/watcher-3453765-1307194194 -o /tmp/evaluation-result-3453765-1307194194/solver-3453765-1307194194 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453765-1307194194.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: 4.02 4.00 3.78 2/512 20887
/proc/meminfo: memFree=23084960/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 3050 0 1 0 0 0 0 0 17 0 2 0 909650105 10681323520 2752 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2607745 2767 906 9 0 2598901 0
[pid=20887/tid=20890] ppid=20884 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) R 20884 20887 16455 0 -1 4202560 4819 0 1 0 0 0 0 0 18 0 2 0 909650106 10694979584 5635 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.105178 s]
/proc/loadavg: 4.02 4.00 3.78 2/512 20887
/proc/meminfo: memFree=23084960/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10539076 CPUtime=0.11 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 12895 0 1 0 9 2 0 0 17 0 18 0 909650105 10792013824 12592 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2634769 12593 2093 9 0 2625503 0
[pid=20887/tid=20890] ppid=20884 vsize=10539076 CPUtime=0.08 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) R 20884 20887 16455 0 -1 4202560 11131 0 1 0 7 1 0 0 18 0 18 0 909650106 10792013824 12593 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 46948793511386 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539076
[startup+0.239292 s]
/proc/loadavg: 4.02 4.00 3.78 2/512 20887
/proc/meminfo: memFree=23084960/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10547280 CPUtime=0.41 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 16142 0 1 0 39 2 0 0 17 0 22 0 909650105 10800414720 15052 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2636820 15053 2192 9 0 2627554 0
[pid=20887/tid=20890] ppid=20884 vsize=10547280 CPUtime=0.13 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) S 20884 20887 16455 0 -1 4202560 11564 0 1 0 12 1 0 0 19 0 22 0 909650106 10800414720 15053 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 10547280
[startup+0.301156 s]
/proc/loadavg: 4.02 4.00 3.78 2/512 20887
/proc/meminfo: memFree=23084960/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10547064 CPUtime=0.54 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 16341 0 1 0 51 3 0 0 17 0 19 0 909650105 10800193536 15143 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2636766 15143 2202 9 0 2627500 0
[pid=20887/tid=20890] ppid=20884 vsize=10547064 CPUtime=0.13 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) S 20884 20887 16455 0 -1 4202560 11564 0 1 0 12 1 0 0 19 0 19 0 909650106 10800193536 15143 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10547064
[startup+0.700963 s]
/proc/loadavg: 4.02 4.00 3.78 2/512 20887
/proc/meminfo: memFree=23084960/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10547552 CPUtime=0.67 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 17157 0 1 0 64 3 0 0 17 0 22 0 909650105 10800693248 15702 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2636888 15702 2210 9 0 2627622 0
[pid=20887/tid=20890] ppid=20884 vsize=10547552 CPUtime=0.13 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) S 20884 20887 16455 0 -1 4202560 11566 0 1 0 12 1 0 0 16 0 22 0 909650106 10800693248 15702 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10547552
[startup+1.50088 s]
/proc/loadavg: 3.70 3.93 3.76 2/552 20938
/proc/meminfo: memFree=22979992/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10549400 CPUtime=0.84 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 18800 0 1 0 81 3 0 0 17 0 19 0 909650105 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2637350 16704 2210 9 0 2628084 0
[pid=20887/tid=20890] ppid=20884 vsize=10549400 CPUtime=0.13 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) S 20884 20887 16455 0 -1 4202560 11568 0 1 0 12 1 0 0 16 0 19 0 909650106 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20894] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20894/stat : 20894 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909650108 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20895] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20895/stat : 20895 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909650108 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20896] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20896/stat : 20896 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909650108 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20897] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20897/stat : 20897 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909650108 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20898] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20898/stat : 20898 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909650108 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20899] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20899/stat : 20899 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909650108 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20900] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20900/stat : 20900 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909650108 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20901] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20901/stat : 20901 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909650108 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20910] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20910/stat : 20910 (java) S 20884 20887 16455 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909650109 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 0 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20912] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20912/stat : 20912 (java) S 20884 20887 16455 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 909650109 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20913] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20913/stat : 20913 (java) S 20884 20887 16455 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 909650109 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20916] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20916/stat : 20916 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909650112 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427215281 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20918] ppid=20884 vsize=10549400 CPUtime=0.25 cores=0,2,4,6
/proc/20887/task/20918/stat : 20918 (java) S 20884 20887 16455 0 -1 4202560 2210 0 0 0 25 0 0 0 15 0 19 0 909650112 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20920] ppid=20884 vsize=10549400 CPUtime=0.21 cores=0,2,4,6
/proc/20887/task/20920/stat : 20920 (java) S 20884 20887 16455 0 -1 4202560 3230 0 0 0 21 0 0 0 15 0 19 0 909650112 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20922] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20922/stat : 20922 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909650112 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20924] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20924/stat : 20924 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909650112 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20932] ppid=20884 vsize=10549400 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20932/stat : 20932 (java) S 20884 20887 16455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 909650120 10802585600 16704 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 10549400
[startup+3.10159 s]
/proc/loadavg: 3.70 3.93 3.76 8/557 20993
/proc/meminfo: memFree=22756504/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10562956 CPUtime=3.51 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 148601 0 1 0 331 20 0 0 17 0 21 0 909650105 10816466944 140305 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2640739 140309 2223 9 0 2631473 0
[pid=20887/tid=20890] ppid=20884 vsize=10562956 CPUtime=0.13 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) S 20884 20887 16455 0 -1 4202560 11570 0 1 0 12 1 0 0 15 0 21 0 909650106 10816466944 140311 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20894] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20894/stat : 20894 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 909650108 10816466944 140314 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20895] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20895/stat : 20895 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 140316 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20896] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20896/stat : 20896 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 140319 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20897] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20897/stat : 20897 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 140321 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20898] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20898/stat : 20898 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 140323 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20899] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20899/stat : 20899 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 140326 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20900] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20900/stat : 20900 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 140329 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20901] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20901/stat : 20901 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 909650108 10816466944 140331 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20910] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20910/stat : 20910 (java) S 20884 20887 16455 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 21 0 909650109 10816466944 140334 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 0 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20912] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20912/stat : 20912 (java) S 20884 20887 16455 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 21 0 909650109 10816466944 140336 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20913] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20913/stat : 20913 (java) S 20884 20887 16455 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 21 0 909650109 10816466944 140337 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20916] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20916/stat : 20916 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909650112 10816466944 140338 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427215281 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20918] ppid=20884 vsize=10562956 CPUtime=0.84 cores=0,2,4,6
/proc/20887/task/20918/stat : 20918 (java) S 20884 20887 16455 0 -1 4202560 9136 0 0 0 84 0 0 0 15 0 21 0 909650112 10816466944 140341 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20920] ppid=20884 vsize=10562956 CPUtime=0.87 cores=0,2,4,6
/proc/20887/task/20920/stat : 20920 (java) S 20884 20887 16455 0 -1 4202560 8657 0 0 0 85 2 0 0 15 0 21 0 909650112 10816466944 140344 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20922] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20922/stat : 20922 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909650112 10816466944 140346 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20924] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20924/stat : 20924 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 909650112 10816466944 140349 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20932] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20932/stat : 20932 (java) S 20884 20887 16455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 909650120 10816466944 140351 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20992] ppid=20884 vsize=10562956 CPUtime=1.41 cores=0,2,4,6
/proc/20887/task/20992/stat : 20992 (java) R 20884 20887 16455 0 -1 4202560 117491 0 0 0 126 15 0 0 19 0 21 0 909650271 10816466944 140353 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 46912505686092 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20887/tid=20993] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20993/stat : 20993 (java) S 20884 20887 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 21 0 909650271 10816466944 140354 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 10562956
[startup+6.30097 s]
/proc/loadavg: 3.70 3.93 3.76 4/557 20993
/proc/meminfo: memFree=20999292/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10562956 CPUtime=6.76 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 431884 0 1 0 623 53 0 0 17 0 21 0 909650105 10816466944 422006 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2640739 422010 2224 9 0 2631473 0
[pid=20887/tid=20890] ppid=20884 vsize=10562956 CPUtime=0.13 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) S 20884 20887 16455 0 -1 4202560 11570 0 1 0 12 1 0 0 15 0 21 0 909650106 10816466944 422012 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20894] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20894/stat : 20894 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 909650108 10816466944 422015 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20895] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20895/stat : 20895 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 422017 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20896] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20896/stat : 20896 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 422019 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20897] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20897/stat : 20897 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 422022 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20898] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20898/stat : 20898 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 422024 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20899] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20899/stat : 20899 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 422026 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20900] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20900/stat : 20900 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 909650108 10816466944 422028 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20901] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20901/stat : 20901 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 21 0 909650108 10816466944 422030 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20910] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20910/stat : 20910 (java) S 20884 20887 16455 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 21 0 909650109 10816466944 422032 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 0 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20912] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20912/stat : 20912 (java) S 20884 20887 16455 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 21 0 909650109 10816466944 422034 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20913] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20913/stat : 20913 (java) S 20884 20887 16455 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 21 0 909650109 10816466944 422036 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20916] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20916/stat : 20916 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909650112 10816466944 422038 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427215281 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=20887/tid=20920] ppid=20884 vsize=10562956 CPUtime=0.87 cores=0,2,4,6
/proc/20887/task/20920/stat : 20920 (java) S 20884 20887 16455 0 -1 4202560 8657 0 0 0 85 2 0 0 15 0 21 0 909650112 10816466944 422045 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20922] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20922/stat : 20922 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909650112 10816466944 422048 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20924] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20924/stat : 20924 (java) S 20884 20887 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 21 0 909650112 10816466944 422050 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20932] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20932/stat : 20932 (java) S 20884 20887 16455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 909650120 10816466944 422052 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20992] ppid=20884 vsize=10562956 CPUtime=4.61 cores=0,2,4,6
/proc/20887/task/20992/stat : 20992 (java) R 20884 20887 16455 0 -1 4202560 400768 0 0 0 413 48 0 0 25 0 21 0 909650271 10816466944 422055 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 46912505714473 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20887/tid=20993] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20993/stat : 20993 (java) S 20884 20887 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 21 0 909650271 10816466944 422057 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 10562956
[startup+12.7018 s]
/proc/loadavg: 3.59 3.90 3.75 4/557 20996
/proc/meminfo: memFree=19660740/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10562956 CPUtime=13.2 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 671788 0 1 0 1235 85 0 0 17 0 21 0 909650105 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2640739 661905 2239 9 0 2631473 0
[pid=20887/tid=20890] ppid=20884 vsize=10562956 CPUtime=0.13 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) R 20884 20887 16455 0 -1 4202560 11570 0 1 0 12 1 0 0 15 0 21 0 909650106 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20887/tid=20894] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20894/stat : 20894 (java) S 20884 20887 16455 0 -1 4202560 544 0 0 0 0 0 0 0 18 0 21 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20895] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20895/stat : 20895 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 21 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20896] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20896/stat : 20896 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 21 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20897] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20897/stat : 20897 (java) S 20884 20887 16455 0 -1 4202560 326 0 0 0 0 0 0 0 18 0 21 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20898] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20898/stat : 20898 (java) S 20884 20887 16455 0 -1 4202560 240 0 0 0 0 0 0 0 18 0 21 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20899] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20899/stat : 20899 (java) S 20884 20887 16455 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 21 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20900] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20900/stat : 20900 (java) S 20884 20887 16455 0 -1 4202560 463 0 0 0 0 0 0 0 18 0 21 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20901] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20901/stat : 20901 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 21 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20910] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20910/stat : 20910 (java) S 20884 20887 16455 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 21 0 909650109 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 0 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20912] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20912/stat : 20912 (java) S 20884 20887 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 909650109 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20913] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20913/stat : 20913 (java) S 20884 20887 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 21 0 909650109 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20916] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20916/stat : 20916 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427215281 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20918] ppid=20884 vsize=10562956 CPUtime=0.91 cores=0,2,4,6
/proc/20887/task/20918/stat : 20918 (java) S 20884 20887 16455 0 -1 4202560 9163 0 0 0 91 0 0 0 15 0 21 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20920] ppid=20884 vsize=10562956 CPUtime=0.87 cores=0,2,4,6
/proc/20887/task/20920/stat : 20920 (java) S 20884 20887 16455 0 -1 4202560 8657 0 0 0 85 2 0 0 15 0 21 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20922] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20922/stat : 20922 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20924] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20924/stat : 20924 (java) S 20884 20887 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 21 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20932] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20932/stat : 20932 (java) S 20884 20887 16455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 909650120 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20992] ppid=20884 vsize=10562956 CPUtime=11 cores=0,2,4,6
/proc/20887/task/20992/stat : 20992 (java) R 20884 20887 16455 0 -1 4202560 638929 0 0 0 1021 79 0 0 25 0 21 0 909650271 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 46912505504990 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20887/tid=20993] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20993/stat : 20993 (java) S 20884 20887 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 21 0 909650271 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.2
Current children cumulated vsize (KiB) 10562956
Solver just ended. Dumping a history of the last processes samples
[startup+12.8017 s]
/proc/loadavg: 3.59 3.90 3.75 4/557 20996
/proc/meminfo: memFree=19660740/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10562956 CPUtime=13.23 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 671788 0 1 0 1238 85 0 0 17 0 20 0 909650105 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2640739 661905 2239 9 0 2631473 0
[pid=20887/tid=20890] ppid=20884 vsize=10562956 CPUtime=0.13 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) S 20884 20887 16455 0 -1 4202560 11570 0 1 0 12 1 0 0 15 0 20 0 909650106 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20894] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20894/stat : 20894 (java) S 20884 20887 16455 0 -1 4202560 544 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20895] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20895/stat : 20895 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20896] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20896/stat : 20896 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20897] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20897/stat : 20897 (java) S 20884 20887 16455 0 -1 4202560 326 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20898] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20898/stat : 20898 (java) S 20884 20887 16455 0 -1 4202560 240 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20899] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20899/stat : 20899 (java) S 20884 20887 16455 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20900] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20900/stat : 20900 (java) S 20884 20887 16455 0 -1 4202560 463 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20901] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20901/stat : 20901 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20910] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20910/stat : 20910 (java) S 20884 20887 16455 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 20 0 909650109 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 0 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20912] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20912/stat : 20912 (java) S 20884 20887 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 909650109 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20913] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20913/stat : 20913 (java) S 20884 20887 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 909650109 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20916] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20916/stat : 20916 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427215281 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20918] ppid=20884 vsize=10562956 CPUtime=0.91 cores=0,2,4,6
/proc/20887/task/20918/stat : 20918 (java) S 20884 20887 16455 0 -1 4202560 9163 0 0 0 91 0 0 0 15 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20920] ppid=20884 vsize=10562956 CPUtime=0.87 cores=0,2,4,6
/proc/20887/task/20920/stat : 20920 (java) S 20884 20887 16455 0 -1 4202560 8657 0 0 0 85 2 0 0 15 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20922] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20922/stat : 20922 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20924] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20924/stat : 20924 (java) S 20884 20887 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20932] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20932/stat : 20932 (java) S 20884 20887 16455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 909650120 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20993] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20993/stat : 20993 (java) S 20884 20887 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 20 0 909650271 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.23
Current children cumulated vsize (KiB) 10562956
[startup+13.2017 s]
/proc/loadavg: 3.59 3.90 3.75 3/556 20996
/proc/meminfo: memFree=19660756/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=10562956 CPUtime=13.24 cores=0,2,4,6
/proc/20887/stat : 20887 (java) S 20884 20887 16455 0 -1 4202496 671788 0 1 0 1239 85 0 0 17 0 20 0 909650105 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 2640739 661905 2239 9 0 2631473 0
[pid=20887/tid=20890] ppid=20884 vsize=10562956 CPUtime=0.14 cores=0,2,4,6
/proc/20887/task/20890/stat : 20890 (java) R 20884 20887 16455 0 -1 4202560 11570 0 1 0 13 1 0 0 15 0 20 0 909650106 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 46912505181646 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20887/tid=20894] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20894/stat : 20894 (java) S 20884 20887 16455 0 -1 4202560 544 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20895] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20895/stat : 20895 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20896] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20896/stat : 20896 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20897] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20897/stat : 20897 (java) S 20884 20887 16455 0 -1 4202560 326 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20898] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20898/stat : 20898 (java) S 20884 20887 16455 0 -1 4202560 240 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20899] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20899/stat : 20899 (java) S 20884 20887 16455 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20900] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20900/stat : 20900 (java) S 20884 20887 16455 0 -1 4202560 463 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20901] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20901/stat : 20901 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 909650108 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20910] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20910/stat : 20910 (java) S 20884 20887 16455 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 20 0 909650109 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 0 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20912] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20912/stat : 20912 (java) S 20884 20887 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 909650109 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20913] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20913/stat : 20913 (java) S 20884 20887 16455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 909650109 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20916] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20916/stat : 20916 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427215281 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20918] ppid=20884 vsize=10562956 CPUtime=0.92 cores=0,2,4,6
/proc/20887/task/20918/stat : 20918 (java) R 20884 20887 16455 0 -1 4202560 9163 0 0 0 92 0 0 0 15 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 46948789590983 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20887/tid=20920] ppid=20884 vsize=10562956 CPUtime=0.87 cores=0,2,4,6
/proc/20887/task/20920/stat : 20920 (java) S 20884 20887 16455 0 -1 4202560 8657 0 0 0 85 2 0 0 15 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 0 0 0 0
[pid=20887/tid=20922] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20922/stat : 20922 (java) S 20884 20887 16455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427207577 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
[pid=20887/tid=20924] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20924/stat : 20924 (java) R 20884 20887 16455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 909650112 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20887/tid=20932] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20932/stat : 20932 (java) S 20884 20887 16455 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 909650120 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 6 0 0 0
[pid=20887/tid=20993] ppid=20884 vsize=10562956 CPUtime=0 cores=0,2,4,6
/proc/20887/task/20993/stat : 20993 (java) S 20884 20887 16455 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 20 0 909650271 10816466944 661905 33554432000 1073741824 1073778376 140733264817360 18446744073709551615 256427208192 0 4 0 16800975 18446604446812500288 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.24
Current children cumulated vsize (KiB) 10562956
[startup+13.3207 s]
/proc/loadavg: 3.59 3.90 3.75 3/556 20996
/proc/meminfo: memFree=19660756/32950928 swapFree=58671692/67111528
[pid=20887] ppid=20884 vsize=0 CPUtime=13.35 cores=0,2,4,6
/proc/20887/stat : 20887 (java) Z 20884 20887 16455 0 -1 4203548 671799 0 1 0 1243 92 0 0 15 0 2 0 909650105 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20887/statm: 0 0 0 0 0 0 0
[pid=20887/tid=20897] ppid=20884 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/20887/task/20897/stat : 20897 (java) R 20884 20887 16455 0 -1 4203588 326 0 0 0 0 6 0 0 18 0 2 0 909650108 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.35
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 13.3652
CPU time (s): 13.405
CPU user time (s): 12.4391
CPU system time (s): 0.965853
CPU usage (%): 100.297
Max. virtual memory (cumulated for all children) (KiB): 10562956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4391
system time used= 0.965853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671799
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 877
involuntary context switches= 160
runsolver used 0.081987 second user time and 0.170974 second system time
The end