runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4245278-1500699940/watcher-4245278-1500699940 -o /tmp/evaluation-result-4245278-1500699940/solver-4245278-1500699940 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500684063-9052 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4245278-1500699940.xml
pid=11114
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.06 1.99 3/263 11117
/proc/meminfo: memFree=31608544/32770624 swapFree=5972/278640
[pid=11117] ppid=11114 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/stat : 11117 (java) S 11114 11117 9020 0 -1 1077944320 2311 0 0 0 0 0 0 0 20 0 10 0 5262569 10448912384 2537 33554432000 4194304 4196468 140722596713872 140722596696416 139927418097399 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
/proc/11117/statm: 2551004 2537 1217 1 0 2539915 0
[pid=11117/tid=11118] ppid=11114 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11118/stat : 11118 (java) R 11114 11117 9020 0 -1 4202560 1068 0 0 0 0 0 0 0 20 0 10 0 5262570 10449768448 2602 33554432000 4194304 4196468 140722596713872 139927422338376 139927404178687 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11119] ppid=11114 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11119/stat : 11119 (java) S 11114 11117 9020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 5262571 10449768448 2668 33554432000 4194304 4196468 140722596713872 139927354788368 139927418107605 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11120] ppid=11114 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11120/stat : 11120 (java) S 11114 11117 9020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 5262571 10449768448 2668 33554432000 4194304 4196468 140722596713872 139927353735824 139927418107605 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11121] ppid=11114 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11121/stat : 11121 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5262571 10449768448 2668 33554432000 4194304 4196468 140722596713872 139927352682768 139927418107605 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11122] ppid=11114 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11122/stat : 11122 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5262571 10449768448 2668 33554432000 4194304 4196468 140722596713872 139927351630224 139927418107605 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11123] ppid=11114 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11123/stat : 11123 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5262571 10449768448 2668 33554432000 4194304 4196468 140722596713872 139927020760080 139927418107605 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11124] ppid=11114 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11124/stat : 11124 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5262571 10449768448 2733 33554432000 4194304 4196468 140722596713872 139927019707536 139927418107605 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11125] ppid=11114 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11125/stat : 11125 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 5262571 10449768448 2733 33554432000 4194304 4196468 140722596713872 139927018654480 139927418107605 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11126] ppid=11114 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11126/stat : 11126 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5262571 10449768448 2733 33554432000 4194304 4196468 140722596713872 139927017601936 139927418107605 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[startup+0.100106 s]
/proc/loadavg: 2.18 2.06 1.99 3/263 11117
/proc/meminfo: memFree=31608544/32770624 swapFree=5972/278640
[pid=11117] ppid=11114 vsize=10900580 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11117/stat : 11117 (java) S 11114 11117 9020 0 -1 1077944320 4903 0 0 0 8 1 0 0 20 0 20 0 5262569 11162193920 6014 33554432000 4194304 4196468 140722596713872 140722596696416 139927418097399 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
/proc/11117/statm: 2725145 6014 2631 1 0 2713552 0
[pid=11117/tid=11118] ppid=11114 vsize=10900580 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11118/stat : 11118 (java) R 11114 11117 9020 0 -1 4202560 3005 0 0 0 7 1 0 0 20 0 20 0 5262570 11162193920 6014 33554432000 4194304 4196468 140722596713872 139927422339680 139927402177886 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11119] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11119/stat : 11119 (java) S 11114 11117 9020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 6014 33554432000 4194304 4196468 140722596713872 139927354788368 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11120] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11120/stat : 11120 (java) S 11114 11117 9020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 6014 33554432000 4194304 4196468 140722596713872 139927353735824 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11121] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11121/stat : 11121 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 6014 33554432000 4194304 4196468 140722596713872 139927352682768 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11122] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11122/stat : 11122 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 6014 33554432000 4194304 4196468 140722596713872 139927351630224 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11123] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11123/stat : 11123 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 6014 33554432000 4194304 4196468 140722596713872 139927020760080 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11124] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11124/stat : 11124 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 6014 33554432000 4194304 4196468 140722596713872 139927019707536 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11125] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11125/stat : 11125 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 6014 33554432000 4194304 4196468 140722596713872 139927018654480 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11126] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11126/stat : 11126 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 6014 33554432000 4194304 4196468 140722596713872 139927017601936 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900580
[startup+0.201184 s]
/proc/loadavg: 2.18 2.06 1.99 3/263 11117
/proc/meminfo: memFree=31608544/32770624 swapFree=5972/278640
[pid=11117] ppid=11114 vsize=10900580 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/11117/stat : 11117 (java) S 11114 11117 9020 0 -1 1077944320 7615 0 0 0 26 2 0 0 20 0 20 0 5262569 11162193920 9000 33554432000 4194304 4196468 140722596713872 140722596696416 139927418097399 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
/proc/11117/statm: 2725145 9000 2873 1 0 2713552 0
[pid=11117/tid=11118] ppid=11114 vsize=10900580 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11118/stat : 11118 (java) R 11114 11117 9020 0 -1 4202560 4808 0 0 0 17 1 0 0 20 0 20 0 5262570 11162193920 9000 33554432000 4194304 4196468 140722596713872 139927422311216 139927402177886 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11119] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11119/stat : 11119 (java) S 11114 11117 9020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 9000 33554432000 4194304 4196468 140722596713872 139927354788368 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11120] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11120/stat : 11120 (java) S 11114 11117 9020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 9000 33554432000 4194304 4196468 140722596713872 139927353735824 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11121] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11121/stat : 11121 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 9000 33554432000 4194304 4196468 140722596713872 139927352682768 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11122] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11122/stat : 11122 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 9000 33554432000 4194304 4196468 140722596713872 139927351630224 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11123] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11123/stat : 11123 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 9000 33554432000 4194304 4196468 140722596713872 139927020760080 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11124] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11124/stat : 11124 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 9000 33554432000 4194304 4196468 140722596713872 139927019707536 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11125] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11125/stat : 11125 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 9000 33554432000 4194304 4196468 140722596713872 139927018654480 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11126] ppid=11114 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11126/stat : 11126 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5262571 11162193920 9000 33554432000 4194304 4196468 140722596713872 139927017601936 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580
[startup+0.301003 s]
/proc/loadavg: 2.18 2.06 1.99 3/263 11117
/proc/meminfo: memFree=31608544/32770624 swapFree=5972/278640
[pid=11117] ppid=11114 vsize=10969228 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/11117/stat : 11117 (java) S 11114 11117 9020 0 -1 1077944320 8380 0 0 0 46 3 0 0 20 0 21 0 5262569 11232489472 13161 33554432000 4194304 4196468 140722596713872 140722596696416 139927418097399 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
/proc/11117/statm: 2742307 13161 2968 1 0 2730193 0
[pid=11117/tid=11118] ppid=11114 vsize=10969228 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11118/stat : 11118 (java) S 11114 11117 9020 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 5262570 11232489472 13161 33554432000 4194304 4196468 140722596713872 139927422340272 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11119] ppid=11114 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11119/stat : 11119 (java) S 11114 11117 9020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5262571 11232489472 13161 33554432000 4194304 4196468 140722596713872 139927354788368 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11120] ppid=11114 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11120/stat : 11120 (java) S 11114 11117 9020 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5262571 11232489472 13161 33554432000 4194304 4196468 140722596713872 139927353735824 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11121] ppid=11114 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11121/stat : 11121 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5262571 11232489472 13161 33554432000 4194304 4196468 140722596713872 139927352682768 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11122] ppid=11114 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11122/stat : 11122 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5262571 11232489472 13161 33554432000 4194304 4196468 140722596713872 139927351630224 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11123] ppid=11114 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11123/stat : 11123 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5262571 11232489472 13161 33554432000 4194304 4196468 140722596713872 139927020760080 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11124] ppid=11114 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11124/stat : 11124 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5262571 11232489472 13161 33554432000 4194304 4196468 140722596713872 139927019707536 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11125] ppid=11114 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11125/stat : 11125 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11232489472 13161 33554432000 4194304 4196468 140722596713872 139927018654480 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11126] ppid=11114 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11126/stat : 11126 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5262571 11232489472 13161 33554432000 4194304 4196468 140722596713872 139927017601936 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10969228
[startup+0.700707 s]
/proc/loadavg: 2.18 2.06 1.99 3/263 11117
/proc/meminfo: memFree=31608544/32770624 swapFree=5972/278640
[pid=11117] ppid=11114 vsize=10971352 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/11117/stat : 11117 (java) S 11114 11117 9020 0 -1 1077944320 13793 0 0 0 157 8 0 0 20 0 21 0 5262569 11234664448 47664 33554432000 4194304 4196468 140722596713872 140722596696416 139927418097399 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
/proc/11117/statm: 2742838 47664 3106 1 0 2730705 0
[pid=11117/tid=11118] ppid=11114 vsize=10971352 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11118/stat : 11118 (java) S 11114 11117 9020 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 5262570 11234664448 47664 33554432000 4194304 4196468 140722596713872 139927422340272 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11119] ppid=11114 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11119/stat : 11119 (java) S 11114 11117 9020 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 5262571 11234664448 47664 33554432000 4194304 4196468 140722596713872 139927354788368 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11120] ppid=11114 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11120/stat : 11120 (java) S 11114 11117 9020 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 21 0 5262571 11234664448 47664 33554432000 4194304 4196468 140722596713872 139927353735824 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11121] ppid=11114 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11121/stat : 11121 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11234664448 47664 33554432000 4194304 4196468 140722596713872 139927352682768 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11122] ppid=11114 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11122/stat : 11122 (java) S 11114 11117 9020 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 5262571 11234664448 47664 33554432000 4194304 4196468 140722596713872 139927351630224 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11123] ppid=11114 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11123/stat : 11123 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11234664448 47664 33554432000 4194304 4196468 140722596713872 139927020760080 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11124] ppid=11114 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11124/stat : 11124 (java) S 11114 11117 9020 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 21 0 5262571 11234664448 47664 33554432000 4194304 4196468 140722596713872 139927019707536 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11125] ppid=11114 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11125/stat : 11125 (java) S 11114 11117 9020 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 21 0 5262571 11234664448 47664 33554432000 4194304 4196468 140722596713872 139927018654480 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11126] ppid=11114 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11126/stat : 11126 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11234664448 47664 33554432000 4194304 4196468 140722596713872 139927017601936 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10971352
[startup+1.50122 s]
/proc/loadavg: 2.18 2.06 1.99 6/284 11138
/proc/meminfo: memFree=31414316/32770624 swapFree=5972/278152
[pid=11117] ppid=11114 vsize=10973432 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/11117/stat : 11117 (java) S 11114 11117 9020 0 -1 1077944320 21312 0 0 0 517 11 0 0 20 0 21 0 5262569 11236794368 54844 33554432000 4194304 4196468 140722596713872 140722596696416 139927418097399 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
/proc/11117/statm: 2743358 54844 3131 1 0 2731225 0
[pid=11117/tid=11118] ppid=11114 vsize=10973432 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11118/stat : 11118 (java) S 11114 11117 9020 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 5262570 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927422340272 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11119] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11119/stat : 11119 (java) S 11114 11117 9020 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927354788368 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11120] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11120/stat : 11120 (java) S 11114 11117 9020 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927353735824 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11121] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11121/stat : 11121 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927352682768 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11122] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11122/stat : 11122 (java) S 11114 11117 9020 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927351630224 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11123] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11123/stat : 11123 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927020760080 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11124] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11124/stat : 11124 (java) S 11114 11117 9020 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927019707536 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11125] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11125/stat : 11125 (java) S 11114 11117 9020 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927018654480 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11126] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11126/stat : 11126 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927017601936 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11128] ppid=11114 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11128/stat : 11128 (java) S 11114 11117 9020 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 21 0 5262573 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926625433840 139927418108546 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11129] ppid=11114 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11129/stat : 11129 (java) S 11114 11117 9020 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 5262574 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926624380064 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11130] ppid=11114 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11130/stat : 11130 (java) S 11114 11117 9020 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 5262574 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926623326960 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11131] ppid=11114 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11131/stat : 11131 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5262578 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926622275536 139927418115995 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11132] ppid=11114 vsize=10973400 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11132/stat : 11132 (java) R 11114 11117 9020 0 -1 4202560 2795 0 0 0 96 1 0 0 20 0 21 0 5262578 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926621211984 139927397316040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11133] ppid=11114 vsize=10973400 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11133/stat : 11133 (java) R 11114 11117 9020 0 -1 4202560 1980 0 0 0 99 0 0 0 20 0 21 0 5262578 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926620157224 139927411201016 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11134] ppid=11114 vsize=10973432 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11134/stat : 11134 (java) R 11114 11117 9020 0 -1 4202560 2860 0 0 0 96 0 0 0 20 0 21 0 5262578 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926619103272 139927399640691 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11135] ppid=11114 vsize=10973432 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11135/stat : 11135 (java) S 11114 11117 9020 0 -1 1077944384 3890 0 0 0 80 1 0 0 20 0 21 0 5262578 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926618065520 139927418108546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11136] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11136/stat : 11136 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262578 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926617012704 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11137] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11137/stat : 11137 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5262579 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926615960240 139927418108546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11138] ppid=11114 vsize=10973432 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11138/stat : 11138 (java) R 11114 11117 9020 0 -1 4202560 3167 0 0 0 117 3 0 0 20 0 21 0 5262597 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926155799376 139927410777117 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 10973432
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11117 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50122 s]
/proc/loadavg: 2.18 2.06 1.99 6/284 11138
/proc/meminfo: memFree=31414316/32770624 swapFree=5972/278152
[pid=11117] ppid=11114 vsize=10973432 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/11117/stat : 11117 (java) S 11114 11117 9020 0 -1 1077944320 21312 0 0 0 517 11 0 0 20 0 21 0 5262569 11236794368 54844 33554432000 4194304 4196468 140722596713872 140722596696416 139927418097399 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
/proc/11117/statm: 2743358 54844 3131 1 0 2731225 0
[pid=11117/tid=11118] ppid=11114 vsize=10973432 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11118/stat : 11118 (java) S 11114 11117 9020 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 5262570 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927422340272 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11119] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11119/stat : 11119 (java) S 11114 11117 9020 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927354788368 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11120] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11120/stat : 11120 (java) S 11114 11117 9020 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927353735824 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11121] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11121/stat : 11121 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927352682768 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11122] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11122/stat : 11122 (java) S 11114 11117 9020 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927351630224 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11123] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11123/stat : 11123 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927020760080 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11124] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11124/stat : 11124 (java) S 11114 11117 9020 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927019707536 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11125] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11125/stat : 11125 (java) S 11114 11117 9020 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927018654480 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11126] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11126/stat : 11126 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262571 11236794368 54844 33554432000 4194304 4196468 140722596713872 139927017601936 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11128] ppid=11114 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11128/stat : 11128 (java) S 11114 11117 9020 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 21 0 5262573 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926625433840 139927418108546 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11129] ppid=11114 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11129/stat : 11129 (java) S 11114 11117 9020 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 5262574 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926624380064 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11130] ppid=11114 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11130/stat : 11130 (java) S 11114 11117 9020 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 5262574 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926623326960 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11131] ppid=11114 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11131/stat : 11131 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5262578 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926622275536 139927418115995 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11132] ppid=11114 vsize=10973400 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11132/stat : 11132 (java) R 11114 11117 9020 0 -1 4202560 2795 0 0 0 96 1 0 0 20 0 21 0 5262578 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926621211984 139927397316040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11133] ppid=11114 vsize=10973400 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11133/stat : 11133 (java) R 11114 11117 9020 0 -1 4202560 1980 0 0 0 99 0 0 0 20 0 21 0 5262578 11236761600 54844 33554432000 4194304 4196468 140722596713872 139926620157224 139927411201016 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11134] ppid=11114 vsize=10973432 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11134/stat : 11134 (java) R 11114 11117 9020 0 -1 4202560 2860 0 0 0 96 0 0 0 20 0 21 0 5262578 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926619103272 139927399640691 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11135] ppid=11114 vsize=10973432 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11135/stat : 11135 (java) S 11114 11117 9020 0 -1 1077944384 3890 0 0 0 80 1 0 0 20 0 21 0 5262578 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926618065520 139927418108546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11136] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11136/stat : 11136 (java) S 11114 11117 9020 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5262578 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926617012704 139927418107605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11137] ppid=11114 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11137/stat : 11137 (java) S 11114 11117 9020 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5262579 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926615960240 139927418108546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
[pid=11117/tid=11138] ppid=11114 vsize=10973432 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/11117/task/11138/stat : 11138 (java) R 11114 11117 9020 0 -1 4202560 3167 0 0 0 117 3 0 0 20 0 21 0 5262597 11236794368 54844 33554432000 4194304 4196468 140722596713872 139926155799376 139927410777117 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38191104 140722596717763 140722596717892 140722596717892 140722596720591 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 10973432
Child status: 0
Real time (s): 1.59823
CPU time (s): 5.64887
CPU user time (s): 5.52373
CPU system time (s): 0.125149
CPU usage (%): 353.445
Max. virtual memory (cumulated for all children) (KiB): 10973432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.52372
system time used= 0.125149
maximum resident set size= 228476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2642
involuntary context switches= 379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019508 second user time and 0.029263 second system time
The end