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-3453963-1307194690/watcher-3453963-1307194690 -o /tmp/evaluation-result-3453963-1307194690/solver-3453963-1307194690 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453963-1307194690.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: 1.92 2.03 2.40 4/514 28604
/proc/meminfo: memFree=21729580/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 8701 0 1 0 0 0 0 0 22 0 2 0 811884640 10694979584 8403 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2611079 8417 917 9 0 2602235 0
[pid=28604/tid=28605] ppid=28602 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) R 28602 28604 24981 0 -1 4202560 7648 0 1 0 0 0 0 0 25 0 2 0 811884640 10694979584 8464 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0332719 s]
/proc/loadavg: 1.92 2.03 2.40 4/514 28604
/proc/meminfo: memFree=21729580/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 10992 0 1 0 1 1 0 0 22 0 11 0 811884640 10716594176 10691 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2616356 10691 1608 9 0 2607104 0
[pid=28604/tid=28605] ppid=28602 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) R 28602 28604 24981 0 -1 4202560 9867 0 1 0 1 1 0 0 25 0 11 0 811884640 10716594176 10691 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 47200437859864 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100261 s]
/proc/loadavg: 1.92 2.03 2.40 4/514 28604
/proc/meminfo: memFree=21729580/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10539544 CPUtime=0.1 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 13108 0 1 0 9 1 0 0 22 0 18 0 811884640 10792493056 12756 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2634886 12756 2093 9 0 2625620 0
[pid=28604/tid=28605] ppid=28602 vsize=10539544 CPUtime=0.08 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) R 28602 28604 24981 0 -1 4202560 11167 0 1 0 7 1 0 0 25 0 18 0 811884640 10792493056 12757 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 47200437859864 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539544
[startup+0.300188 s]
/proc/loadavg: 1.92 2.03 2.40 4/514 28604
/proc/meminfo: memFree=21729580/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10540300 CPUtime=0.48 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 15634 0 1 0 46 2 0 0 22 0 18 0 811884640 10793267200 15026 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2635075 15028 2209 9 0 2625809 0
[pid=28604/tid=28605] ppid=28602 vsize=10540300 CPUtime=0.29 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) R 28602 28604 24981 0 -1 4202560 12838 0 1 0 27 2 0 0 25 0 18 0 811884640 10793267200 15028 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 46912505522723 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540300
[startup+0.701191 s]
/proc/loadavg: 1.92 2.03 2.40 4/514 28604
/proc/meminfo: memFree=21729580/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10543532 CPUtime=0.65 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 18284 0 1 0 62 3 0 0 22 0 20 0 811884640 10796576768 16861 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2635883 16861 2222 9 0 2626617 0
[pid=28604/tid=28605] ppid=28602 vsize=10543532 CPUtime=0.32 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) S 28602 28604 24981 0 -1 4202560 13348 0 1 0 30 2 0 0 25 0 20 0 811884640 10796576768 16861 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 10543532
[startup+1.50102 s]
/proc/loadavg: 1.92 2.03 2.40 3/553 28653
/proc/meminfo: memFree=21628688/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10544700 CPUtime=0.74 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 18821 0 1 0 71 3 0 0 22 0 19 0 811884640 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2636175 17397 2229 9 0 2626909 0
[pid=28604/tid=28605] ppid=28602 vsize=10544700 CPUtime=0.32 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) S 28602 28604 24981 0 -1 4202560 13376 0 1 0 30 2 0 0 17 0 19 0 811884640 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28616] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28616/stat : 28616 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28617] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28617/stat : 28617 (java) S 28602 28604 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811884642 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28618] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28618/stat : 28618 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28619] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28619/stat : 28619 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28620] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28620/stat : 28620 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28621] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28621/stat : 28621 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28622] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28622/stat : 28622 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28623] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28623/stat : 28623 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28627] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28627/stat : 28627 (java) S 28602 28604 24981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811884643 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 0 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28628] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28628/stat : 28628 (java) S 28602 28604 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811884644 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28629] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28629/stat : 28629 (java) S 28602 28604 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811884644 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28635] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28635/stat : 28635 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884646 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738228657 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28636] ppid=28602 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/28604/task/28636/stat : 28636 (java) S 28602 28604 24981 0 -1 4202560 957 0 0 0 18 0 0 0 15 0 19 0 811884646 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28637] ppid=28602 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/28604/task/28637/stat : 28637 (java) S 28602 28604 24981 0 -1 4202560 2667 0 0 0 17 0 0 0 21 0 19 0 811884646 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28638] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28638/stat : 28638 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884646 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28639] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28639/stat : 28639 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811884646 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28646] ppid=28602 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28646/stat : 28646 (java) S 28602 28604 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811884674 10797772800 17397 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 10544700
[startup+3.1007 s]
/proc/loadavg: 1.92 2.03 2.40 4/550 28706
/proc/meminfo: memFree=21614252/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10555540 CPUtime=1.86 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 29991 0 1 0 182 4 0 0 22 0 19 0 811884640 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2638885 25543 2236 9 0 2629619 0
[pid=28604/tid=28605] ppid=28602 vsize=10555540 CPUtime=0.33 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) S 28602 28604 24981 0 -1 4202560 13406 0 1 0 31 2 0 0 16 0 19 0 811884640 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 3 0 0 0
[pid=28604/tid=28616] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28616/stat : 28616 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28617] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28617/stat : 28617 (java) S 28602 28604 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811884642 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28618] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28618/stat : 28618 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28619] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28619/stat : 28619 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28620] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28620/stat : 28620 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28621] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28621/stat : 28621 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28622] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28622/stat : 28622 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28623] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28623/stat : 28623 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884642 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28627] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28627/stat : 28627 (java) S 28602 28604 24981 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811884643 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 0 0 16800975 18446604463613322496 0 0 -1 3 0 0 0
[pid=28604/tid=28628] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28628/stat : 28628 (java) S 28602 28604 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811884644 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28629] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28629/stat : 28629 (java) S 28602 28604 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811884644 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28635] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28635/stat : 28635 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884646 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738228657 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28636] ppid=28602 vsize=10555540 CPUtime=0.61 cores=1,3,5,7
/proc/28604/task/28636/stat : 28636 (java) S 28602 28604 24981 0 -1 4202560 5236 0 0 0 61 0 0 0 16 0 19 0 811884646 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28637] ppid=28602 vsize=10555540 CPUtime=0.5 cores=1,3,5,7
/proc/28604/task/28637/stat : 28637 (java) S 28602 28604 24981 0 -1 4202560 5120 0 0 0 50 0 0 0 16 0 19 0 811884646 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28638] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28638/stat : 28638 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884646 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28639] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28639/stat : 28639 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811884646 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28646] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28646/stat : 28646 (java) S 28602 28604 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811884674 10808872960 25543 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10555540
heavy processes:
[startup+6.30109 s]
/proc/loadavg: 1.77 2.00 2.39 3/554 28740
/proc/meminfo: memFree=21215904/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10555540 CPUtime=7.31 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 139980 0 1 0 714 17 0 0 22 0 22 0 811884640 10808872960 132643 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2638885 132646 2268 9 0 2629619 0
[pid=28604/tid=28605] ppid=28602 vsize=10555540 CPUtime=0.33 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) S 28602 28604 24981 0 -1 4202560 13427 0 1 0 31 2 0 0 15 0 22 0 811884640 10808872960 132647 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 3 0 0 0
[pid=28604/tid=28616] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28616/stat : 28616 (java) S 28602 28604 24981 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 22 0 811884642 10808872960 132649 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28617] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28617/stat : 28617 (java) S 28602 28604 24981 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811884642 10808872960 132651 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28618] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28618/stat : 28618 (java) S 28602 28604 24981 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 811884642 10808872960 132652 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28619] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28619/stat : 28619 (java) S 28602 28604 24981 0 -1 4202560 501 0 0 0 0 0 0 0 15 0 22 0 811884642 10808872960 132654 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28620] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28620/stat : 28620 (java) S 28602 28604 24981 0 -1 4202560 380 0 0 0 0 0 0 0 16 0 22 0 811884642 10808872960 132656 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28621] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28621/stat : 28621 (java) S 28602 28604 24981 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 811884642 10808872960 132658 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28622] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28622/stat : 28622 (java) S 28602 28604 24981 0 -1 4202560 950 0 0 0 0 0 0 0 15 0 22 0 811884642 10808872960 132660 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28623] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28623/stat : 28623 (java) S 28602 28604 24981 0 -1 4202560 834 0 0 0 0 0 0 0 15 0 22 0 811884642 10808872960 132662 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28627] ppid=28602 vsize=10555540 CPUtime=0.09 cores=1,3,5,7
/proc/28604/task/28627/stat : 28627 (java) S 28602 28604 24981 0 -1 4202560 3745 0 0 0 9 0 0 0 15 0 22 0 811884643 10808872960 132664 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 0 0 16800975 18446604463613322496 0 0 -1 3 0 0 0
[pid=28604/tid=28628] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28628/stat : 28628 (java) S 28602 28604 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811884644 10808872960 132666 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28629] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28629/stat : 28629 (java) S 28602 28604 24981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811884644 10808872960 132669 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28635] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28635/stat : 28635 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811884646 10808872960 132671 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738228657 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28636] ppid=28602 vsize=10555540 CPUtime=0.83 cores=1,3,5,7
/proc/28604/task/28636/stat : 28636 (java) S 28602 28604 24981 0 -1 4202560 5259 0 0 0 83 0 0 0 15 0 22 0 811884646 10808872960 132673 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28637] ppid=28602 vsize=10555540 CPUtime=0.79 cores=1,3,5,7
################
# More data... #
################
[pid=28604/tid=28646] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28646/stat : 28646 (java) S 28602 28604 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811884674 10808872960 172582 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28729] ppid=28602 vsize=10555540 CPUtime=8.36 cores=1,3,5,7
/proc/28604/task/28729/stat : 28729 (java) R 28602 28604 24981 0 -1 4202560 1238 0 0 0 836 0 0 0 25 0 22 0 811885027 10808872960 172582 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 46912505719048 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28604/tid=28730] ppid=28602 vsize=10555540 CPUtime=8.38 cores=1,3,5,7
/proc/28604/task/28730/stat : 28730 (java) R 28602 28604 24981 0 -1 4202560 129406 0 0 0 823 15 0 0 25 0 22 0 811885027 10808872960 172582 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 46912505663773 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28604/tid=28731] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28731/stat : 28731 (java) S 28602 28604 24981 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811885027 10808872960 172582 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (KiB) 10555540
Solver just ended. Dumping a history of the last processes samples
[startup+15.9013 s]
/proc/loadavg: 2.03 2.04 2.40 5/557 28755
/proc/meminfo: memFree=20548924/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10555540 CPUtime=26.21 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 181556 0 1 0 2599 22 0 0 22 0 22 0 811884640 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2638885 174210 2268 9 0 2629619 0
[pid=28604/tid=28605] ppid=28602 vsize=10555540 CPUtime=0.33 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) S 28602 28604 24981 0 -1 4202560 13427 0 1 0 31 2 0 0 15 0 22 0 811884640 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28616] ppid=28602 vsize=10555540 CPUtime=0.01 cores=1,3,5,7
/proc/28604/task/28616/stat : 28616 (java) S 28602 28604 24981 0 -1 4202560 337 0 0 0 1 0 0 0 15 0 22 0 811884642 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28617] ppid=28602 vsize=10555540 CPUtime=0.01 cores=1,3,5,7
/proc/28604/task/28617/stat : 28617 (java) S 28602 28604 24981 0 -1 4202560 40 0 0 0 1 0 0 0 16 0 22 0 811884642 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28618] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28618/stat : 28618 (java) S 28602 28604 24981 0 -1 4202560 112 0 0 0 2 0 0 0 15 0 22 0 811884642 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28619] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28619/stat : 28619 (java) S 28602 28604 24981 0 -1 4202560 502 0 0 0 0 0 0 0 15 0 22 0 811884642 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28620] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28620/stat : 28620 (java) S 28602 28604 24981 0 -1 4202560 424 0 0 0 2 0 0 0 15 0 22 0 811884642 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28621] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28621/stat : 28621 (java) S 28602 28604 24981 0 -1 4202560 157 0 0 0 2 0 0 0 16 0 22 0 811884642 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28622] ppid=28602 vsize=10555540 CPUtime=0.01 cores=1,3,5,7
/proc/28604/task/28622/stat : 28622 (java) S 28602 28604 24981 0 -1 4202560 952 0 0 0 1 0 0 0 15 0 22 0 811884642 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28623] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28623/stat : 28623 (java) S 28602 28604 24981 0 -1 4202560 878 0 0 0 2 0 0 0 16 0 22 0 811884642 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28627] ppid=28602 vsize=10555540 CPUtime=0.57 cores=1,3,5,7
/proc/28604/task/28627/stat : 28627 (java) S 28602 28604 24981 0 -1 4202560 8594 0 0 0 57 0 0 0 16 0 22 0 811884643 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 0 0 16800975 18446604463613322496 0 0 -1 3 0 0 0
[pid=28604/tid=28628] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28628/stat : 28628 (java) S 28602 28604 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811884644 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28629] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28629/stat : 28629 (java) S 28602 28604 24981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811884644 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28635] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28635/stat : 28635 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811884646 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738228657 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28636] ppid=28602 vsize=10555540 CPUtime=0.96 cores=1,3,5,7
/proc/28604/task/28636/stat : 28636 (java) S 28602 28604 24981 0 -1 4202560 5276 0 0 0 96 0 0 0 15 0 22 0 811884646 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28637] ppid=28602 vsize=10555540 CPUtime=0.83 cores=1,3,5,7
/proc/28604/task/28637/stat : 28637 (java) S 28602 28604 24981 0 -1 4202560 7928 0 0 0 83 0 0 0 15 0 22 0 811884646 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28638] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28638/stat : 28638 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811884646 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28639] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28639/stat : 28639 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811884646 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28646] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28646/stat : 28646 (java) S 28602 28604 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811884674 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28729] ppid=28602 vsize=10555540 CPUtime=11.35 cores=1,3,5,7
/proc/28604/task/28729/stat : 28729 (java) R 28602 28604 24981 0 -1 4202560 1240 0 0 0 1135 0 0 0 25 0 22 0 811885027 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 46912505720323 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28604/tid=28730] ppid=28602 vsize=10555540 CPUtime=11.37 cores=1,3,5,7
/proc/28604/task/28730/stat : 28730 (java) R 28602 28604 24981 0 -1 4202560 129407 0 0 0 1122 15 0 0 25 0 22 0 811885027 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 46912505665856 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28604/tid=28731] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28731/stat : 28731 (java) S 28602 28604 24981 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811885027 10808872960 174210 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 26.21
Current children cumulated vsize (KiB) 10555540
[startup+17.501 s]
/proc/loadavg: 2.03 2.04 2.40 5/557 28755
/proc/meminfo: memFree=20542360/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10555540 CPUtime=29.35 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 181558 0 1 0 2913 22 0 0 22 0 22 0 811884640 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2638885 174211 2268 9 0 2629619 0
[pid=28604/tid=28605] ppid=28602 vsize=10555540 CPUtime=0.33 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) S 28602 28604 24981 0 -1 4202560 13427 0 1 0 31 2 0 0 15 0 22 0 811884640 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28616] ppid=28602 vsize=10555540 CPUtime=0.01 cores=1,3,5,7
/proc/28604/task/28616/stat : 28616 (java) S 28602 28604 24981 0 -1 4202560 337 0 0 0 1 0 0 0 15 0 22 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28617] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28617/stat : 28617 (java) S 28602 28604 24981 0 -1 4202560 41 0 0 0 2 0 0 0 16 0 22 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28618] ppid=28602 vsize=10555540 CPUtime=0.03 cores=1,3,5,7
/proc/28604/task/28618/stat : 28618 (java) S 28602 28604 24981 0 -1 4202560 112 0 0 0 3 0 0 0 15 0 22 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28619] ppid=28602 vsize=10555540 CPUtime=0.01 cores=1,3,5,7
/proc/28604/task/28619/stat : 28619 (java) S 28602 28604 24981 0 -1 4202560 502 0 0 0 1 0 0 0 16 0 22 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28620] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28620/stat : 28620 (java) S 28602 28604 24981 0 -1 4202560 424 0 0 0 2 0 0 0 15 0 22 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28621] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28621/stat : 28621 (java) S 28602 28604 24981 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 22 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28622] ppid=28602 vsize=10555540 CPUtime=0.01 cores=1,3,5,7
/proc/28604/task/28622/stat : 28622 (java) S 28602 28604 24981 0 -1 4202560 952 0 0 0 1 0 0 0 15 0 22 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28623] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28623/stat : 28623 (java) S 28602 28604 24981 0 -1 4202560 878 0 0 0 2 0 0 0 16 0 22 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28627] ppid=28602 vsize=10555540 CPUtime=0.66 cores=1,3,5,7
/proc/28604/task/28627/stat : 28627 (java) S 28602 28604 24981 0 -1 4202560 8594 0 0 0 66 0 0 0 16 0 22 0 811884643 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 0 0 16800975 18446604463613322496 0 0 -1 3 0 0 0
[pid=28604/tid=28628] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28628/stat : 28628 (java) S 28602 28604 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811884644 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28629] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28629/stat : 28629 (java) S 28602 28604 24981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811884644 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28635] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28635/stat : 28635 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738228657 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28636] ppid=28602 vsize=10555540 CPUtime=0.96 cores=1,3,5,7
/proc/28604/task/28636/stat : 28636 (java) S 28602 28604 24981 0 -1 4202560 5276 0 0 0 96 0 0 0 15 0 22 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28637] ppid=28602 vsize=10555540 CPUtime=0.83 cores=1,3,5,7
/proc/28604/task/28637/stat : 28637 (java) S 28602 28604 24981 0 -1 4202560 7928 0 0 0 83 0 0 0 15 0 22 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28638] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28638/stat : 28638 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28639] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28639/stat : 28639 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28646] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28646/stat : 28646 (java) S 28602 28604 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811884674 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28729] ppid=28602 vsize=10555540 CPUtime=12.87 cores=1,3,5,7
/proc/28604/task/28729/stat : 28729 (java) R 28602 28604 24981 0 -1 4202560 1241 0 0 0 1287 0 0 0 25 0 22 0 811885027 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 46912505647964 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28604/tid=28730] ppid=28602 vsize=10555540 CPUtime=12.89 cores=1,3,5,7
/proc/28604/task/28730/stat : 28730 (java) R 28602 28604 24981 0 -1 4202560 129407 0 0 0 1274 15 0 0 25 0 22 0 811885027 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 46912505685766 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28604/tid=28731] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28731/stat : 28731 (java) S 28602 28604 24981 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811885027 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 29.35
Current children cumulated vsize (KiB) 10555540
[startup+17.9009 s]
/proc/loadavg: 2.03 2.04 2.40 5/557 28755
/proc/meminfo: memFree=20542360/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=10555540 CPUtime=29.86 cores=1,3,5,7
/proc/28604/stat : 28604 (java) S 28602 28604 24981 0 -1 4202496 181558 0 1 0 2964 22 0 0 22 0 19 0 811884640 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 2638885 174211 2268 9 0 2629619 0
[pid=28604/tid=28605] ppid=28602 vsize=10555540 CPUtime=0.33 cores=1,3,5,7
/proc/28604/task/28605/stat : 28605 (java) S 28602 28604 24981 0 -1 4202560 13427 0 1 0 31 2 0 0 15 0 19 0 811884640 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28616] ppid=28602 vsize=10555540 CPUtime=0.01 cores=1,3,5,7
/proc/28604/task/28616/stat : 28616 (java) S 28602 28604 24981 0 -1 4202560 337 0 0 0 1 0 0 0 15 0 19 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28617] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28617/stat : 28617 (java) S 28602 28604 24981 0 -1 4202560 41 0 0 0 2 0 0 0 16 0 19 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28618] ppid=28602 vsize=10555540 CPUtime=0.03 cores=1,3,5,7
/proc/28604/task/28618/stat : 28618 (java) S 28602 28604 24981 0 -1 4202560 112 0 0 0 3 0 0 0 15 0 19 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28619] ppid=28602 vsize=10555540 CPUtime=0.01 cores=1,3,5,7
/proc/28604/task/28619/stat : 28619 (java) S 28602 28604 24981 0 -1 4202560 502 0 0 0 1 0 0 0 16 0 19 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28620] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28620/stat : 28620 (java) S 28602 28604 24981 0 -1 4202560 424 0 0 0 2 0 0 0 15 0 19 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28621] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28621/stat : 28621 (java) S 28602 28604 24981 0 -1 4202560 157 0 0 0 2 0 0 0 15 0 19 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28622] ppid=28602 vsize=10555540 CPUtime=0.01 cores=1,3,5,7
/proc/28604/task/28622/stat : 28622 (java) S 28602 28604 24981 0 -1 4202560 952 0 0 0 1 0 0 0 15 0 19 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28623] ppid=28602 vsize=10555540 CPUtime=0.02 cores=1,3,5,7
/proc/28604/task/28623/stat : 28623 (java) S 28602 28604 24981 0 -1 4202560 878 0 0 0 2 0 0 0 16 0 19 0 811884642 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 7 0 0 0
[pid=28604/tid=28627] ppid=28602 vsize=10555540 CPUtime=0.66 cores=1,3,5,7
/proc/28604/task/28627/stat : 28627 (java) S 28602 28604 24981 0 -1 4202560 8594 0 0 0 66 0 0 0 16 0 19 0 811884643 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 0 0 16800975 18446604463613322496 0 0 -1 3 0 0 0
[pid=28604/tid=28628] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28628/stat : 28628 (java) S 28602 28604 24981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811884644 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28629] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28629/stat : 28629 (java) S 28602 28604 24981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 811884644 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28635] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28635/stat : 28635 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738228657 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28636] ppid=28602 vsize=10555540 CPUtime=0.96 cores=1,3,5,7
/proc/28604/task/28636/stat : 28636 (java) S 28602 28604 24981 0 -1 4202560 5276 0 0 0 96 0 0 0 15 0 19 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 5 0 0 0
[pid=28604/tid=28637] ppid=28602 vsize=10555540 CPUtime=0.83 cores=1,3,5,7
/proc/28604/task/28637/stat : 28637 (java) S 28602 28604 24981 0 -1 4202560 7928 0 0 0 83 0 0 0 15 0 19 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28638] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28638/stat : 28638 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738220953 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28639] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28639/stat : 28639 (java) S 28602 28604 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811884646 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
[pid=28604/tid=28646] ppid=28602 vsize=10555540 CPUtime=0 cores=1,3,5,7
/proc/28604/task/28646/stat : 28646 (java) S 28602 28604 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811884674 10808872960 174211 33554432000 1073741824 1073778376 140734378504800 18446744073709551615 264738221568 0 4 0 16800975 18446604463613322496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (KiB) 10555540
[startup+18.1049 s]
/proc/loadavg: 2.03 2.04 2.40 5/557 28755
/proc/meminfo: memFree=20542360/32951124 swapFree=62999000/67111528
[pid=28604] ppid=28602 vsize=0 CPUtime=30.01 cores=1,3,5,7
/proc/28604/stat : 28604 (java) Z 28602 28604 24981 0 -1 4203548 181562 0 1 0 2977 24 0 0 18 0 2 0 811884640 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28604/statm: 0 0 0 0 0 0 0
[pid=28604/tid=28623] ppid=28602 vsize=0 CPUtime=0.03 cores=1,3,5,7
/proc/28604/task/28623/stat : 28623 (java) R 28602 28604 24981 0 -1 4203588 878 0 0 0 2 1 0 0 15 0 2 0 811884642 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30.01
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 18.1175
CPU time (s): 30.0324
CPU user time (s): 29.7725
CPU system time (s): 0.25996
CPU usage (%): 165.765
Max. virtual memory (cumulated for all children) (KiB): 10555540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7725
system time used= 0.25996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181562
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= 1127
involuntary context switches= 647
runsolver used 0.095985 second user time and 0.247962 second system time
The end