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-3458014-1307164758/watcher-3458014-1307164758 -o /tmp/evaluation-result-3458014-1307164758/solver-3458014-1307164758 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458014-1307164758.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: 0.93 1.37 1.72 3/272 10677
/proc/meminfo: memFree=28474040/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/10677/stat : 10677 (java) R 10675 10677 10640 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 828076551 23580672 698 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222916814312 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10677/statm: 5757 699 516 9 0 124 0
[pid=10677/tid=10679] ppid=10675 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 201 0 0 0 0 0 0 0 18 0 2 0 828076552 36646912 1017 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222921837052 0 0 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0648869 s]
/proc/loadavg: 0.93 1.37 1.72 3/272 10677
/proc/meminfo: memFree=28474040/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13549616 CPUtime=0.05 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 14039 0 1 0 4 1 0 0 25 0 13 0 828076551 13874806784 13736 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3387404 13737 1691 9 0 3378152 0
[pid=10677/tid=10679] ppid=10675 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 12893 0 1 0 3 1 0 0 18 0 13 0 828076552 13874806784 13737 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 47372738248679 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13549616
[startup+0.100813 s]
/proc/loadavg: 0.93 1.37 1.72 3/272 10677
/proc/meminfo: memFree=28474040/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13622000 CPUtime=0.1 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 15393 0 1 0 8 2 0 0 25 0 18 0 828076551 13948928000 15090 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3405500 15091 2092 9 0 3396234 0
[pid=10677/tid=10679] ppid=10675 vsize=13622000 CPUtime=0.08 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 13527 0 1 0 6 2 0 0 18 0 18 0 828076552 13948928000 15092 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222921438241 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) 13622000
[startup+0.300838 s]
/proc/loadavg: 0.93 1.37 1.72 3/272 10677
/proc/meminfo: memFree=28474040/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13626244 CPUtime=0.45 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 18757 0 1 0 42 3 0 0 25 0 18 0 828076551 13953273856 18105 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3406561 18106 2220 9 0 3397295 0
[pid=10677/tid=10679] ppid=10675 vsize=13626244 CPUtime=0.28 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 15370 0 1 0 26 2 0 0 18 0 18 0 828076552 13953273856 18107 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 46912505540166 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13626244
[startup+0.700749 s]
/proc/loadavg: 0.93 1.37 1.72 3/272 10677
/proc/meminfo: memFree=28474040/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13627272 CPUtime=1.11 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 20174 0 1 0 108 3 0 0 25 0 19 0 828076551 13954326528 18901 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3406818 18901 2234 9 0 3397552 0
[pid=10677/tid=10679] ppid=10675 vsize=13627272 CPUtime=0.68 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 15816 0 1 0 66 2 0 0 19 0 19 0 828076552 13954326528 18901 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 47372742749011 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 13627272
[startup+1.5006 s]
/proc/loadavg: 0.93 1.37 1.72 5/310 10715
/proc/meminfo: memFree=28303512/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13627272 CPUtime=1.97 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 21704 0 1 0 194 3 0 0 25 0 19 0 828076551 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3406818 20427 2262 9 0 3397552 0
[pid=10677/tid=10679] ppid=10675 vsize=13627272 CPUtime=1.45 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 16052 0 1 0 143 2 0 0 20 0 19 0 828076552 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 46912505603495 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10677/tid=10682] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10675 10677 10640 0 -1 4202560 20 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10683] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10684] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10685] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10675 10677 10640 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10686] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10675 10677 10640 0 -1 4202560 150 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10687] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10675 10677 10640 0 -1 4202560 92 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10688] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10675 10677 10640 0 -1 4202560 377 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10689] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10698] ppid=10675 vsize=13627272 CPUtime=0.01 cores=1,3,5,7
/proc/10677/task/10698/stat : 10698 (java) S 10675 10677 10640 0 -1 4202560 642 0 0 0 1 0 0 0 17 0 19 0 828076555 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10700] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10700/stat : 10700 (java) S 10675 10677 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10701] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10701/stat : 10701 (java) S 10675 10677 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10704] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10704/stat : 10704 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828076558 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10705] ppid=10675 vsize=13627272 CPUtime=0.23 cores=1,3,5,7
/proc/10677/task/10705/stat : 10705 (java) S 10675 10677 10640 0 -1 4202560 1538 0 0 0 23 0 0 0 16 0 19 0 828076558 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10706] ppid=10675 vsize=13627272 CPUtime=0.23 cores=1,3,5,7
/proc/10677/task/10706/stat : 10706 (java) S 10675 10677 10640 0 -1 4202560 1672 0 0 0 23 0 0 0 15 0 19 0 828076558 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10707] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10707/stat : 10707 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076558 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10708] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10708/stat : 10708 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076558 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10714] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10714/stat : 10714 (java) S 10675 10677 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076582 13954326528 20427 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13627272
[startup+3.10131 s]
/proc/loadavg: 1.01 1.38 1.72 3/310 10715
/proc/meminfo: memFree=28288508/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13627272 CPUtime=3.61 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 22757 0 1 0 358 3 0 0 25 0 19 0 828076551 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3406818 21478 2262 9 0 3397552 0
[pid=10677/tid=10679] ppid=10675 vsize=13627272 CPUtime=3.02 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 16055 0 1 0 300 2 0 0 25 0 19 0 828076552 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 46912505638846 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10677/tid=10682] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10675 10677 10640 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10683] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10684] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10685] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10675 10677 10640 0 -1 4202560 191 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10686] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10675 10677 10640 0 -1 4202560 162 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10687] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10675 10677 10640 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10688] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10675 10677 10640 0 -1 4202560 562 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10689] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10675 10677 10640 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10698] ppid=10675 vsize=13627272 CPUtime=0.04 cores=1,3,5,7
/proc/10677/task/10698/stat : 10698 (java) S 10675 10677 10640 0 -1 4202560 1134 0 0 0 4 0 0 0 15 0 19 0 828076555 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10700] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10700/stat : 10700 (java) S 10675 10677 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10701] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10701/stat : 10701 (java) S 10675 10677 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10704] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10704/stat : 10704 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10705] ppid=10675 vsize=13627272 CPUtime=0.25 cores=1,3,5,7
/proc/10677/task/10705/stat : 10705 (java) S 10675 10677 10640 0 -1 4202560 1544 0 0 0 25 0 0 0 15 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10706] ppid=10675 vsize=13627272 CPUtime=0.25 cores=1,3,5,7
/proc/10677/task/10706/stat : 10706 (java) S 10675 10677 10640 0 -1 4202560 1674 0 0 0 25 0 0 0 15 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10707] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10707/stat : 10707 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10708] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10708/stat : 10708 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10714] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10714/stat : 10714 (java) S 10675 10677 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076582 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 13627272
Solver just ended. Dumping a history of the last processes samples
[startup+3.90116 s]
/proc/loadavg: 1.01 1.38 1.72 3/310 10715
/proc/meminfo: memFree=28272512/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13627272 CPUtime=4.41 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 22757 0 1 0 438 3 0 0 25 0 19 0 828076551 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3406818 21478 2262 9 0 3397552 0
[pid=10677/tid=10679] ppid=10675 vsize=13627272 CPUtime=3.82 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 16055 0 1 0 380 2 0 0 25 0 19 0 828076552 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 46912505638699 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10677/tid=10682] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10675 10677 10640 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10683] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10684] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10685] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10675 10677 10640 0 -1 4202560 191 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10686] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10675 10677 10640 0 -1 4202560 162 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10687] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10675 10677 10640 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10688] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10675 10677 10640 0 -1 4202560 562 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10689] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10675 10677 10640 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10698] ppid=10675 vsize=13627272 CPUtime=0.04 cores=1,3,5,7
/proc/10677/task/10698/stat : 10698 (java) S 10675 10677 10640 0 -1 4202560 1134 0 0 0 4 0 0 0 15 0 19 0 828076555 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10700] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10700/stat : 10700 (java) S 10675 10677 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10701] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10701/stat : 10701 (java) S 10675 10677 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10704] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10704/stat : 10704 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10705] ppid=10675 vsize=13627272 CPUtime=0.25 cores=1,3,5,7
/proc/10677/task/10705/stat : 10705 (java) S 10675 10677 10640 0 -1 4202560 1544 0 0 0 25 0 0 0 15 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10706] ppid=10675 vsize=13627272 CPUtime=0.25 cores=1,3,5,7
/proc/10677/task/10706/stat : 10706 (java) S 10675 10677 10640 0 -1 4202560 1674 0 0 0 25 0 0 0 15 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10707] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10707/stat : 10707 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10708] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10708/stat : 10708 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076558 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10714] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10714/stat : 10714 (java) S 10675 10677 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076582 13954326528 21478 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 13627272
[startup+4.70102 s]
/proc/loadavg: 1.01 1.38 1.72 3/310 10715
/proc/meminfo: memFree=28272764/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13627272 CPUtime=5.24 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 22945 0 1 0 521 3 0 0 25 0 19 0 828076551 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3406818 21664 2262 9 0 3397552 0
[pid=10677/tid=10679] ppid=10675 vsize=13627272 CPUtime=4.59 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 16056 0 1 0 457 2 0 0 25 0 19 0 828076552 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 46912505714754 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10677/tid=10682] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10675 10677 10640 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10683] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10684] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10685] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10675 10677 10640 0 -1 4202560 287 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10686] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10675 10677 10640 0 -1 4202560 162 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10687] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10675 10677 10640 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10688] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10675 10677 10640 0 -1 4202560 639 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10689] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10675 10677 10640 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10698] ppid=10675 vsize=13627272 CPUtime=0.07 cores=1,3,5,7
/proc/10677/task/10698/stat : 10698 (java) S 10675 10677 10640 0 -1 4202560 1134 0 0 0 7 0 0 0 15 0 19 0 828076555 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10700] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10700/stat : 10700 (java) S 10675 10677 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10701] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10701/stat : 10701 (java) S 10675 10677 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10704] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10704/stat : 10704 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10705] ppid=10675 vsize=13627272 CPUtime=0.27 cores=1,3,5,7
/proc/10677/task/10705/stat : 10705 (java) S 10675 10677 10640 0 -1 4202560 1553 0 0 0 27 0 0 0 15 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10706] ppid=10675 vsize=13627272 CPUtime=0.25 cores=1,3,5,7
/proc/10677/task/10706/stat : 10706 (java) S 10675 10677 10640 0 -1 4202560 1674 0 0 0 25 0 0 0 15 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10707] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10707/stat : 10707 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10708] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10708/stat : 10708 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10714] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10714/stat : 10714 (java) S 10675 10677 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076582 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 13627272
[startup+5.10094 s]
/proc/loadavg: 1.01 1.38 1.72 3/310 10715
/proc/meminfo: memFree=28272764/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13627272 CPUtime=5.64 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 22945 0 1 0 561 3 0 0 25 0 19 0 828076551 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3406818 21664 2262 9 0 3397552 0
[pid=10677/tid=10679] ppid=10675 vsize=13627272 CPUtime=4.99 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 16056 0 1 0 497 2 0 0 25 0 19 0 828076552 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 46912505620675 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10677/tid=10682] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10675 10677 10640 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10683] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10684] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10685] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10675 10677 10640 0 -1 4202560 287 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10686] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10675 10677 10640 0 -1 4202560 162 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10687] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10675 10677 10640 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10688] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10675 10677 10640 0 -1 4202560 639 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10689] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10675 10677 10640 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10698] ppid=10675 vsize=13627272 CPUtime=0.07 cores=1,3,5,7
/proc/10677/task/10698/stat : 10698 (java) S 10675 10677 10640 0 -1 4202560 1134 0 0 0 7 0 0 0 15 0 19 0 828076555 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10700] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10700/stat : 10700 (java) S 10675 10677 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10701] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10701/stat : 10701 (java) S 10675 10677 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10704] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10704/stat : 10704 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10705] ppid=10675 vsize=13627272 CPUtime=0.27 cores=1,3,5,7
/proc/10677/task/10705/stat : 10705 (java) S 10675 10677 10640 0 -1 4202560 1553 0 0 0 27 0 0 0 15 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10706] ppid=10675 vsize=13627272 CPUtime=0.25 cores=1,3,5,7
/proc/10677/task/10706/stat : 10706 (java) S 10675 10677 10640 0 -1 4202560 1674 0 0 0 25 0 0 0 15 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10707] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10707/stat : 10707 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10708] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10708/stat : 10708 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10714] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10714/stat : 10714 (java) S 10675 10677 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076582 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 13627272
[startup+5.20092 s]
/proc/loadavg: 1.01 1.38 1.72 3/310 10715
/proc/meminfo: memFree=28272764/32951124 swapFree=55664332/67111528
[pid=10677] ppid=10675 vsize=13627272 CPUtime=5.74 cores=1,3,5,7
/proc/10677/stat : 10677 (java) S 10675 10677 10640 0 -1 4202496 22945 0 1 0 571 3 0 0 25 0 19 0 828076551 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10677/statm: 3406818 21664 2262 9 0 3397552 0
[pid=10677/tid=10679] ppid=10675 vsize=13627272 CPUtime=5.09 cores=1,3,5,7
/proc/10677/task/10679/stat : 10679 (java) R 10675 10677 10640 0 -1 4202560 16056 0 1 0 507 2 0 0 25 0 19 0 828076552 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 46912505638764 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10677/tid=10682] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10682/stat : 10682 (java) S 10675 10677 10640 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10683] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10683/stat : 10683 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10684] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10684/stat : 10684 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10685] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10685/stat : 10685 (java) S 10675 10677 10640 0 -1 4202560 287 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10686] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10686/stat : 10686 (java) S 10675 10677 10640 0 -1 4202560 162 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10687] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10687/stat : 10687 (java) S 10675 10677 10640 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10688] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10688/stat : 10688 (java) S 10675 10677 10640 0 -1 4202560 639 0 0 0 0 0 0 0 18 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10689] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10689/stat : 10689 (java) S 10675 10677 10640 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 828076554 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 1 0 0 0
[pid=10677/tid=10698] ppid=10675 vsize=13627272 CPUtime=0.07 cores=1,3,5,7
/proc/10677/task/10698/stat : 10698 (java) S 10675 10677 10640 0 -1 4202560 1134 0 0 0 7 0 0 0 15 0 19 0 828076555 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 0 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10700] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10700/stat : 10700 (java) S 10675 10677 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10701] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10701/stat : 10701 (java) S 10675 10677 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076555 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10704] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10704/stat : 10704 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933600689 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10705] ppid=10675 vsize=13627272 CPUtime=0.27 cores=1,3,5,7
/proc/10677/task/10705/stat : 10705 (java) S 10675 10677 10640 0 -1 4202560 1553 0 0 0 27 0 0 0 15 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 3 0 0 0
[pid=10677/tid=10706] ppid=10675 vsize=13627272 CPUtime=0.25 cores=1,3,5,7
/proc/10677/task/10706/stat : 10706 (java) S 10675 10677 10640 0 -1 4202560 1674 0 0 0 25 0 0 0 15 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10707] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10707/stat : 10707 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933592985 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
[pid=10677/tid=10708] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10708/stat : 10708 (java) S 10675 10677 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076558 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 5 0 0 0
[pid=10677/tid=10714] ppid=10675 vsize=13627272 CPUtime=0 cores=1,3,5,7
/proc/10677/task/10714/stat : 10714 (java) S 10675 10677 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076582 13954326528 21664 33554432000 1073741824 1073778376 140735729515488 18446744073709551615 222933593600 0 4 0 16800975 18446604471126746944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 13627272
Child status: 10
Real time (s): 5.22079
CPU time (s): 5.77712
CPU user time (s): 5.73313
CPU system time (s): 0.043993
CPU usage (%): 110.656
Max. virtual memory (cumulated for all children) (KiB): 13627428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.73313
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22970
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= 702
involuntary context switches= 228
runsolver used 0.011998 second user time and 0.037994 second system time
The end