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-4249353-1502115390/watcher-4249353-1502115390 -o /tmp/evaluation-result-4249353-1502115390/solver-4249353-1502115390 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502100388-30768 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 98055865 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4249353-1502115390.xml
pid=493
running on 4 cores: 1,3,5,7
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.60 1.47 1.41 6/201 496
/proc/meminfo: memFree=31244376/32770624 swapFree=0/369216
[pid=496] ppid=493 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/496/stat : 496 (runsolver) D 493 496 12906 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53450016 24240128 108 18446744073709551615 4194304 4338465 140733230525936 140733230523576 139960299102935 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 6868992 140733230534763 140733230535241 140733230535241 140733230538698 0
/proc/496/statm: 5918 108 54 36 0 2156 0
[startup+0.100124 s]
/proc/loadavg: 1.60 1.47 1.41 6/201 496
/proc/meminfo: memFree=31244376/32770624 swapFree=0/369216
[pid=496] ppid=493 vsize=12445692 CPUtime=0.01 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 3901 0 0 0 1 0 0 0 20 0 8 0 53450016 12744388608 4062 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3111423 4062 2056 1 0 3100920 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12445692
[startup+0.200238 s]
/proc/loadavg: 1.60 1.47 1.41 6/201 496
/proc/meminfo: memFree=31244376/32770624 swapFree=0/369216
[pid=496] ppid=493 vsize=12914512 CPUtime=0.09 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 7032 0 0 0 8 1 0 0 20 0 15 0 53450016 13224460288 7241 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3228628 7241 3349 1 0 3217407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12914512
[startup+0.303072 s]
/proc/loadavg: 1.60 1.47 1.41 6/201 496
/proc/meminfo: memFree=31244376/32770624 swapFree=0/369216
[pid=496] ppid=493 vsize=12914512 CPUtime=0.26 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 10886 0 0 0 23 3 0 0 20 0 15 0 53450016 13224460288 9627 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3228628 9627 3548 1 0 3217407 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 12914512
[startup+0.705114 s]
/proc/loadavg: 1.60 1.47 1.41 6/201 496
/proc/meminfo: memFree=31244376/32770624 swapFree=0/369216
[pid=496] ppid=493 vsize=12916580 CPUtime=1.2 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 15537 0 0 0 115 5 0 0 20 0 15 0 53450016 13226577920 30013 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3229145 30013 3726 1 0 3217919 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 12916580
[startup+1.50133 s]
/proc/loadavg: 1.60 1.47 1.41 5/199 533
/proc/meminfo: memFree=31208068/32770624 swapFree=0/370784
[pid=496] ppid=493 vsize=12916580 CPUtime=3.66 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 17857 0 0 0 348 18 0 0 20 0 15 0 53450016 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3229145 82749 3778 1 0 3217919 0
[pid=496/tid=498] ppid=493 vsize=12916580 CPUtime=1.28 cores=1,3,5,7
/proc/496/task/498/stat : 498 (java) R 493 496 12906 0 -1 4202560 10674 0 0 0 121 7 0 0 20 0 15 0 53450024 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139684492767136 139684488553629 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=499] ppid=493 vsize=12916580 CPUtime=0.06 cores=1,3,5,7
/proc/496/task/499/stat : 499 (java) S 493 496 12906 0 -1 1077944384 51 0 0 0 4 2 0 0 20 0 15 0 53450024 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139684425014416 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=500] ppid=493 vsize=12916580 CPUtime=0.07 cores=1,3,5,7
/proc/496/task/500/stat : 500 (java) S 493 496 12906 0 -1 1077944384 64 0 0 0 5 2 0 0 20 0 15 0 53450024 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139684423961616 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=501] ppid=493 vsize=12916580 CPUtime=0.06 cores=1,3,5,7
/proc/496/task/501/stat : 501 (java) S 493 496 12906 0 -1 1077944384 47 0 0 0 4 2 0 0 20 0 15 0 53450024 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139684422908816 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=502] ppid=493 vsize=12916580 CPUtime=0.06 cores=1,3,5,7
/proc/496/task/502/stat : 502 (java) S 493 496 12906 0 -1 1077944384 57 0 0 0 4 2 0 0 20 0 15 0 53450024 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139684421856016 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=503] ppid=493 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/496/task/503/stat : 503 (java) S 493 496 12906 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 53450026 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139683971901808 139684488542850 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=504] ppid=493 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/496/task/504/stat : 504 (java) S 493 496 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53450026 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139683970847776 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=505] ppid=493 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/496/task/505/stat : 505 (java) S 493 496 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 53450026 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139683969794928 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=506] ppid=493 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/496/task/506/stat : 506 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139683968743248 139684488550299 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=507] ppid=493 vsize=12916580 CPUtime=0.87 cores=1,3,5,7
/proc/496/task/507/stat : 507 (java) S 493 496 12906 0 -1 1077944384 2194 0 0 0 87 0 0 0 20 0 15 0 53450029 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139683967691632 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=508] ppid=493 vsize=12916580 CPUtime=0.87 cores=1,3,5,7
/proc/496/task/508/stat : 508 (java) R 493 496 12906 0 -1 4202560 2148 0 0 0 87 0 0 0 20 0 15 0 53450029 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139683966637968 139684471942575 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=509] ppid=493 vsize=12916580 CPUtime=0.32 cores=1,3,5,7
/proc/496/task/509/stat : 509 (java) S 493 496 12906 0 -1 1077944384 1167 0 0 0 32 0 0 0 20 0 15 0 53450029 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139683965586032 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=510] ppid=493 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/496/task/510/stat : 510 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139683964533472 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=511] ppid=493 vsize=12916580 CPUtime=0 cores=1,3,5,7
/proc/496/task/511/stat : 511 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450033 13226577920 82749 18446744073709551615 4194304 4196468 140725275022160 139683963480752 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 12916580
[startup+3.10154 s]
/proc/loadavg: 1.95 1.55 1.44 5/217 563
/proc/meminfo: memFree=30669724/32770624 swapFree=0/369536
[pid=496] ppid=493 vsize=12920676 CPUtime=7.67 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 25646 0 0 0 728 39 0 0 20 0 15 0 53450016 13230772224 177421 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3230169 177421 3801 1 0 3218943 0
[pid=496/tid=498] ppid=493 vsize=12920676 CPUtime=2.79 cores=1,3,5,7
/proc/496/task/498/stat : 498 (java) R 493 496 12906 0 -1 1077944384 13685 0 0 0 264 15 0 0 20 0 15 0 53450024 13230772224 177421 18446744073709551615 4194304 4196468 140725275022160 139684492764640 139684488541909 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=499] ppid=493 vsize=12920676 CPUtime=0.13 cores=1,3,5,7
/proc/496/task/499/stat : 499 (java) S 493 496 12906 0 -1 1077944384 324 0 0 0 9 4 0 0 20 0 15 0 53450024 13230772224 177421 18446744073709551615 4194304 4196468 140725275022160 139684425014416 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=500] ppid=493 vsize=12920676 CPUtime=0.13 cores=1,3,5,7
/proc/496/task/500/stat : 500 (java) S 493 496 12906 0 -1 1077944384 101 0 0 0 9 4 0 0 20 0 15 0 53450024 13230772224 177421 18446744073709551615 4194304 4196468 140725275022160 139684423961616 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=501] ppid=493 vsize=12920676 CPUtime=0.12 cores=1,3,5,7
/proc/496/task/501/stat : 501 (java) S 493 496 12906 0 -1 1077944384 114 0 0 0 7 5 0 0 20 0 15 0 53450024 13230772224 177488 18446744073709551615 4194304 4196468 140725275022160 139684422908816 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=502] ppid=493 vsize=12920676 CPUtime=0.13 cores=1,3,5,7
/proc/496/task/502/stat : 502 (java) S 493 496 12906 0 -1 1077944384 119 0 0 0 8 5 0 0 20 0 15 0 53450024 13230772224 177490 18446744073709551615 4194304 4196468 140725275022160 139684421856016 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=503] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/503/stat : 503 (java) S 493 496 12906 0 -1 1077944384 503 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 177490 18446744073709551615 4194304 4196468 140725275022160 139683971901808 139684488542850 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=504] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/504/stat : 504 (java) S 493 496 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 177490 18446744073709551615 4194304 4196468 140725275022160 139683970847840 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=505] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/505/stat : 505 (java) S 493 496 12906 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 177490 18446744073709551615 4194304 4196468 140725275022160 139683969794944 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=506] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/506/stat : 506 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 177490 18446744073709551615 4194304 4196468 140725275022160 139683968743248 139684488550299 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=507] ppid=493 vsize=12920676 CPUtime=1.78 cores=1,3,5,7
/proc/496/task/507/stat : 507 (java) R 493 496 12906 0 -1 4202560 3067 0 0 0 178 0 0 0 20 0 15 0 53450029 13230772224 177555 18446744073709551615 4194304 4196468 140725275022160 139683967691440 139684468383755 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=508] ppid=493 vsize=12920676 CPUtime=1.82 cores=1,3,5,7
/proc/496/task/508/stat : 508 (java) S 493 496 12906 0 -1 1077944384 2658 0 0 0 182 0 0 0 20 0 15 0 53450029 13230772224 177555 18446744073709551615 4194304 4196468 140725275022160 139683966638960 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=509] ppid=493 vsize=12920676 CPUtime=0.67 cores=1,3,5,7
/proc/496/task/509/stat : 509 (java) R 493 496 12906 0 -1 4202560 3774 0 0 0 66 1 0 0 20 0 15 0 53450029 13230772224 177555 18446744073709551615 4194304 4196468 140725275022160 139683965583256 139684481628587 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=510] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/510/stat : 510 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 177555 18446744073709551615 4194304 4196468 140725275022160 139683964533472 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=511] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/511/stat : 511 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450033 13230772224 177555 18446744073709551615 4194304 4196468 140725275022160 139683963480752 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 12920676
[startup+6.3006 s]
/proc/loadavg: 1.95 1.55 1.44 5/217 563
/proc/meminfo: memFree=28693804/32770624 swapFree=0/369532
[pid=496] ppid=493 vsize=12920676 CPUtime=14.05 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 42595 0 0 0 1328 77 0 0 20 0 15 0 53450016 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3230169 369405 3803 1 0 3218943 0
[pid=496/tid=498] ppid=493 vsize=12920676 CPUtime=5.64 cores=1,3,5,7
/proc/496/task/498/stat : 498 (java) R 493 496 12906 0 -1 4202560 14994 0 0 0 541 23 0 0 20 0 15 0 53450024 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139684492769840 139684107553489 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=499] ppid=493 vsize=12920676 CPUtime=0.45 cores=1,3,5,7
/proc/496/task/499/stat : 499 (java) S 493 496 12906 0 -1 1077944384 601 0 0 0 33 12 0 0 20 0 15 0 53450024 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139684425014416 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=500] ppid=493 vsize=12920676 CPUtime=0.4 cores=1,3,5,7
/proc/496/task/500/stat : 500 (java) S 493 496 12906 0 -1 1077944384 1667 0 0 0 29 11 0 0 20 0 15 0 53450024 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139684423961616 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=501] ppid=493 vsize=12920676 CPUtime=0.4 cores=1,3,5,7
/proc/496/task/501/stat : 501 (java) S 493 496 12906 0 -1 1077944384 492 0 0 0 29 11 0 0 20 0 15 0 53450024 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139684422908816 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=502] ppid=493 vsize=12920676 CPUtime=0.47 cores=1,3,5,7
/proc/496/task/502/stat : 502 (java) S 493 496 12906 0 -1 1077944384 594 0 0 0 34 13 0 0 20 0 15 0 53450024 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139684421856016 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=503] ppid=493 vsize=12920676 CPUtime=0.01 cores=1,3,5,7
/proc/496/task/503/stat : 503 (java) S 493 496 12906 0 -1 1077944384 1219 0 0 0 1 0 0 0 20 0 15 0 53450026 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139683971901808 139684488542850 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=504] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/504/stat : 504 (java) S 493 496 12906 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139683970847840 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=505] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/505/stat : 505 (java) S 493 496 12906 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139683969794944 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=506] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/506/stat : 506 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139683968743248 139684488550299 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=507] ppid=493 vsize=12920676 CPUtime=2.84 cores=1,3,5,7
/proc/496/task/507/stat : 507 (java) S 493 496 12906 0 -1 1077944384 7599 0 0 0 283 1 0 0 20 0 15 0 53450029 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139683967691632 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=508] ppid=493 vsize=12920676 CPUtime=2.95 cores=1,3,5,7
/proc/496/task/508/stat : 508 (java) S 493 496 12906 0 -1 1077944384 7359 0 0 0 294 1 0 0 20 0 15 0 53450029 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139683966638832 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=509] ppid=493 vsize=12920676 CPUtime=0.8 cores=1,3,5,7
/proc/496/task/509/stat : 509 (java) S 493 496 12906 0 -1 1077944384 6377 0 0 0 79 1 0 0 20 0 15 0 53450029 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139683965586032 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=510] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/510/stat : 510 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139683964533472 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=511] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/511/stat : 511 (java) S 493 496 12906 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 53450033 13230772224 369405 18446744073709551615 4194304 4196468 140725275022160 139683963480752 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
Current children cumulated CPU time (s) 14.05
Current children cumulated vsize (KiB) 12920676
[startup+12.7007 s]
/proc/loadavg: 2.26 1.63 1.47 5/215 563
/proc/meminfo: memFree=24968888/32770624 swapFree=0/369532
[pid=496] ppid=493 vsize=12920676 CPUtime=22.22 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 46656 0 0 0 2088 134 0 0 20 0 15 0 53450016 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3230169 896306 3803 1 0 3218943 0
[pid=496/tid=498] ppid=493 vsize=12920676 CPUtime=11.75 cores=1,3,5,7
/proc/496/task/498/stat : 498 (java) R 493 496 12906 0 -1 4202560 16912 0 0 0 1124 51 0 0 20 0 15 0 53450024 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 139684492767656 139684101476265 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=499] ppid=493 vsize=12920676 CPUtime=0.73 cores=1,3,5,7
/proc/496/task/499/stat : 499 (java) S 493 496 12906 0 -1 1077944384 898 0 0 0 54 19 0 0 20 0 15 0 53450024 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 139684425014416 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=500] ppid=493 vsize=12920676 CPUtime=0.67 cores=1,3,5,7
/proc/496/task/500/stat : 500 (java) S 493 496 12906 0 -1 1077944384 2822 0 0 0 50 17 0 0 20 0 15 0 53450024 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 139684423961616 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=501] ppid=493 vsize=12920676 CPUtime=0.69 cores=1,3,5,7
/proc/496/task/501/stat : 501 (java) S 493 496 12906 0 -1 1077944384 653 0 0 0 50 19 0 0 20 0 15 0 53450024 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 139684422908816 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=502] ppid=493 vsize=12920676 CPUtime=0.75 cores=1,3,5,7
/proc/496/task/502/stat : 502 (java) S 493 496 12906 0 -1 1077944384 794 0 0 0 55 20 0 0 20 0 15 0 53450024 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 139684421856016 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=503] ppid=493 vsize=12920676 CPUtime=0.01 cores=1,3,5,7
/proc/496/task/503/stat : 503 (java) S 493 496 12906 0 -1 1077944384 1293 0 0 0 1 0 0 0 20 0 15 0 53450026 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 139683971901808 139684488542850 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=504] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/504/stat : 504 (java) S 493 496 12906 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 139683970847840 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=505] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/505/stat : 505 (java) S 493 496 12906 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 139683969794944 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=506] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/506/stat : 506 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 896306 18446744073709551615 4194304 4196468 140725275022160 139683968743248 139684488550299 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
################
# More data... #
################
/proc/496/statm: 3230169 1055500 3837 1 0 3218943 0
[pid=496/tid=498] ppid=493 vsize=12920676 CPUtime=1856.81 cores=1,3,5,7
/proc/496/task/498/stat : 498 (java) R 493 496 12906 0 -1 4202560 131372 0 0 0 185601 80 0 0 20 0 15 0 53450024 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139684492769648 139684100173773 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=499] ppid=493 vsize=12920676 CPUtime=103.56 cores=1,3,5,7
/proc/496/task/499/stat : 499 (java) S 493 496 12906 0 -1 1077944384 182847 0 0 0 10299 57 0 0 20 0 15 0 53450024 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139684425014416 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=500] ppid=493 vsize=12920676 CPUtime=103.55 cores=1,3,5,7
/proc/496/task/500/stat : 500 (java) S 493 496 12906 0 -1 1077944384 169063 0 0 0 10303 52 0 0 20 0 15 0 53450024 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139684423961616 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=501] ppid=493 vsize=12920676 CPUtime=103.62 cores=1,3,5,7
/proc/496/task/501/stat : 501 (java) S 493 496 12906 0 -1 1077944384 156339 0 0 0 10315 47 0 0 20 0 15 0 53450024 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139684422908816 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=502] ppid=493 vsize=12920676 CPUtime=103.66 cores=1,3,5,7
/proc/496/task/502/stat : 502 (java) S 493 496 12906 0 -1 1077944384 166009 0 0 0 10312 54 0 0 20 0 15 0 53450024 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139684421856016 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=503] ppid=493 vsize=12920676 CPUtime=1.23 cores=1,3,5,7
/proc/496/task/503/stat : 503 (java) S 493 496 12906 0 -1 1077944384 56513 0 0 0 115 8 0 0 20 0 15 0 53450026 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139683971901808 139684488542850 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=504] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/504/stat : 504 (java) S 493 496 12906 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139683970847840 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=505] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/505/stat : 505 (java) S 493 496 12906 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139683969794944 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=506] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/506/stat : 506 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139683968743248 139684488550299 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=507] ppid=493 vsize=12920676 CPUtime=4.82 cores=1,3,5,7
/proc/496/task/507/stat : 507 (java) S 493 496 12906 0 -1 1077944384 26185 0 0 0 479 3 0 0 20 0 15 0 53450029 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139683967691632 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=508] ppid=493 vsize=12920676 CPUtime=4.38 cores=1,3,5,7
/proc/496/task/508/stat : 508 (java) S 493 496 12906 0 -1 1077944384 22449 0 0 0 435 3 0 0 20 0 15 0 53450029 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139683966638832 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=509] ppid=493 vsize=12920676 CPUtime=1.21 cores=1,3,5,7
/proc/496/task/509/stat : 509 (java) S 493 496 12906 0 -1 1077944384 20049 0 0 0 117 4 0 0 20 0 15 0 53450029 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139683965586032 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=510] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/510/stat : 510 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139683964533472 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=511] ppid=493 vsize=12920676 CPUtime=1.2 cores=1,3,5,7
/proc/496/task/511/stat : 511 (java) S 493 496 12906 0 -1 1077944384 1473 0 0 0 51 69 0 0 20 0 15 0 53450033 13230772224 1055500 18446744073709551615 4194304 4196468 140725275022160 139683963480752 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
Current children cumulated CPU time (s) 2284.14
Current children cumulated vsize (KiB) 12920676
[startup+2022.3 s]
/proc/loadavg: 1.59 1.86 1.87 6/214 789
/proc/meminfo: memFree=23654264/32770624 swapFree=0/369772
[pid=496] ppid=493 vsize=12920676 CPUtime=2350.84 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 955795 0 0 0 234719 365 0 0 20 0 15 0 53450016 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3230169 1051597 3837 1 0 3218943 0
[pid=496/tid=498] ppid=493 vsize=12920676 CPUtime=1914.6 cores=1,3,5,7
/proc/496/task/498/stat : 498 (java) R 493 496 12906 0 -1 4202560 134605 0 0 0 191379 81 0 0 20 0 15 0 53450024 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139684492769648 139684105061954 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=499] ppid=493 vsize=12920676 CPUtime=105.74 cores=1,3,5,7
/proc/496/task/499/stat : 499 (java) S 493 496 12906 0 -1 1077944384 187018 0 0 0 10517 57 0 0 20 0 15 0 53450024 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139684425014416 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=500] ppid=493 vsize=12920676 CPUtime=105.75 cores=1,3,5,7
/proc/496/task/500/stat : 500 (java) S 493 496 12906 0 -1 1077944384 171891 0 0 0 10522 53 0 0 20 0 15 0 53450024 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139684423961616 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=501] ppid=493 vsize=12920676 CPUtime=105.83 cores=1,3,5,7
/proc/496/task/501/stat : 501 (java) S 493 496 12906 0 -1 1077944384 159067 0 0 0 10535 48 0 0 20 0 15 0 53450024 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139684422908816 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=502] ppid=493 vsize=12920676 CPUtime=105.83 cores=1,3,5,7
/proc/496/task/502/stat : 502 (java) S 493 496 12906 0 -1 1077944384 171166 0 0 0 10529 54 0 0 20 0 15 0 53450024 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139684421856016 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=503] ppid=493 vsize=12920676 CPUtime=1.24 cores=1,3,5,7
/proc/496/task/503/stat : 503 (java) S 493 496 12906 0 -1 1077944384 56792 0 0 0 115 9 0 0 20 0 15 0 53450026 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139683971901808 139684488542850 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=504] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/504/stat : 504 (java) S 493 496 12906 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139683970847840 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=505] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/505/stat : 505 (java) S 493 496 12906 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139683969794944 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=506] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/506/stat : 506 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139683968743248 139684488550299 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=507] ppid=493 vsize=12920676 CPUtime=4.86 cores=1,3,5,7
/proc/496/task/507/stat : 507 (java) S 493 496 12906 0 -1 1077944384 27680 0 0 0 483 3 0 0 20 0 15 0 53450029 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139683967691632 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=508] ppid=493 vsize=12920676 CPUtime=4.44 cores=1,3,5,7
/proc/496/task/508/stat : 508 (java) S 493 496 12906 0 -1 1077944384 24576 0 0 0 441 3 0 0 20 0 15 0 53450029 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139683966638832 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=509] ppid=493 vsize=12920676 CPUtime=1.21 cores=1,3,5,7
/proc/496/task/509/stat : 509 (java) S 493 496 12906 0 -1 1077944384 20052 0 0 0 117 4 0 0 20 0 15 0 53450029 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139683965586032 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=510] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/510/stat : 510 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139683964533472 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=511] ppid=493 vsize=12920676 CPUtime=1.23 cores=1,3,5,7
/proc/496/task/511/stat : 511 (java) S 493 496 12906 0 -1 1077944384 1498 0 0 0 52 71 0 0 20 0 15 0 53450033 13230772224 1051597 18446744073709551615 4194304 4196468 140725275022160 139683963480752 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
Current children cumulated CPU time (s) 2350.84
Current children cumulated vsize (KiB) 12920676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2068 s]
/proc/loadavg: 1.79 1.90 1.88 7/214 949
/proc/meminfo: memFree=23782252/32770624 swapFree=0/369832
[pid=496] ppid=493 vsize=12920676 CPUtime=2400.2 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 971412 0 0 0 239650 370 0 0 20 0 15 0 53450016 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3230169 1051961 3837 1 0 3218943 0
[pid=496/tid=498] ppid=493 vsize=12920676 CPUtime=1959.06 cores=1,3,5,7
/proc/496/task/498/stat : 498 (java) S 493 496 12906 0 -1 1077944384 137617 0 0 0 195824 82 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684492770160 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=499] ppid=493 vsize=12920676 CPUtime=106.96 cores=1,3,5,7
/proc/496/task/499/stat : 499 (java) R 493 496 12906 0 -1 4202560 189426 0 0 0 10638 58 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684425014304 139684473232334 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=500] ppid=493 vsize=12920676 CPUtime=106.97 cores=1,3,5,7
/proc/496/task/500/stat : 500 (java) R 493 496 12906 0 -1 4202560 174046 0 0 0 10643 54 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684423961816 139684473232707 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=501] ppid=493 vsize=12920676 CPUtime=107.04 cores=1,3,5,7
/proc/496/task/501/stat : 501 (java) R 493 496 12906 0 -1 4202560 159919 0 0 0 10656 48 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684422909016 139684473232336 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=502] ppid=493 vsize=12920676 CPUtime=107.05 cores=1,3,5,7
/proc/496/task/502/stat : 502 (java) R 493 496 12906 0 -1 4202560 173110 0 0 0 10650 55 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684421856216 139684473232336 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=503] ppid=493 vsize=12920676 CPUtime=1.25 cores=1,3,5,7
/proc/496/task/503/stat : 503 (java) S 493 496 12906 0 -1 1077944384 61997 0 0 0 116 9 0 0 20 0 15 0 53450026 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683971900352 139684488541909 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=504] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/504/stat : 504 (java) S 493 496 12906 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683970847840 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=505] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/505/stat : 505 (java) S 493 496 12906 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683969794944 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=506] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/506/stat : 506 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683968743248 139684488550299 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=507] ppid=493 vsize=12920676 CPUtime=4.86 cores=1,3,5,7
/proc/496/task/507/stat : 507 (java) S 493 496 12906 0 -1 1077944384 27687 0 0 0 483 3 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683967691632 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=508] ppid=493 vsize=12920676 CPUtime=4.44 cores=1,3,5,7
/proc/496/task/508/stat : 508 (java) S 493 496 12906 0 -1 1077944384 24579 0 0 0 441 3 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683966638832 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=509] ppid=493 vsize=12920676 CPUtime=1.21 cores=1,3,5,7
/proc/496/task/509/stat : 509 (java) S 493 496 12906 0 -1 1077944384 20056 0 0 0 117 4 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683965586032 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=510] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/510/stat : 510 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683964533472 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=511] ppid=493 vsize=12920676 CPUtime=1.27 cores=1,3,5,7
/proc/496/task/511/stat : 511 (java) S 493 496 12906 0 -1 1077944384 1525 0 0 0 54 73 0 0 20 0 15 0 53450033 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683963480752 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
Current children cumulated CPU time (s) 2400.2
Current children cumulated vsize (KiB) 12920676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 496 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2068.4 s]
/proc/loadavg: 1.79 1.90 1.88 7/214 949
/proc/meminfo: memFree=23782252/32770624 swapFree=0/369832
[pid=496] ppid=493 vsize=12920676 CPUtime=2401.75 cores=1,3,5,7
/proc/496/stat : 496 (java) S 493 496 12906 0 -1 1077944320 971443 0 0 0 239805 370 0 0 20 0 15 0 53450016 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 140725275004704 139684488531703 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
/proc/496/statm: 3230169 1051961 3837 1 0 3218943 0
[pid=496/tid=498] ppid=493 vsize=12920676 CPUtime=1959.06 cores=1,3,5,7
/proc/496/task/498/stat : 498 (java) S 493 496 12906 0 -1 1077944384 137617 0 0 0 195824 82 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684492770160 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=499] ppid=493 vsize=12920676 CPUtime=107.35 cores=1,3,5,7
/proc/496/task/499/stat : 499 (java) R 493 496 12906 0 -1 4202560 189428 0 0 0 10677 58 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684425014304 139684473232336 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=500] ppid=493 vsize=12920676 CPUtime=107.36 cores=1,3,5,7
/proc/496/task/500/stat : 500 (java) R 493 496 12906 0 -1 4202560 174046 0 0 0 10682 54 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684423961424 139684481159911 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=501] ppid=493 vsize=12920676 CPUtime=107.42 cores=1,3,5,7
/proc/496/task/501/stat : 501 (java) R 493 496 12906 0 -1 4202560 159922 0 0 0 10694 48 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684422908936 139684481159911 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=502] ppid=493 vsize=12920676 CPUtime=107.44 cores=1,3,5,7
/proc/496/task/502/stat : 502 (java) R 493 496 12906 0 -1 4202560 173130 0 0 0 10689 55 0 0 20 0 15 0 53450024 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139684421855824 139684481159911 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=503] ppid=493 vsize=12920676 CPUtime=1.25 cores=1,3,5,7
/proc/496/task/503/stat : 503 (java) S 493 496 12906 0 -1 1077944384 61997 0 0 0 116 9 0 0 20 0 15 0 53450026 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683971900352 139684488541909 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=504] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/504/stat : 504 (java) S 493 496 12906 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683970847840 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=505] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/505/stat : 505 (java) S 493 496 12906 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 53450026 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683969794944 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=506] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/506/stat : 506 (java) S 493 496 12906 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683968742896 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=507] ppid=493 vsize=12920676 CPUtime=4.86 cores=1,3,5,7
/proc/496/task/507/stat : 507 (java) S 493 496 12906 0 -1 1077944384 27687 0 0 0 483 3 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683967691632 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=508] ppid=493 vsize=12920676 CPUtime=4.44 cores=1,3,5,7
/proc/496/task/508/stat : 508 (java) S 493 496 12906 0 -1 1077944384 24579 0 0 0 441 3 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683966638832 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=509] ppid=493 vsize=12920676 CPUtime=1.21 cores=1,3,5,7
/proc/496/task/509/stat : 509 (java) S 493 496 12906 0 -1 1077944384 20056 0 0 0 117 4 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683965586032 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=510] ppid=493 vsize=12920676 CPUtime=0 cores=1,3,5,7
/proc/496/task/510/stat : 510 (java) S 493 496 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53450029 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683964533472 139684488541909 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
[pid=496/tid=511] ppid=493 vsize=12920676 CPUtime=1.27 cores=1,3,5,7
/proc/496/task/511/stat : 511 (java) S 493 496 12906 0 -1 1077944384 1525 0 0 0 54 73 0 0 20 0 15 0 53450033 13230772224 1051961 18446744073709551615 4194304 4196468 140725275022160 139683963480752 139684488542850 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 17993728 140725275025817 140725275025998 140725275025998 140725275029455 0
Current children cumulated CPU time (s) 2401.75
Current children cumulated vsize (KiB) 12920676
[startup+2068.5 s]
/proc/loadavg: 1.79 1.90 1.88 7/214 949
/proc/meminfo: memFree=23782252/32770624 swapFree=0/369832
[pid=496] ppid=493 vsize=0 CPUtime=2402.06 cores=1,3,5,7
/proc/496/stat : 496 (java) Z 493 496 12906 0 -1 4228108 972293 0 0 0 239835 371 0 0 20 0 2 0 53450016 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/496/statm: 0 0 0 0 0 0 0
[pid=496/tid=499] ppid=493 vsize=0 CPUtime=107.43 cores=1,3,5,7
/proc/496/task/499/stat : 499 (java) R 493 496 12906 0 -1 4203588 189428 0 0 0 10684 59 0 0 20 0 2 0 53450024 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2402.06
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 2068.51
CPU time (s): 2402.08
CPU user time (s): 2398.35
CPU system time (s): 3.72535
CPU usage (%): 116.126
Max. virtual memory (cumulated for all children) (KiB): 12920676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.35
system time used= 3.72535
maximum resident set size= 4238036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 972293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55947
involuntary context switches= 7614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3724 second user time and 12.572 second system time
The end