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-4249204-1500759714/watcher-4249204-1500759714 -o /tmp/evaluation-result-4249204-1500759714/solver-4249204-1500759714 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500750445-27391 --watchdog 2560 bin/concrete HOME/instance-4249204-1500759714.xml
pid=29528
running on 8 cores: 0,2,4,6,8,10,12,14
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.84 1.46 1.40 3/262 29531
/proc/meminfo: memFree=30827748/32770624 swapFree=5896/232124
[pid=29531] ppid=29528 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (bash) S 29528 29531 27360 0 -1 4202496 685 1531 0 0 0 0 0 0 20 0 1 0 11241084 9736192 350 33554432000 4194304 5098028 140726461129248 140726461126888 140410733956096 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 13766656 140726461138190 140726461138275 140726461138275 140726461140974 0
/proc/29531/statm: 2377 350 277 221 0 86 0
[startup+0.100128 s]
/proc/loadavg: 1.84 1.46 1.40 3/262 29531
/proc/meminfo: memFree=30827748/32770624 swapFree=5896/232124
[pid=29531] ppid=29528 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (bash) S 29528 29531 27360 0 -1 4202496 879 6415 0 0 0 0 0 1 20 0 1 0 11241084 9871360 378 33554432000 4194304 5098028 140726461129248 140726461123256 140410733956096 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 13766656 140726461138190 140726461138275 140726461138275 140726461140974 0
/proc/29531/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200333 s]
/proc/loadavg: 1.84 1.46 1.40 3/262 29531
/proc/meminfo: memFree=30827748/32770624 swapFree=5896/232124
[pid=29531] ppid=29528 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (java) S 29528 29531 27360 0 -1 1077944320 4901 12593 0 0 6 1 8 3 20 0 13 0 11241084 10686320640 5268 33554432000 4194304 4196468 140725468938800 140725468921344 140229513600759 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
/proc/29531/statm: 2608965 5268 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300298 s]
/proc/loadavg: 1.84 1.46 1.40 3/262 29531
/proc/meminfo: memFree=30827748/32770624 swapFree=5896/232124
[pid=29531] ppid=29528 vsize=10902292 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (java) S 29528 29531 27360 0 -1 1077944320 8169 12593 0 0 22 2 8 3 20 0 20 0 11241084 11163947008 9251 33554432000 4194304 4196468 140725468938800 140725468921344 140229513600759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
/proc/29531/statm: 2725573 9251 2972 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292
[startup+0.70022 s]
/proc/loadavg: 1.84 1.46 1.40 3/262 29531
/proc/meminfo: memFree=30827748/32770624 swapFree=5896/232124
[pid=29531] ppid=29528 vsize=10902720 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (java) S 29528 29531 27360 0 -1 1077944320 12027 12593 0 0 72 4 8 3 20 0 20 0 11241084 11164385280 14862 33554432000 4194304 4196468 140725468938800 140725468921344 140229513600759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
/proc/29531/statm: 2725680 14862 3137 1 0 2713890 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10902720
[startup+1.50113 s]
/proc/loadavg: 1.84 1.46 1.40 3/282 29604
/proc/meminfo: memFree=30728120/32770624 swapFree=5896/232124
[pid=29531] ppid=29528 vsize=10913344 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (java) S 29528 29531 27360 0 -1 1077944320 26371 12593 0 0 199 16 8 3 20 0 20 0 11241084 11175264256 43970 33554432000 4194304 4196468 140725468938800 140725468921344 140229513600759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
/proc/29531/statm: 2728336 43970 3409 1 0 2716450 0
[pid=29531/tid=29586] ppid=29528 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29586/stat : 29586 (java) R 29528 29531 27360 0 -1 4202560 19385 12593 0 0 124 7 8 3 20 0 20 0 11241096 11175264256 43970 33554432000 4194304 4196468 140725468938800 140229517814592 140229513622685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29587] ppid=29528 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29587/stat : 29587 (java) S 29528 29531 27360 0 -1 1077944384 20 12593 0 0 0 1 8 3 20 0 20 0 11241097 11175264256 43970 33554432000 4194304 4196468 140725468938800 140229120596752 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29588] ppid=29528 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29588/stat : 29588 (java) S 29528 29531 27360 0 -1 1077944384 13 12593 0 0 1 0 8 3 20 0 20 0 11241097 11175264256 43970 33554432000 4194304 4196468 140725468938800 140229119544208 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29589] ppid=29528 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29589/stat : 29589 (java) S 29528 29531 27360 0 -1 1077944384 144 12593 0 0 1 0 8 3 20 0 20 0 11241097 11175264256 43970 33554432000 4194304 4196468 140725468938800 140229118491664 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29590] ppid=29528 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29590/stat : 29590 (java) S 29528 29531 27360 0 -1 1077944384 31 12593 0 0 1 0 8 3 20 0 20 0 11241097 11175264256 43970 33554432000 4194304 4196468 140725468938800 140229117439120 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29591] ppid=29528 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29591/stat : 29591 (java) S 29528 29531 27360 0 -1 1077944384 45 12593 0 0 0 0 8 3 20 0 20 0 11241097 11175264256 43970 33554432000 4194304 4196468 140725468938800 140229116385552 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29592] ppid=29528 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29592/stat : 29592 (java) S 29528 29531 27360 0 -1 1077944384 16 12593 0 0 0 0 8 3 20 0 20 0 11241097 11175264256 43970 33554432000 4194304 4196468 140725468938800 140229115333008 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29593] ppid=29528 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29593/stat : 29593 (java) S 29528 29531 27360 0 -1 1077944384 14 12593 0 0 1 0 8 3 20 0 20 0 11241097 11175264256 43970 33554432000 4194304 4196468 140725468938800 140229114280464 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29594] ppid=29528 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29594/stat : 29594 (java) S 29528 29531 27360 0 -1 1077944384 37 12593 0 0 1 0 8 3 20 0 20 0 11241097 11175264256 43970 33554432000 4194304 4196468 140725468938800 140229113227920 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29595] ppid=29528 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29595/stat : 29595 (java) S 29528 29531 27360 0 -1 1077944384 1432 12593 0 0 1 0 8 3 20 0 20 0 11241100 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228719720944 140229513611906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29596] ppid=29528 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29596/stat : 29596 (java) S 29528 29531 27360 0 -1 1077944384 55 12593 0 0 0 0 8 3 20 0 20 0 11241101 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228718667232 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29597] ppid=29528 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29597/stat : 29597 (java) S 29528 29531 27360 0 -1 1077944384 44 12593 0 0 0 0 8 3 20 0 20 0 11241101 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228717614592 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29598] ppid=29528 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29598/stat : 29598 (java) S 29528 29531 27360 0 -1 1077944384 1 12593 0 0 0 0 8 3 20 0 20 0 11241105 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228716563152 140229513619355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29599] ppid=29528 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29599/stat : 29599 (java) S 29528 29531 27360 0 -1 1077944384 811 12593 0 0 14 0 8 3 20 0 20 0 11241105 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228715509744 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29600] ppid=29528 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29600/stat : 29600 (java) S 29528 29531 27360 0 -1 1077944384 595 12593 0 0 13 0 8 3 20 0 20 0 11241105 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228714457200 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29601] ppid=29528 vsize=10913344 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29601/stat : 29601 (java) S 29528 29531 27360 0 -1 1077944384 428 12593 0 0 10 0 8 3 20 0 20 0 11241105 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228713404656 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29602] ppid=29528 vsize=10913344 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29602/stat : 29602 (java) S 29528 29531 27360 0 -1 1077944384 1166 12593 0 0 24 0 8 3 20 0 20 0 11241105 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228712352112 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29603] ppid=29528 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29603/stat : 29603 (java) S 29528 29531 27360 0 -1 1077944384 3 12593 0 0 0 0 8 3 20 0 20 0 11241105 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228711299808 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29604] ppid=29528 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29604/stat : 29604 (java) S 29528 29531 27360 0 -1 1077944384 3 12593 0 0 0 0 8 3 20 0 20 0 11241105 11175264256 43970 33554432000 4194304 4196468 140725468938800 140228710247344 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10913344
[startup+3.1008 s]
/proc/loadavg: 1.85 1.47 1.41 5/282 29604
/proc/meminfo: memFree=30656440/32770624 swapFree=5896/232124
[pid=29531] ppid=29528 vsize=10925820 CPUtime=5.5 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (java) S 29528 29531 27360 0 -1 1077944320 46754 12593 0 0 518 21 8 3 20 0 20 0 11241084 11188039680 54926 33554432000 4194304 4196468 140725468938800 140725468921344 140229513600759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
/proc/29531/statm: 2731455 54926 3474 1 0 2719010 0
[pid=29531/tid=29586] ppid=29528 vsize=10925820 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29586/stat : 29586 (java) R 29528 29531 27360 0 -1 4202560 34860 12593 0 0 281 10 8 3 20 0 20 0 11241096 11188039680 54926 33554432000 4194304 4196468 140725468938800 140229517818464 140229151082318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29587] ppid=29528 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29587/stat : 29587 (java) S 29528 29531 27360 0 -1 1077944384 20 12593 0 0 0 1 8 3 20 0 20 0 11241097 11188039680 54926 33554432000 4194304 4196468 140725468938800 140229120596752 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29588] ppid=29528 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29588/stat : 29588 (java) S 29528 29531 27360 0 -1 1077944384 13 12593 0 0 1 0 8 3 20 0 20 0 11241097 11188039680 54926 33554432000 4194304 4196468 140725468938800 140229119544208 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29589] ppid=29528 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29589/stat : 29589 (java) S 29528 29531 27360 0 -1 1077944384 144 12593 0 0 1 0 8 3 20 0 20 0 11241097 11188039680 54926 33554432000 4194304 4196468 140725468938800 140229118491664 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29590] ppid=29528 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29590/stat : 29590 (java) S 29528 29531 27360 0 -1 1077944384 31 12593 0 0 1 0 8 3 20 0 20 0 11241097 11188039680 54926 33554432000 4194304 4196468 140725468938800 140229117439120 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29591] ppid=29528 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29591/stat : 29591 (java) S 29528 29531 27360 0 -1 1077944384 45 12593 0 0 0 0 8 3 20 0 20 0 11241097 11188039680 54926 33554432000 4194304 4196468 140725468938800 140229116385552 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29592] ppid=29528 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29592/stat : 29592 (java) S 29528 29531 27360 0 -1 1077944384 16 12593 0 0 0 0 8 3 20 0 20 0 11241097 11188039680 54926 33554432000 4194304 4196468 140725468938800 140229115333008 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29593] ppid=29528 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29593/stat : 29593 (java) S 29528 29531 27360 0 -1 1077944384 14 12593 0 0 1 0 8 3 20 0 20 0 11241097 11188039680 54926 33554432000 4194304 4196468 140725468938800 140229114280464 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29594] ppid=29528 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29594/stat : 29594 (java) S 29528 29531 27360 0 -1 1077944384 37 12593 0 0 1 0 8 3 20 0 20 0 11241097 11188039680 54926 33554432000 4194304 4196468 140725468938800 140229113227920 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29595] ppid=29528 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29595/stat : 29595 (java) S 29528 29531 27360 0 -1 1077944384 1452 12593 0 0 1 0 8 3 20 0 20 0 11241100 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228719720944 140229513611906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29596] ppid=29528 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29596/stat : 29596 (java) S 29528 29531 27360 0 -1 1077944384 55 12593 0 0 0 0 8 3 20 0 20 0 11241101 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228718667232 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29597] ppid=29528 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29597/stat : 29597 (java) S 29528 29531 27360 0 -1 1077944384 44 12593 0 0 0 0 8 3 20 0 20 0 11241101 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228717614592 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29598] ppid=29528 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29598/stat : 29598 (java) S 29528 29531 27360 0 -1 1077944384 1 12593 0 0 0 0 8 3 20 0 20 0 11241105 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228716563152 140229513619355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29599] ppid=29528 vsize=10925820 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29599/stat : 29599 (java) S 29528 29531 27360 0 -1 1077944384 1533 12593 0 0 43 1 8 3 20 0 20 0 11241105 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228715509744 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29600] ppid=29528 vsize=10925820 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29600/stat : 29600 (java) S 29528 29531 27360 0 -1 1077944384 1198 12593 0 0 43 0 8 3 20 0 20 0 11241105 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228714457200 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29601] ppid=29528 vsize=10925820 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29601/stat : 29601 (java) S 29528 29531 27360 0 -1 1077944384 1997 12593 0 0 44 0 8 3 20 0 20 0 11241105 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228713404656 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29602] ppid=29528 vsize=10925820 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29602/stat : 29602 (java) R 29528 29531 27360 0 -1 4202560 3158 12593 0 0 92 1 8 3 20 0 20 0 11241105 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228712347360 140229492444417 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29603] ppid=29528 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29603/stat : 29603 (java) S 29528 29531 27360 0 -1 1077944384 3 12593 0 0 0 0 8 3 20 0 20 0 11241105 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228711299808 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29604] ppid=29528 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29604/stat : 29604 (java) S 29528 29531 27360 0 -1 1077944384 5 12593 0 0 0 0 8 3 20 0 20 0 11241105 11188039680 54926 33554432000 4194304 4196468 140725468938800 140228710247344 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 10925820
[startup+6.30116 s]
/proc/loadavg: 1.85 1.47 1.41 6/282 29604
/proc/meminfo: memFree=30409328/32770624 swapFree=5896/232124
[pid=29531] ppid=29528 vsize=10997500 CPUtime=18.22 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (java) S 29528 29531 27360 0 -1 1077944320 71573 12593 0 0 1751 60 8 3 20 0 20 0 11241084 11261440000 134296 33554432000 4194304 4196468 140725468938800 140725468921344 140229513600759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
/proc/29531/statm: 2749375 134296 3501 1 0 2736930 0
[pid=29531/tid=29586] ppid=29528 vsize=10997500 CPUtime=5.72 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29586/stat : 29586 (java) R 29528 29531 27360 0 -1 4202560 45131 12593 0 0 547 14 8 3 20 0 20 0 11241096 11261440000 134296 33554432000 4194304 4196468 140725468938800 140229517829280 140229152199855 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29587] ppid=29528 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29587/stat : 29587 (java) S 29528 29531 27360 0 -1 1077944384 82 12593 0 0 28 5 8 3 20 0 20 0 11241097 11261440000 134296 33554432000 4194304 4196468 140725468938800 140229120596752 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29588] ppid=29528 vsize=10997500 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29588/stat : 29588 (java) S 29528 29531 27360 0 -1 1077944384 82 12593 0 0 30 4 8 3 20 0 20 0 11241097 11261440000 134296 33554432000 4194304 4196468 140725468938800 140229119544208 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29589] ppid=29528 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29589/stat : 29589 (java) S 29528 29531 27360 0 -1 1077944384 191 12593 0 0 27 3 8 3 20 0 20 0 11241097 11261440000 134296 33554432000 4194304 4196468 140725468938800 140229118491664 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29590] ppid=29528 vsize=10997500 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29590/stat : 29590 (java) S 29528 29531 27360 0 -1 1077944384 122 12593 0 0 27 3 8 3 20 0 20 0 11241097 11261440000 134296 33554432000 4194304 4196468 140725468938800 140229117439120 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29591] ppid=29528 vsize=10997500 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29591/stat : 29591 (java) S 29528 29531 27360 0 -1 1077944384 128 12593 0 0 31 4 8 3 20 0 20 0 11241097 11261440000 134296 33554432000 4194304 4196468 140725468938800 140229116385552 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29592] ppid=29528 vsize=10997500 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29592/stat : 29592 (java) S 29528 29531 27360 0 -1 1077944384 99 12593 0 0 32 4 8 3 20 0 20 0 11241097 11261440000 134296 33554432000 4194304 4196468 140725468938800 140229115333008 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29593] ppid=29528 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29593/stat : 29593 (java) S 29528 29531 27360 0 -1 1077944384 80 12593 0 0 29 4 8 3 20 0 20 0 11241097 11261440000 134296 33554432000 4194304 4196468 140725468938800 140229114280464 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29594] ppid=29528 vsize=10997500 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29594/stat : 29594 (java) S 29528 29531 27360 0 -1 1077944384 74 12593 0 0 30 3 8 3 20 0 20 0 11241097 11261440000 134296 33554432000 4194304 4196468 140725468938800 140229113227920 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29595] ppid=29528 vsize=10997500 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29595/stat : 29595 (java) S 29528 29531 27360 0 -1 1077944384 2138 12593 0 0 12 0 8 3 20 0 20 0 11241100 11261440000 134296 33554432000 4194304 4196468 140725468938800 140228719720944 140229513611906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29596] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29596/stat : 29596 (java) S 29528 29531 27360 0 -1 1077944384 57 12593 0 0 0 0 8 3 20 0 20 0 11241101 11261440000 134296 33554432000 4194304 4196468 140725468938800 140228718667296 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29597] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29597/stat : 29597 (java) S 29528 29531 27360 0 -1 1077944384 47 12593 0 0 0 0 8 3 20 0 20 0 11241101 11261440000 134296 33554432000 4194304 4196468 140725468938800 140228717614592 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29598] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29598/stat : 29598 (java) S 29528 29531 27360 0 -1 1077944384 1 12593 0 0 0 0 8 3 20 0 20 0 11241105 11261440000 134296 33554432000 4194304 4196468 140725468938800 140228716563152 140229513619355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29599] ppid=29528 vsize=10997500 CPUtime=2.5 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29599/stat : 29599 (java) S 29528 29531 27360 0 -1 1077944384 4331 12593 0 0 236 3 8 3 20 0 20 0 11241105 11261440000 134296 33554432000 4194304 4196468 140725468938800 140228715509744 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29600] ppid=29528 vsize=10997500 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29600/stat : 29600 (java) S 29528 29531 27360 0 -1 1077944384 6306 12593 0 0 284 1 8 3 20 0 20 0 11241105 11261440000 134296 33554432000 4194304 4196468 140725468938800 140228714457200 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29601] ppid=29528 vsize=10997500 CPUtime=2.74 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29601/stat : 29601 (java) S 29528 29531 27360 0 -1 1077944384 5272 12593 0 0 262 1 8 3 20 0 20 0 11241105 11261440000 134296 33554432000 4194304 4196468 140725468938800 140228713404656 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29602] ppid=29528 vsize=10997500 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29602/stat : 29602 (java) S 29528 29531 27360 0 -1 1077944384 5293 12593 0 0 167 2 8 3 20 0 20 0 11241105 11261440000 134296 33554432000 4194304 4196468 140725468938800 140228712352112 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29603] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/29531/task/29600/stat : 29600 (java) S 29528 29531 27360 0 -1 1077944384 15107 12593 0 0 456 4 8 3 20 0 20 0 11241105 11261440000 824739 33554432000 4194304 4196468 140725468938800 140228714457200 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29601] ppid=29528 vsize=10997500 CPUtime=4.57 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29601/stat : 29601 (java) S 29528 29531 27360 0 -1 1077944384 13401 12593 0 0 443 3 8 3 20 0 20 0 11241105 11261440000 824739 33554432000 4194304 4196468 140725468938800 140228713404656 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29602] ppid=29528 vsize=10997500 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29602/stat : 29602 (java) S 29528 29531 27360 0 -1 1077944384 20127 12593 0 0 267 5 8 3 20 0 20 0 11241105 11261440000 824739 33554432000 4194304 4196468 140725468938800 140228712352112 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29603] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29603/stat : 29603 (java) S 29528 29531 27360 0 -1 1077944384 3 12593 0 0 0 0 8 3 20 0 20 0 11241105 11261440000 824739 33554432000 4194304 4196468 140725468938800 140228711299808 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29604] ppid=29528 vsize=10997500 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29604/stat : 29604 (java) S 29528 29531 27360 0 -1 1077944384 867 12593 0 0 61 61 8 3 20 0 20 0 11241105 11261440000 824739 33554432000 4194304 4196468 140725468938800 140228710247344 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
Current children cumulated CPU time (s) 2320.07
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 1.61 1.79 2.25 3/281 30154
/proc/meminfo: memFree=24340464/32770624 swapFree=5896/234488
[pid=29531] ppid=29528 vsize=10997500 CPUtime=2380.35 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (java) S 29528 29531 27360 0 -1 1077944320 555255 12593 0 0 237134 890 8 3 20 0 20 0 11241084 11261440000 824935 33554432000 4194304 4196468 140725468938800 140725468921344 140229513600759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
/proc/29531/statm: 2749375 824935 3518 1 0 2736930 0
[pid=29531/tid=29586] ppid=29528 vsize=10997500 CPUtime=2311.31 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29586/stat : 29586 (java) R 29528 29531 27360 0 -1 4202560 408653 12593 0 0 231006 114 8 3 20 0 20 0 11241096 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229517834272 140229166447908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29587] ppid=29528 vsize=10997500 CPUtime=6.3 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29587/stat : 29587 (java) S 29528 29531 27360 0 -1 1077944384 7330 12593 0 0 528 91 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229120596752 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29588] ppid=29528 vsize=10997500 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29588/stat : 29588 (java) S 29528 29531 27360 0 -1 1077944384 8944 12593 0 0 546 90 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229119544208 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29589] ppid=29528 vsize=10997500 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29589/stat : 29589 (java) S 29528 29531 27360 0 -1 1077944384 7443 12593 0 0 530 86 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229118491664 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29590] ppid=29528 vsize=10997500 CPUtime=6.19 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29590/stat : 29590 (java) S 29528 29531 27360 0 -1 1077944384 7589 12593 0 0 520 88 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229117439120 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29591] ppid=29528 vsize=10997500 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29591/stat : 29591 (java) S 29528 29531 27360 0 -1 1077944384 6478 12593 0 0 530 85 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229116385552 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29592] ppid=29528 vsize=10997500 CPUtime=6.32 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29592/stat : 29592 (java) S 29528 29531 27360 0 -1 1077944384 8006 12593 0 0 531 90 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229115333008 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29593] ppid=29528 vsize=10997500 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29593/stat : 29593 (java) S 29528 29531 27360 0 -1 1077944384 7086 12593 0 0 526 88 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229114280464 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29594] ppid=29528 vsize=10997500 CPUtime=6.2 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29594/stat : 29594 (java) S 29528 29531 27360 0 -1 1077944384 7767 12593 0 0 524 85 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229113227920 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29595] ppid=29528 vsize=10997500 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29595/stat : 29595 (java) S 29528 29531 27360 0 -1 1077944384 20674 12593 0 0 184 31 8 3 20 0 20 0 11241100 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228719720944 140229513611906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29596] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29596/stat : 29596 (java) S 29528 29531 27360 0 -1 1077944384 70 12593 0 0 0 0 8 3 20 0 20 0 11241101 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228718667296 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29597] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29597/stat : 29597 (java) S 29528 29531 27360 0 -1 1077944384 47 12593 0 0 0 0 8 3 20 0 20 0 11241101 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228717614592 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29598] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29598/stat : 29598 (java) S 29528 29531 27360 0 -1 1077944384 1 12593 0 0 0 0 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228716563152 140229513619355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29599] ppid=29528 vsize=10997500 CPUtime=4.44 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29599/stat : 29599 (java) S 29528 29531 27360 0 -1 1077944384 13508 12593 0 0 429 4 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228715509744 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29600] ppid=29528 vsize=10997500 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29600/stat : 29600 (java) S 29528 29531 27360 0 -1 1077944384 15109 12593 0 0 456 4 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228714457200 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29601] ppid=29528 vsize=10997500 CPUtime=4.57 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29601/stat : 29601 (java) S 29528 29531 27360 0 -1 1077944384 13403 12593 0 0 443 3 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228713404656 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29602] ppid=29528 vsize=10997500 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29602/stat : 29602 (java) S 29528 29531 27360 0 -1 1077944384 20129 12593 0 0 267 5 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228712352112 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29603] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29603/stat : 29603 (java) S 29528 29531 27360 0 -1 1077944384 3 12593 0 0 0 0 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228711299808 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29604] ppid=29528 vsize=10997500 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29604/stat : 29604 (java) S 29528 29531 27360 0 -1 1077944384 887 12593 0 0 63 63 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228710247344 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
Current children cumulated CPU time (s) 2380.35
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2341.9 s]
/proc/loadavg: 1.72 1.80 2.25 3/281 30154
/proc/meminfo: memFree=24340340/32770624 swapFree=5896/234484
[pid=29531] ppid=29528 vsize=10997500 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (java) S 29528 29531 27360 0 -1 1077944320 562947 12593 0 0 239103 892 8 3 20 0 20 0 11241084 11261440000 824935 33554432000 4194304 4196468 140725468938800 140725468921344 140229513600759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
/proc/29531/statm: 2749375 824935 3518 1 0 2736930 0
[pid=29531/tid=29586] ppid=29528 vsize=10997500 CPUtime=2330.89 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29586/stat : 29586 (java) R 29528 29531 27360 0 -1 4202560 416322 12593 0 0 232963 115 8 3 20 0 20 0 11241096 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229517834672 140229163692018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29587] ppid=29528 vsize=10997500 CPUtime=6.31 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29587/stat : 29587 (java) S 29528 29531 27360 0 -1 1077944384 7331 12593 0 0 529 91 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229120596752 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29588] ppid=29528 vsize=10997500 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29588/stat : 29588 (java) S 29528 29531 27360 0 -1 1077944384 8952 12593 0 0 547 90 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229119544208 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29589] ppid=29528 vsize=10997500 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29589/stat : 29589 (java) S 29528 29531 27360 0 -1 1077944384 7443 12593 0 0 532 86 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229118491664 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29590] ppid=29528 vsize=10997500 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29590/stat : 29590 (java) S 29528 29531 27360 0 -1 1077944384 7590 12593 0 0 522 88 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229117439120 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29591] ppid=29528 vsize=10997500 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29591/stat : 29591 (java) S 29528 29531 27360 0 -1 1077944384 6479 12593 0 0 532 85 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229116385552 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29592] ppid=29528 vsize=10997500 CPUtime=6.33 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29592/stat : 29592 (java) S 29528 29531 27360 0 -1 1077944384 8009 12593 0 0 532 90 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229115333008 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29593] ppid=29528 vsize=10997500 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29593/stat : 29593 (java) S 29528 29531 27360 0 -1 1077944384 7087 12593 0 0 528 88 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229114280464 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29594] ppid=29528 vsize=10997500 CPUtime=6.22 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29594/stat : 29594 (java) S 29528 29531 27360 0 -1 1077944384 7769 12593 0 0 526 85 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229113227920 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29595] ppid=29528 vsize=10997500 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29595/stat : 29595 (java) S 29528 29531 27360 0 -1 1077944384 20678 12593 0 0 184 31 8 3 20 0 20 0 11241100 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228719720944 140229513611906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29596] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29596/stat : 29596 (java) S 29528 29531 27360 0 -1 1077944384 70 12593 0 0 0 0 8 3 20 0 20 0 11241101 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228718667296 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29597] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29597/stat : 29597 (java) S 29528 29531 27360 0 -1 1077944384 47 12593 0 0 0 0 8 3 20 0 20 0 11241101 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228717614592 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29598] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29598/stat : 29598 (java) S 29528 29531 27360 0 -1 1077944384 1 12593 0 0 0 0 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228716563152 140229513619355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29599] ppid=29528 vsize=10997500 CPUtime=4.44 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29599/stat : 29599 (java) S 29528 29531 27360 0 -1 1077944384 13508 12593 0 0 429 4 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228715509744 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29600] ppid=29528 vsize=10997500 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29600/stat : 29600 (java) S 29528 29531 27360 0 -1 1077944384 15109 12593 0 0 456 4 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228714457200 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29601] ppid=29528 vsize=10997500 CPUtime=4.57 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29601/stat : 29601 (java) S 29528 29531 27360 0 -1 1077944384 13403 12593 0 0 443 3 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228713404656 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29602] ppid=29528 vsize=10997500 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29602/stat : 29602 (java) S 29528 29531 27360 0 -1 1077944384 20129 12593 0 0 267 5 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228712352112 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29603] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29603/stat : 29603 (java) S 29528 29531 27360 0 -1 1077944384 3 12593 0 0 0 0 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228711299808 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29604] ppid=29528 vsize=10997500 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29604/stat : 29604 (java) S 29528 29531 27360 0 -1 1077944384 889 12593 0 0 63 64 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228710247344 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10997500
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 29531 sig 9
??? kill -29531 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2341.9 s]
/proc/loadavg: 1.72 1.80 2.25 3/281 30154
/proc/meminfo: memFree=24340340/32770624 swapFree=5896/234484
[pid=29531] ppid=29528 vsize=10997500 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/29531/stat : 29531 (java) S 29528 29531 27360 0 -1 1077944320 562947 12593 0 0 239103 892 8 3 20 0 20 0 11241084 11261440000 824935 33554432000 4194304 4196468 140725468938800 140725468921344 140229513600759 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
/proc/29531/statm: 2749375 824935 3518 1 0 2736930 0
[pid=29531/tid=29586] ppid=29528 vsize=10997500 CPUtime=2330.89 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29586/stat : 29586 (java) R 29528 29531 27360 0 -1 4202560 416322 12593 0 0 232963 115 8 3 20 0 20 0 11241096 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229517834672 140229163692018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29587] ppid=29528 vsize=10997500 CPUtime=6.31 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29587/stat : 29587 (java) S 29528 29531 27360 0 -1 1077944384 7331 12593 0 0 529 91 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229120596752 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29588] ppid=29528 vsize=10997500 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29588/stat : 29588 (java) S 29528 29531 27360 0 -1 1077944384 8952 12593 0 0 547 90 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229119544208 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29589] ppid=29528 vsize=10997500 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29589/stat : 29589 (java) S 29528 29531 27360 0 -1 1077944384 7443 12593 0 0 532 86 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229118491664 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29590] ppid=29528 vsize=10997500 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29590/stat : 29590 (java) S 29528 29531 27360 0 -1 1077944384 7590 12593 0 0 522 88 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229117439120 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29591] ppid=29528 vsize=10997500 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29591/stat : 29591 (java) S 29528 29531 27360 0 -1 1077944384 6479 12593 0 0 532 85 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229116385552 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29592] ppid=29528 vsize=10997500 CPUtime=6.33 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29592/stat : 29592 (java) S 29528 29531 27360 0 -1 1077944384 8009 12593 0 0 532 90 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229115333008 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29593] ppid=29528 vsize=10997500 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29593/stat : 29593 (java) S 29528 29531 27360 0 -1 1077944384 7087 12593 0 0 528 88 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229114280464 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29594] ppid=29528 vsize=10997500 CPUtime=6.22 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29594/stat : 29594 (java) S 29528 29531 27360 0 -1 1077944384 7769 12593 0 0 526 85 8 3 20 0 20 0 11241097 11261440000 824935 33554432000 4194304 4196468 140725468938800 140229113227920 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29595] ppid=29528 vsize=10997500 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29595/stat : 29595 (java) S 29528 29531 27360 0 -1 1077944384 20678 12593 0 0 184 31 8 3 20 0 20 0 11241100 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228719720944 140229513611906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29596] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29596/stat : 29596 (java) S 29528 29531 27360 0 -1 1077944384 70 12593 0 0 0 0 8 3 20 0 20 0 11241101 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228718667296 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29597] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29597/stat : 29597 (java) S 29528 29531 27360 0 -1 1077944384 47 12593 0 0 0 0 8 3 20 0 20 0 11241101 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228717614592 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29598] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29598/stat : 29598 (java) S 29528 29531 27360 0 -1 1077944384 1 12593 0 0 0 0 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228716563152 140229513619355 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29599] ppid=29528 vsize=10997500 CPUtime=4.44 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29599/stat : 29599 (java) S 29528 29531 27360 0 -1 1077944384 13508 12593 0 0 429 4 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228715509744 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29600] ppid=29528 vsize=10997500 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29600/stat : 29600 (java) S 29528 29531 27360 0 -1 1077944384 15109 12593 0 0 456 4 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228714457200 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29601] ppid=29528 vsize=10997500 CPUtime=4.57 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29601/stat : 29601 (java) S 29528 29531 27360 0 -1 1077944384 13403 12593 0 0 443 3 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228713404656 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29602] ppid=29528 vsize=10997500 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29602/stat : 29602 (java) S 29528 29531 27360 0 -1 1077944384 20129 12593 0 0 267 5 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228712352112 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29603] ppid=29528 vsize=10997500 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29603/stat : 29603 (java) S 29528 29531 27360 0 -1 1077944384 3 12593 0 0 0 0 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228711299808 140229513610965 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
[pid=29531/tid=29604] ppid=29528 vsize=10997500 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/29531/task/29604/stat : 29604 (java) S 29528 29531 27360 0 -1 1077944384 889 12593 0 0 63 64 8 3 20 0 20 0 11241105 11261440000 824935 33554432000 4194304 4196468 140725468938800 140228710247344 140229513611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140725468945089 140725468947863 140725468947863 140725468950479 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2341.95
CPU time (s): 2400.13
CPU user time (s): 2391.15
CPU system time (s): 8.98429
CPU usage (%): 102.484
Max. virtual memory (cumulated for all children) (KiB): 10999692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.15
system time used= 8.98429
maximum resident set size= 3300452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125253
involuntary context switches= 139446
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6276 second user time and 20.0138 second system time
The end