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-4249810-1500765163/watcher-4249810-1500765163 -o /tmp/evaluation-result-4249810-1500765163/solver-4249810-1500765163 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500750804-29440 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4249810-1500765163.xml
pid=31528
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: 1.78 1.97 2.02 2/262 31531
/proc/meminfo: memFree=31342372/32770624 swapFree=5920/178288
[pid=31531] ppid=31528 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/stat : 31531 (java) S 31528 31531 29408 0 -1 1077944320 2225 0 0 0 0 0 0 0 20 0 2 0 11785950 8550137856 2442 33554432000 4194304 4196468 140736683066896 140736683049440 140174266384119 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
/proc/31531/statm: 2087693 2442 1198 1 0 2076604 0
[pid=31531/tid=31532] ppid=31528 vsize=8351800 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31532/stat : 31532 (java) R 31528 31531 29408 0 -1 1077944384 925 0 0 0 0 0 0 0 20 0 4 0 11785950 8552243200 2442 33554432000 4194304 4196468 140736683066896 140174270625488 140174266394325 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31533] ppid=31528 vsize=8352828 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31533/stat : 31533 (java) S 31528 31531 29408 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 11785951 8553295872 2508 33554432000 4194304 4196468 140736683066896 140174192458848 140174266394325 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31534] ppid=31528 vsize=8352828 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31534/stat : 31534 (java) S 31528 31531 29408 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 11785951 8553295872 2508 33554432000 4194304 4196468 140736683066896 140174191406304 140174266394325 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31535] ppid=31528 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31535/stat : 31535 (java) S 31528 31531 29408 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 11785951 8554348544 2508 33554432000 4194304 4196468 140736683066896 140174190353760 140174266394325 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31536] ppid=31528 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31536/stat : 31536 (java) S 31528 31531 29408 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 11785951 8554348544 2508 33554432000 4194304 4196468 140736683066896 140174189301216 140174266394325 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[startup+0.100063 s]
/proc/loadavg: 1.78 1.97 2.02 2/262 31531
/proc/meminfo: memFree=31342372/32770624 swapFree=5920/178288
[pid=31531] ppid=31528 vsize=10900580 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/31531/stat : 31531 (java) S 31528 31531 29408 0 -1 1077944320 4617 0 0 0 9 1 0 0 20 0 20 0 11785950 11162193920 6222 33554432000 4194304 4196468 140736683066896 140736683049440 140174266384119 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
/proc/31531/statm: 2725145 6222 2619 1 0 2713552 0
[pid=31531/tid=31532] ppid=31528 vsize=10900580 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31532/stat : 31532 (java) R 31528 31531 29408 0 -1 4202560 2712 0 0 0 7 0 0 0 20 0 20 0 11785950 11162193920 6222 33554432000 4194304 4196468 140736683066896 140174270626400 140174266406045 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31533] ppid=31528 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31533/stat : 31533 (java) S 31528 31531 29408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11785951 11162193920 6222 33554432000 4194304 4196468 140736683066896 140174192458512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31534] ppid=31528 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31534/stat : 31534 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11785951 11162193920 6222 33554432000 4194304 4196468 140736683066896 140174191405968 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31535] ppid=31528 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31535/stat : 31535 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11785951 11162193920 6222 33554432000 4194304 4196468 140736683066896 140174190353424 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31536] ppid=31528 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31536/stat : 31536 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11785951 11162193920 6222 33554432000 4194304 4196468 140736683066896 140174189300880 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580
[startup+0.200687 s]
/proc/loadavg: 1.78 1.97 2.02 2/262 31531
/proc/meminfo: memFree=31342372/32770624 swapFree=5920/178288
[pid=31531] ppid=31528 vsize=10900580 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/31531/stat : 31531 (java) S 31528 31531 29408 0 -1 1077944320 7144 0 0 0 26 1 0 0 20 0 20 0 11785950 11162193920 9037 33554432000 4194304 4196468 140736683066896 140736683049440 140174266384119 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
/proc/31531/statm: 2725145 9037 2882 1 0 2713552 0
[pid=31531/tid=31532] ppid=31528 vsize=10900580 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31532/stat : 31532 (java) D 31528 31531 29408 0 -1 1077944384 4444 0 0 0 17 1 0 0 20 0 20 0 11785950 11162193920 9037 33554432000 4194304 4196468 140736683066896 140174270616096 140174266407997 0 4 0 16800975 18446744072101617188 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31533] ppid=31528 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31533/stat : 31533 (java) S 31528 31531 29408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11785951 11162193920 9037 33554432000 4194304 4196468 140736683066896 140174192458512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31534] ppid=31528 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31534/stat : 31534 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11785951 11162193920 9037 33554432000 4194304 4196468 140736683066896 140174191405968 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31535] ppid=31528 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31535/stat : 31535 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11785951 11162193920 9037 33554432000 4194304 4196468 140736683066896 140174190353424 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31536] ppid=31528 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31536/stat : 31536 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11785951 11162193920 9037 33554432000 4194304 4196468 140736683066896 140174189300880 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10900580
[startup+0.30054 s]
/proc/loadavg: 1.78 1.97 2.02 2/262 31531
/proc/meminfo: memFree=31342372/32770624 swapFree=5920/178288
[pid=31531] ppid=31528 vsize=10969228 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/31531/stat : 31531 (java) S 31528 31531 29408 0 -1 1077944320 7821 0 0 0 47 2 0 0 20 0 21 0 11785950 11232489472 13195 33554432000 4194304 4196468 140736683066896 140736683049440 140174266384119 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
/proc/31531/statm: 2742307 13195 2952 1 0 2730193 0
[pid=31531/tid=31532] ppid=31528 vsize=10969228 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31532/stat : 31532 (java) S 31528 31531 29408 0 -1 1077944384 4699 0 0 0 24 1 0 0 20 0 21 0 11785950 11232489472 13195 33554432000 4194304 4196468 140736683066896 140174270626992 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31533] ppid=31528 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31533/stat : 31533 (java) S 31528 31531 29408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11785951 11232489472 13195 33554432000 4194304 4196468 140736683066896 140174192458512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31534] ppid=31528 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31534/stat : 31534 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11232489472 13195 33554432000 4194304 4196468 140736683066896 140174191405968 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31535] ppid=31528 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31535/stat : 31535 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785951 11232489472 13195 33554432000 4194304 4196468 140736683066896 140174190353424 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31536] ppid=31528 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31536/stat : 31536 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11232489472 13195 33554432000 4194304 4196468 140736683066896 140174189300880 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10969228
[startup+0.700388 s]
/proc/loadavg: 1.78 1.97 2.02 2/262 31531
/proc/meminfo: memFree=31342372/32770624 swapFree=5920/178288
[pid=31531] ppid=31528 vsize=10971352 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/31531/stat : 31531 (java) S 31528 31531 29408 0 -1 1077944320 12823 0 0 0 155 4 0 0 20 0 21 0 11785950 11234664448 22599 33554432000 4194304 4196468 140736683066896 140736683049440 140174266384119 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
/proc/31531/statm: 2742838 22599 3104 1 0 2730705 0
[pid=31531/tid=31532] ppid=31528 vsize=10971352 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31532/stat : 31532 (java) S 31528 31531 29408 0 -1 1077944384 4699 0 0 0 24 1 0 0 20 0 21 0 11785950 11234664448 22599 33554432000 4194304 4196468 140736683066896 140174270626992 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31533] ppid=31528 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31533/stat : 31533 (java) S 31528 31531 29408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11785951 11234664448 22599 33554432000 4194304 4196468 140736683066896 140174192458512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31534] ppid=31528 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31534/stat : 31534 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11234664448 22599 33554432000 4194304 4196468 140736683066896 140174191405968 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31535] ppid=31528 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31535/stat : 31535 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785951 11234664448 22599 33554432000 4194304 4196468 140736683066896 140174190353424 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31536] ppid=31528 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31536/stat : 31536 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11234664448 22599 33554432000 4194304 4196468 140736683066896 140174189300880 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10971352
[startup+1.50116 s]
/proc/loadavg: 1.78 1.97 2.02 6/283 31552
/proc/meminfo: memFree=31224012/32770624 swapFree=5920/178352
[pid=31531] ppid=31528 vsize=10973400 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/31531/stat : 31531 (java) S 31528 31531 29408 0 -1 1077944320 22944 0 0 0 452 7 0 0 20 0 21 0 11785950 11236761600 33980 33554432000 4194304 4196468 140736683066896 140736683049440 140174266384119 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
/proc/31531/statm: 2743350 33980 3133 1 0 2731217 0
[pid=31531/tid=31532] ppid=31528 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31532/stat : 31532 (java) S 31528 31531 29408 0 -1 1077944384 4699 0 0 0 24 1 0 0 20 0 21 0 11785950 11236761600 33980 33554432000 4194304 4196468 140736683066896 140174270626992 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31533] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31533/stat : 31533 (java) S 31528 31531 29408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 33980 33554432000 4194304 4196468 140736683066896 140174192458512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31534] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31534/stat : 31534 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 33980 33554432000 4194304 4196468 140736683066896 140174191405968 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31535] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31535/stat : 31535 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 33980 33554432000 4194304 4196468 140736683066896 140174190353424 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31536] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31536/stat : 31536 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 33980 33554432000 4194304 4196468 140736683066896 140174189300880 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31537] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31537/stat : 31537 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 33980 33554432000 4194304 4196468 140736683066896 140174188247312 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31538] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31538/stat : 31538 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 33980 33554432000 4194304 4196468 140736683066896 140174187194768 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31540] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31540/stat : 31540 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 33980 33554432000 4194304 4196468 140736683066896 140174186142224 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31541] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31541/stat : 31541 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 33980 33554432000 4194304 4196468 140736683066896 140174185089680 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31542] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31542/stat : 31542 (java) S 31528 31531 29408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 11785953 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173607074288 140174266395266 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31543] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31543/stat : 31543 (java) S 31528 31531 29408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11785954 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173606020512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31544] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31544/stat : 31544 (java) S 31528 31531 29408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11785954 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173604967920 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31545] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31545/stat : 31545 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785958 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173603916496 140174266402715 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31546] ppid=31528 vsize=10973400 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31546/stat : 31546 (java) R 31528 31531 29408 0 -1 4202560 4036 0 0 0 80 0 0 0 20 0 21 0 11785958 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173602843896 140174249880903 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31547] ppid=31528 vsize=10973400 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31547/stat : 31547 (java) R 31528 31531 29408 0 -1 4202560 2963 0 0 0 85 0 0 0 20 0 21 0 11785958 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173601797112 140174247928272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31548] ppid=31528 vsize=10973400 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31548/stat : 31548 (java) R 31528 31531 29408 0 -1 4202560 3268 0 0 0 83 0 0 0 20 0 21 0 11785958 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173600739568 140174249880907 0 4 0 16800975 0 0 0 -1 9 0 0 10 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31549] ppid=31528 vsize=10973400 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31549/stat : 31549 (java) S 31528 31531 29408 0 -1 1077944384 3066 0 0 0 60 1 0 0 20 0 21 0 11785958 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173599705456 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31550] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31550/stat : 31550 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785959 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173598653152 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31551] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31551/stat : 31551 (java) S 31528 31531 29408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11785959 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173597600688 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31552] ppid=31528 vsize=10973400 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31552/stat : 31552 (java) R 31528 31531 29408 0 -1 4202560 3523 0 0 0 117 2 0 0 20 0 21 0 11785977 11236761600 33980 33554432000 4194304 4196468 140736683066896 140173594410520 140736683694018 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 10973400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31531 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60153 s]
/proc/loadavg: 1.78 1.97 2.02 6/283 31552
/proc/meminfo: memFree=31224012/32770624 swapFree=5920/178352
[pid=31531] ppid=31528 vsize=10973400 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/31531/stat : 31531 (java) S 31528 31531 29408 0 -1 1077944320 23480 0 0 0 492 7 0 0 20 0 21 0 11785950 11236761600 34218 33554432000 4194304 4196468 140736683066896 140736683049440 140174266384119 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
/proc/31531/statm: 2743350 34218 3133 1 0 2731217 0
[pid=31531/tid=31532] ppid=31528 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31532/stat : 31532 (java) S 31528 31531 29408 0 -1 1077944384 4699 0 0 0 24 1 0 0 20 0 21 0 11785950 11236761600 34218 33554432000 4194304 4196468 140736683066896 140174270626992 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31533] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31533/stat : 31533 (java) S 31528 31531 29408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 34218 33554432000 4194304 4196468 140736683066896 140174192458512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31534] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31534/stat : 31534 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 34218 33554432000 4194304 4196468 140736683066896 140174191405968 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31535] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31535/stat : 31535 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 34218 33554432000 4194304 4196468 140736683066896 140174190353424 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31536] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31536/stat : 31536 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 34218 33554432000 4194304 4196468 140736683066896 140174189300880 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31537] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31537/stat : 31537 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 34218 33554432000 4194304 4196468 140736683066896 140174188247312 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31538] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31538/stat : 31538 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 34218 33554432000 4194304 4196468 140736683066896 140174187194768 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31540] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31540/stat : 31540 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 34218 33554432000 4194304 4196468 140736683066896 140174186142224 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31541] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31541/stat : 31541 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 34218 33554432000 4194304 4196468 140736683066896 140174185089680 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31542] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31542/stat : 31542 (java) S 31528 31531 29408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 11785953 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173607074288 140174266395266 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31543] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31543/stat : 31543 (java) S 31528 31531 29408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11785954 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173606020512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31544] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31544/stat : 31544 (java) S 31528 31531 29408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11785954 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173604967920 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31545] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31545/stat : 31545 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785958 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173603916496 140174266402715 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31546] ppid=31528 vsize=10973400 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31546/stat : 31546 (java) R 31528 31531 29408 0 -1 4202560 4070 0 0 0 90 0 0 0 20 0 21 0 11785958 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173602843896 140174249880907 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31547] ppid=31528 vsize=10973400 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31547/stat : 31547 (java) R 31528 31531 29408 0 -1 4202560 3153 0 0 0 95 1 0 0 20 0 21 0 11785958 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173601796024 140174251310740 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31548] ppid=31528 vsize=10973400 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31548/stat : 31548 (java) R 31528 31531 29408 0 -1 4202560 3574 0 0 0 93 0 0 0 20 0 21 0 11785958 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173600744568 140174244620969 0 4 0 16800975 0 0 0 -1 9 0 0 10 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31549] ppid=31528 vsize=10973400 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31549/stat : 31549 (java) S 31528 31531 29408 0 -1 1077944384 3069 0 0 0 60 1 0 0 20 0 21 0 11785958 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173599705456 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31550] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31550/stat : 31550 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785959 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173598653152 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31551] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31551/stat : 31551 (java) S 31528 31531 29408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11785959 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173597600688 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31552] ppid=31528 vsize=10973400 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31552/stat : 31552 (java) R 31528 31531 29408 0 -1 4202560 3528 0 0 0 127 2 0 0 20 0 21 0 11785977 11236761600 34218 33554432000 4194304 4196468 140736683066896 140173594410456 140173858815362 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 10973400
[startup+1.80088 s]
/proc/loadavg: 1.78 1.97 2.02 6/283 31552
/proc/meminfo: memFree=31224012/32770624 swapFree=5920/178352
[pid=31531] ppid=31528 vsize=10973400 CPUtime=5.46 cores=1,3,5,7,9,11,13,15
/proc/31531/stat : 31531 (java) S 31528 31531 29408 0 -1 1077944320 24300 0 0 0 539 7 0 0 20 0 21 0 11785950 11236761600 35650 33554432000 4194304 4196468 140736683066896 140736683049440 140174266384119 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
/proc/31531/statm: 2743350 35650 3133 1 0 2731217 0
[pid=31531/tid=31532] ppid=31528 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31532/stat : 31532 (java) S 31528 31531 29408 0 -1 1077944384 4699 0 0 0 24 1 0 0 20 0 21 0 11785950 11236761600 35650 33554432000 4194304 4196468 140736683066896 140174270626992 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31533] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31533/stat : 31533 (java) S 31528 31531 29408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35650 33554432000 4194304 4196468 140736683066896 140174192458512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31534] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31534/stat : 31534 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35650 33554432000 4194304 4196468 140736683066896 140174191405968 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31535] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31535/stat : 31535 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35650 33554432000 4194304 4196468 140736683066896 140174190353424 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31536] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31536/stat : 31536 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35650 33554432000 4194304 4196468 140736683066896 140174189300880 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31537] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31537/stat : 31537 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35650 33554432000 4194304 4196468 140736683066896 140174188247312 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31538] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31538/stat : 31538 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35650 33554432000 4194304 4196468 140736683066896 140174187194768 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31540] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31540/stat : 31540 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35650 33554432000 4194304 4196468 140736683066896 140174186142224 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31541] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31541/stat : 31541 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35650 33554432000 4194304 4196468 140736683066896 140174185089680 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31542] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31542/stat : 31542 (java) S 31528 31531 29408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 11785953 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173607074288 140174266395266 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31543] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31543/stat : 31543 (java) S 31528 31531 29408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11785954 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173606020512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31544] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31544/stat : 31544 (java) S 31528 31531 29408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11785954 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173604967920 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31545] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31545/stat : 31545 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785958 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173603916496 140174266402715 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31546] ppid=31528 vsize=10973400 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31546/stat : 31546 (java) R 31528 31531 29408 0 -1 4202560 4819 0 0 0 110 0 0 0 20 0 21 0 11785958 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173602849112 140174251305901 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31547] ppid=31528 vsize=10973400 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31547/stat : 31547 (java) S 31528 31531 29408 0 -1 1077944384 3170 0 0 0 98 1 0 0 20 0 21 0 11785958 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173601810544 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31548] ppid=31528 vsize=10973400 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31548/stat : 31548 (java) S 31528 31531 29408 0 -1 1077944384 3610 0 0 0 97 0 0 0 20 0 21 0 11785958 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173600758000 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 10 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31549] ppid=31528 vsize=10973400 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31549/stat : 31549 (java) S 31528 31531 29408 0 -1 1077944384 3081 0 0 0 61 1 0 0 20 0 21 0 11785958 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173599705456 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31550] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31550/stat : 31550 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785959 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173598653152 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31551] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31551/stat : 31551 (java) S 31528 31531 29408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11785959 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173597600688 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31552] ppid=31528 vsize=10973400 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31552/stat : 31552 (java) R 31528 31531 29408 0 -1 4202560 3532 0 0 0 147 2 0 0 20 0 21 0 11785977 11236761600 35650 33554432000 4194304 4196468 140736683066896 140173594408392 140173858815362 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 10973400
[startup+1.90088 s]
/proc/loadavg: 1.78 1.97 2.02 6/283 31552
/proc/meminfo: memFree=31224012/32770624 swapFree=5920/178352
[pid=31531] ppid=31528 vsize=10973400 CPUtime=5.59 cores=1,3,5,7,9,11,13,15
/proc/31531/stat : 31531 (java) S 31528 31531 29408 0 -1 1077944320 24474 0 0 0 552 7 0 0 20 0 21 0 11785950 11236761600 35742 33554432000 4194304 4196468 140736683066896 140736683049440 140174266384119 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
/proc/31531/statm: 2743350 35742 3133 1 0 2731217 0
[pid=31531/tid=31532] ppid=31528 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31532/stat : 31532 (java) S 31528 31531 29408 0 -1 1077944384 4699 0 0 0 24 1 0 0 20 0 21 0 11785950 11236761600 35742 33554432000 4194304 4196468 140736683066896 140174270626992 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31533] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31533/stat : 31533 (java) S 31528 31531 29408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35742 33554432000 4194304 4196468 140736683066896 140174192458512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31534] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31534/stat : 31534 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35742 33554432000 4194304 4196468 140736683066896 140174191405968 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31535] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31535/stat : 31535 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35742 33554432000 4194304 4196468 140736683066896 140174190353424 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31536] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31536/stat : 31536 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35742 33554432000 4194304 4196468 140736683066896 140174189300880 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31537] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31537/stat : 31537 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35742 33554432000 4194304 4196468 140736683066896 140174188247312 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31538] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31538/stat : 31538 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35742 33554432000 4194304 4196468 140736683066896 140174187194768 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31540] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31540/stat : 31540 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35742 33554432000 4194304 4196468 140736683066896 140174186142224 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31541] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31541/stat : 31541 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785951 11236761600 35742 33554432000 4194304 4196468 140736683066896 140174185089680 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31542] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31542/stat : 31542 (java) S 31528 31531 29408 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 11785953 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173607074288 140174266395266 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31543] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31543/stat : 31543 (java) S 31528 31531 29408 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11785954 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173606020512 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31544] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31544/stat : 31544 (java) S 31528 31531 29408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11785954 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173604967920 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31545] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31545/stat : 31545 (java) S 31528 31531 29408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11785958 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173603916496 140174266402715 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31546] ppid=31528 vsize=10973400 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31546/stat : 31546 (java) S 31528 31531 29408 0 -1 1077944384 4971 0 0 0 112 0 0 0 20 0 21 0 11785958 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173602863088 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31547] ppid=31528 vsize=10973400 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31547/stat : 31547 (java) S 31528 31531 29408 0 -1 1077944384 3178 0 0 0 99 1 0 0 20 0 21 0 11785958 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173601810544 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31548] ppid=31528 vsize=10973400 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31548/stat : 31548 (java) S 31528 31531 29408 0 -1 1077944384 3610 0 0 0 97 0 0 0 20 0 21 0 11785958 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173600758000 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 10 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31549] ppid=31528 vsize=10973400 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31549/stat : 31549 (java) S 31528 31531 29408 0 -1 1077944384 3086 0 0 0 61 1 0 0 20 0 21 0 11785958 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173599705456 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31550] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31550/stat : 31550 (java) S 31528 31531 29408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11785959 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173598653152 140174266394325 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31551] ppid=31528 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31551/stat : 31551 (java) S 31528 31531 29408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11785959 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173597600688 140174266395266 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
[pid=31531/tid=31552] ppid=31528 vsize=10973400 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/31531/task/31552/stat : 31552 (java) R 31528 31531 29408 0 -1 4202560 3541 0 0 0 157 2 0 0 20 0 21 0 11785977 11236761600 35742 33554432000 4194304 4196468 140736683066896 140173594410936 140173864424563 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9125888 140736683070659 140736683070788 140736683070788 140736683073487 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 1.98244
CPU time (s): 5.68391
CPU user time (s): 5.60095
CPU system time (s): 0.082962
CPU usage (%): 286.714
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.60095
system time used= 0.082962
maximum resident set size= 145316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3014
involuntary context switches= 392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020941 second user time and 0.026404 second system time
The end