runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4144 MiB free)
memory of node 1: 16384 MiB (8951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289817-1532222546/watcher-4289817-1532222546 -o /tmp/evaluation-result-4289817-1532222546/solver-4289817-1532222546 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532209713-28359 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289817-1532222546.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30056, runsolver pid=30053
[startup+0.100146 s]*
/proc/loadavg: 2.01 2.03 2.11 2/221 30071
/proc/meminfo: memFree=13391724/32770624 swapFree=67108860/67108860
[pid=30056] ppid=30053 vsize=10659012 memory=30660 CPUtime=0.13 cores=1,3,5,7
/proc/30056/stat : 30056 (java) S 30053 30056 26255 0 -1 1077944320 6740 0 0 0 12 1 0 0 20 0 15 0 39817735 10914828288 7665 33554432000 4194304 4196468 140726610732752 140726610715296 140520456068855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
/proc/30056/statm: 2664753 7665 2812 1 0 2627263 0
[pid=30056/tid=30058] ppid=30053 vsize=10659012 memory=-8773748148830113661 CPUtime=0.09 cores=1,3,5,7
/proc/30056/task/30058/stat : 30058 (java) R 30053 30056 26255 0 -1 4202560 4576 0 0 0 8 1 0 0 20 0 15 0 39817735 10914828288 7665 33554432000 4194304 4196468 140726610732752 140520460273520 140520456090781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30059] ppid=30053 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30059/stat : 30059 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817736 10914828288 7665 33554432000 4194304 4196468 140726610732752 140520392760464 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30060] ppid=30053 vsize=10659012 memory=140128397866624 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30060/stat : 30060 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817736 10914828288 7665 33554432000 4194304 4196468 140726610732752 140520061791248 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30061] ppid=30053 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30061/stat : 30061 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817736 10914828288 7665 33554432000 4194304 4196468 140726610732752 140520060738448 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30062] ppid=30053 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30062/stat : 30062 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817736 10914828288 7665 33554432000 4194304 4196468 140726610732752 140520059685648 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30063] ppid=30053 vsize=10659012 memory=140128397866624 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30063/stat : 30063 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817737 10914828288 7665 33554432000 4194304 4196468 140726610732752 140519948417392 140520456080002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30064] ppid=30053 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30064/stat : 30064 (java) S 30053 30056 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39817738 10914828288 7665 33554432000 4194304 4196468 140726610732752 140519947363360 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30065] ppid=30053 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30065/stat : 30065 (java) S 30053 30056 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39817738 10914828288 7665 33554432000 4194304 4196468 140726610732752 140519946310512 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30066] ppid=30053 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30066/stat : 30066 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39817740 10914828288 7665 33554432000 4194304 4196468 140726610732752 140519945258832 140520456087451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30067] ppid=30053 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30067/stat : 30067 (java) S 30053 30056 26255 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 39817740 10914828288 7665 33554432000 4194304 4196468 140726610732752 140519944207216 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30068] ppid=30053 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30068/stat : 30068 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39817740 10914828288 7665 33554432000 4194304 4196468 140726610732752 140519943154416 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30069] ppid=30053 vsize=10659012 memory=140128397866624 CPUtime=0.02 cores=1,3,5,7
/proc/30056/task/30069/stat : 30069 (java) S 30053 30056 26255 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 39817740 10914828288 7665 33554432000 4194304 4196468 140726610732752 140519942101616 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30070] ppid=30053 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30070/stat : 30070 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39817740 10914828288 7665 33554432000 4194304 4196468 140726610732752 140519941049056 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30071] ppid=30053 vsize=10659012 memory=140128397866624 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30071/stat : 30071 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817740 10914828288 7665 33554432000 4194304 4196468 140726610732752 140519939996336 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30660 KiB
[startup+0.211829 s]*
/proc/loadavg: 2.01 2.03 2.11 3/221 30071
/proc/meminfo: memFree=13379544/32770624 swapFree=67108860/67108860
[pid=30056] ppid=30053 vsize=10659012 memory=42112 CPUtime=0.33 cores=1,3,5,7
/proc/30056/stat : 30056 (java) S 30053 30056 26255 0 -1 1077944320 8119 0 0 0 31 2 0 0 20 0 15 0 39817735 10914828288 10528 33554432000 4194304 4196468 140726610732752 140726610715296 140520456068855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
/proc/30056/statm: 2664753 10528 3008 1 0 2627263 0
[pid=30056/tid=30058] ppid=30053 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30056/task/30058/stat : 30058 (java) R 30053 30056 26255 0 -1 4202560 5045 0 0 0 19 1 0 0 20 0 15 0 39817735 10914828288 10528 33554432000 4194304 4196468 140726610732752 140520460293712 140520456080790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30059] ppid=30053 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30059/stat : 30059 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817736 10914828288 10528 33554432000 4194304 4196468 140726610732752 140520392760464 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30060] ppid=30053 vsize=10659012 memory=3977437857179809440 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30060/stat : 30060 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817736 10914828288 10528 33554432000 4194304 4196468 140726610732752 140520061791248 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30061] ppid=30053 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30061/stat : 30061 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817736 10914828288 10528 33554432000 4194304 4196468 140726610732752 140520060738448 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30062] ppid=30053 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30062/stat : 30062 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817736 10914828288 10528 33554432000 4194304 4196468 140726610732752 140520059685648 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30063] ppid=30053 vsize=10659012 memory=140128397866624 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30063/stat : 30063 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817737 10914828288 10528 33554432000 4194304 4196468 140726610732752 140519948417392 140520456080002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30064] ppid=30053 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30064/stat : 30064 (java) S 30053 30056 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39817738 10914828288 10528 33554432000 4194304 4196468 140726610732752 140519947363360 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30065] ppid=30053 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30065/stat : 30065 (java) S 30053 30056 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39817738 10914828288 10528 33554432000 4194304 4196468 140726610732752 140519946310512 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30066] ppid=30053 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30066/stat : 30066 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39817740 10914828288 10528 33554432000 4194304 4196468 140726610732752 140519945258832 140520456087451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30067] ppid=30053 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30056/task/30067/stat : 30067 (java) S 30053 30056 26255 0 -1 1077944384 740 0 0 0 2 0 0 0 20 0 15 0 39817740 10914828288 10528 33554432000 4194304 4196468 140726610732752 140519944207216 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30068] ppid=30053 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30056/task/30068/stat : 30068 (java) S 30053 30056 26255 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 15 0 39817740 10914828288 10528 33554432000 4194304 4196468 140726610732752 140519943154416 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30069] ppid=30053 vsize=10659012 memory=140128397866624 CPUtime=0.07 cores=1,3,5,7
/proc/30056/task/30069/stat : 30069 (java) R 30053 30056 26255 0 -1 4202560 633 0 0 0 7 0 0 0 20 0 15 0 39817740 10914828288 10528 33554432000 4194304 4196468 140726610732752 140519942101616 140520440149342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30070] ppid=30053 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30070/stat : 30070 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39817740 10914828288 10528 33554432000 4194304 4196468 140726610732752 140519941049056 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30071] ppid=30053 vsize=10659012 memory=140128397866624 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30071/stat : 30071 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817740 10914828288 10528 33554432000 4194304 4196468 140726610732752 140519939996336 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42112 KiB
[startup+0.312245 s]*
/proc/loadavg: 2.01 2.03 2.11 6/221 30071
/proc/meminfo: memFree=13374520/32770624 swapFree=67108860/67108860
[pid=30056] ppid=30053 vsize=10659088 memory=47608 CPUtime=0.55 cores=1,3,5,7
/proc/30056/stat : 30056 (java) S 30053 30056 26255 0 -1 1077944320 8915 0 0 0 53 2 0 0 20 0 15 0 39817735 10914906112 11902 33554432000 4194304 4196468 140726610732752 140726610715296 140520456068855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
/proc/30056/statm: 2664772 11902 3048 1 0 2627263 0
[pid=30056/tid=30058] ppid=30053 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/30056/task/30058/stat : 30058 (java) R 30053 30056 26255 0 -1 4202560 5640 0 0 0 29 1 0 0 20 0 15 0 39817735 10914906112 11902 33554432000 4194304 4196468 140726610732752 140520460301968 140520440112485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30059] ppid=30053 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30059/stat : 30059 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817736 10914906112 11902 33554432000 4194304 4196468 140726610732752 140520392760464 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30060] ppid=30053 vsize=10659088 memory=3691176706353444512 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30060/stat : 30060 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817736 10914906112 11902 33554432000 4194304 4196468 140726610732752 140520061791248 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30061] ppid=30053 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30061/stat : 30061 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817736 10914906112 11902 33554432000 4194304 4196468 140726610732752 140520060738448 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30062] ppid=30053 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30062/stat : 30062 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817736 10914906112 11902 33554432000 4194304 4196468 140726610732752 140520059685648 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30063] ppid=30053 vsize=10659088 memory=140128397866624 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30063/stat : 30063 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817737 10914906112 11902 33554432000 4194304 4196468 140726610732752 140519948417392 140520456080002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30064] ppid=30053 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30064/stat : 30064 (java) S 30053 30056 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39817738 10914906112 11902 33554432000 4194304 4196468 140726610732752 140519947363360 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30065] ppid=30053 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30065/stat : 30065 (java) S 30053 30056 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39817738 10914906112 11902 33554432000 4194304 4196468 140726610732752 140519946310512 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30066] ppid=30053 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30066/stat : 30066 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39817740 10914906112 11902 33554432000 4194304 4196468 140726610732752 140519945258832 140520456087451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30067] ppid=30053 vsize=10659088 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/30056/task/30067/stat : 30067 (java) S 30053 30056 26255 0 -1 1077944384 866 0 0 0 6 0 0 0 20 0 15 0 39817740 10914906112 11902 33554432000 4194304 4196468 140726610732752 140519944207216 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30068] ppid=30053 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/30056/task/30068/stat : 30068 (java) S 30053 30056 26255 0 -1 1077944384 351 0 0 0 4 0 0 0 20 0 15 0 39817740 10914906112 11902 33554432000 4194304 4196468 140726610732752 140519943154416 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30069] ppid=30053 vsize=10659088 memory=140128397866624 CPUtime=0.12 cores=1,3,5,7
/proc/30056/task/30069/stat : 30069 (java) R 30053 30056 26255 0 -1 4202560 690 0 0 0 12 0 0 0 20 0 15 0 39817740 10914906112 11902 33554432000 4194304 4196468 140726610732752 140519942098552 140520434994583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30070] ppid=30053 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30070/stat : 30070 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39817740 10914906112 11902 33554432000 4194304 4196468 140726610732752 140519941049056 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30071] ppid=30053 vsize=10659088 memory=140128397866624 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30071/stat : 30071 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817740 10914906112 11902 33554432000 4194304 4196468 140726610732752 140519939996336 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47608 KiB
[startup+0.701288 s]
/proc/loadavg: 2.01 2.03 2.11 5/221 30071
/proc/meminfo: memFree=13356436/32770624 swapFree=67108860/67108860
[pid=30056] ppid=30053 vsize=10661136 memory=109024 CPUtime=1.73 cores=1,3,5,7
/proc/30056/stat : 30056 (java) S 30053 30056 26255 0 -1 1077944320 12191 0 0 0 169 4 0 0 20 0 15 0 39817735 10917003264 27256 33554432000 4194304 4196468 140726610732752 140726610715296 140520456068855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
/proc/30056/statm: 2665284 27256 3107 1 0 2627775 0
[pid=30056/tid=30058] ppid=30053 vsize=10661136 memory=1844 CPUtime=0.68 cores=1,3,5,7
/proc/30056/task/30058/stat : 30058 (java) R 30053 30056 26255 0 -1 4202560 6114 0 0 0 65 3 0 0 20 0 15 0 39817735 10917003264 27256 33554432000 4194304 4196468 140726610732752 140520460302640 140520440149342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30059] ppid=30053 vsize=10661136 memory=796 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30059/stat : 30059 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817736 10917003264 27256 33554432000 4194304 4196468 140726610732752 140520392760464 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30060] ppid=30053 vsize=10661136 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30060/stat : 30060 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817736 10917003264 27256 33554432000 4194304 4196468 140726610732752 140520061791248 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30061] ppid=30053 vsize=10661136 memory=12984 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30061/stat : 30061 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817736 10917003264 27256 33554432000 4194304 4196468 140726610732752 140520060738448 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30062] ppid=30053 vsize=10661136 memory=5664 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30062/stat : 30062 (java) S 30053 30056 26255 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39817736 10917003264 27256 33554432000 4194304 4196468 140726610732752 140520059685648 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30063] ppid=30053 vsize=10661136 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30063/stat : 30063 (java) S 30053 30056 26255 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39817737 10917003264 27256 33554432000 4194304 4196468 140726610732752 140519948417392 140520456080002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30064] ppid=30053 vsize=10661136 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30064/stat : 30064 (java) S 30053 30056 26255 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39817738 10917003264 27256 33554432000 4194304 4196468 140726610732752 140519947363360 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30065] ppid=30053 vsize=10661136 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30065/stat : 30065 (java) S 30053 30056 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39817738 10917003264 27256 33554432000 4194304 4196468 140726610732752 140519946310512 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30066] ppid=30053 vsize=10661136 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30066/stat : 30066 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39817740 10917003264 27256 33554432000 4194304 4196468 140726610732752 140519945258832 140520456087451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30067] ppid=30053 vsize=10661136 memory=6296683612537770333 CPUtime=0.34 cores=1,3,5,7
/proc/30056/task/30067/stat : 30067 (java) R 30053 30056 26255 0 -1 4202560 1676 0 0 0 34 0 0 0 20 0 15 0 39817740 10917003264 27256 33554432000 4194304 4196468 140726610732752 140519944198192 140520433955424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30068] ppid=30053 vsize=10661136 memory=7595725831727968097 CPUtime=0.3 cores=1,3,5,7
/proc/30056/task/30068/stat : 30068 (java) R 30053 30056 26255 0 -1 4202560 1058 0 0 0 30 0 0 0 20 0 15 0 39817740 10917003264 27256 33554432000 4194304 4196468 140726610732752 140519943140960 140520436704673 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30069] ppid=30053 vsize=10661136 memory=7810487918915055718 CPUtime=0.39 cores=1,3,5,7
/proc/30056/task/30069/stat : 30069 (java) R 30053 30056 26255 0 -1 4202560 1972 0 0 0 39 0 0 0 20 0 15 0 39817740 10917003264 27256 33554432000 4194304 4196468 140726610732752 140519942101616 140520449053897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30070] ppid=30053 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30070/stat : 30070 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39817740 10917003264 27256 33554432000 4194304 4196468 140726610732752 140519941049056 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30071] ppid=30053 vsize=10661136 memory=280256548516800 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30071/stat : 30071 (java) S 30053 30056 26255 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39817740 10917003264 27256 33554432000 4194304 4196468 140726610732752 140519939996336 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 109024 KiB
[startup+1.50129 s]
/proc/loadavg: 2.01 2.03 2.11 5/221 30071
/proc/meminfo: memFree=13209004/32770624 swapFree=67108860/67108860
[pid=30056] ppid=30053 vsize=10661136 memory=262808 CPUtime=4.24 cores=1,3,5,7
/proc/30056/stat : 30056 (java) S 30053 30056 26255 0 -1 1077944320 22255 0 0 0 415 9 0 0 20 0 15 0 39817735 10917003264 65702 33554432000 4194304 4196468 140726610732752 140726610715296 140520456068855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
/proc/30056/statm: 2665284 65702 3136 1 0 2627775 0
[pid=30056/tid=30058] ppid=30053 vsize=10661136 memory=2 CPUtime=1.4 cores=1,3,5,7
/proc/30056/task/30058/stat : 30058 (java) R 30053 30056 26255 0 -1 4202560 6239 0 0 0 136 4 0 0 20 0 15 0 39817735 10917003264 65702 33554432000 4194304 4196468 140726610732752 140520460304488 140520436911752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30059] ppid=30053 vsize=10661136 memory=1 CPUtime=0.03 cores=1,3,5,7
/proc/30056/task/30059/stat : 30059 (java) S 30053 30056 26255 0 -1 1077944384 154 0 0 0 3 0 0 0 20 0 15 0 39817736 10917003264 65702 33554432000 4194304 4196468 140726610732752 140520392760464 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30060] ppid=30053 vsize=10661136 memory=3 CPUtime=0.03 cores=1,3,5,7
/proc/30056/task/30060/stat : 30060 (java) S 30053 30056 26255 0 -1 1077944384 92 0 0 0 3 0 0 0 20 0 15 0 39817736 10917003264 65702 33554432000 4194304 4196468 140726610732752 140520061791248 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30061] ppid=30053 vsize=10661136 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30056/task/30061/stat : 30061 (java) S 30053 30056 26255 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 15 0 39817736 10917003264 65702 33554432000 4194304 4196468 140726610732752 140520060738448 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30062] ppid=30053 vsize=10661136 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30056/task/30062/stat : 30062 (java) S 30053 30056 26255 0 -1 1077944384 44 0 0 0 3 0 0 0 20 0 15 0 39817736 10917003264 65702 33554432000 4194304 4196468 140726610732752 140520059685648 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30063] ppid=30053 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30063/stat : 30063 (java) S 30053 30056 26255 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 39817737 10917003264 65702 33554432000 4194304 4196468 140726610732752 140519948417392 140520456080002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
################
# More data... #
################
/proc/30056/task/30060/stat : 30060 (java) S 30053 30056 26255 0 -1 1077944384 3166 0 0 0 68 35 0 0 20 0 16 0 39817736 10985164800 551551 33554432000 4194304 4196468 140726610732752 140520061791248 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30061] ppid=30053 vsize=10727700 memory=2206204 CPUtime=1.02 cores=1,3,5,7
/proc/30056/task/30061/stat : 30061 (java) S 30053 30056 26255 0 -1 1077944384 1901 0 0 0 67 35 0 0 20 0 16 0 39817736 10985164800 551551 33554432000 4194304 4196468 140726610732752 140520060738448 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30062] ppid=30053 vsize=10727700 memory=2206204 CPUtime=1.04 cores=1,3,5,7
/proc/30056/task/30062/stat : 30062 (java) S 30053 30056 26255 0 -1 1077944384 3145 0 0 0 68 36 0 0 20 0 16 0 39817736 10985164800 551551 33554432000 4194304 4196468 140726610732752 140520059685648 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30063] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0.15 cores=1,3,5,7
/proc/30056/task/30063/stat : 30063 (java) S 30053 30056 26255 0 -1 1077944384 9338 0 0 0 11 4 0 0 20 0 16 0 39817737 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519948417392 140520456080002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30064] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30064/stat : 30064 (java) S 30053 30056 26255 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 39817738 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519947363424 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30065] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30065/stat : 30065 (java) S 30053 30056 26255 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 39817738 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519946310528 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30066] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30066/stat : 30066 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519945258832 140520456087451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30067] ppid=30053 vsize=10727700 memory=2206204 CPUtime=2.46 cores=1,3,5,7
/proc/30056/task/30067/stat : 30067 (java) S 30053 30056 26255 0 -1 1077944384 14804 0 0 0 244 2 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519944207216 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30068] ppid=30053 vsize=10727700 memory=2206204 CPUtime=2.76 cores=1,3,5,7
/proc/30056/task/30068/stat : 30068 (java) S 30053 30056 26255 0 -1 1077944384 8864 0 0 0 274 2 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519943154416 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30069] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0.61 cores=1,3,5,7
/proc/30056/task/30069/stat : 30069 (java) S 30053 30056 26255 0 -1 1077944384 5417 0 0 0 59 2 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519942101616 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30070] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30070/stat : 30070 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519941049056 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30071] ppid=30053 vsize=10727700 memory=2206204 CPUtime=1.41 cores=1,3,5,7
/proc/30056/task/30071/stat : 30071 (java) S 30053 30056 26255 0 -1 1077944384 2314 0 0 0 67 74 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519939996336 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30072] ppid=30053 vsize=10727700 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30072/stat : 30072 (java) S 30053 30056 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39817906 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519936844720 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
Current children cumulated CPU time: 2392.85 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2206204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2389.5 s]
/proc/loadavg: 2.00 2.02 2.05 3/222 30292
/proc/meminfo: memFree=12534180/32770624 swapFree=67108860/67108860
[pid=30056] ppid=30053 vsize=10727700 memory=2206204 CPUtime=2400.07 cores=1,3,5,7
/proc/30056/stat : 30056 (java) S 30053 30056 26255 0 -1 1077944320 97645 0 0 0 239771 236 0 0 20 0 16 0 39817735 10985164800 551551 33554432000 4194304 4196468 140726610732752 140726610715296 140520456068855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
/proc/30056/statm: 2681925 551551 3189 1 0 2644416 0
[pid=30056/tid=30058] ppid=30053 vsize=10727700 memory=2206204 CPUtime=2388.43 cores=1,3,5,7
/proc/30056/task/30058/stat : 30058 (java) R 30053 30056 26255 0 -1 4202560 45621 0 0 0 238823 20 0 0 20 0 16 0 39817735 10985164800 551551 33554432000 4194304 4196468 140726610732752 140520460307808 140520078433176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30059] ppid=30053 vsize=10727700 memory=2206204 CPUtime=1.04 cores=1,3,5,7
/proc/30056/task/30059/stat : 30059 (java) S 30053 30056 26255 0 -1 1077944384 1661 0 0 0 69 35 0 0 20 0 16 0 39817736 10985164800 551551 33554432000 4194304 4196468 140726610732752 140520392760464 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30060] ppid=30053 vsize=10727700 memory=2206204 CPUtime=1.03 cores=1,3,5,7
/proc/30056/task/30060/stat : 30060 (java) S 30053 30056 26255 0 -1 1077944384 3166 0 0 0 68 35 0 0 20 0 16 0 39817736 10985164800 551551 33554432000 4194304 4196468 140726610732752 140520061791248 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30061] ppid=30053 vsize=10727700 memory=2206204 CPUtime=1.02 cores=1,3,5,7
/proc/30056/task/30061/stat : 30061 (java) S 30053 30056 26255 0 -1 1077944384 1901 0 0 0 67 35 0 0 20 0 16 0 39817736 10985164800 551551 33554432000 4194304 4196468 140726610732752 140520060738448 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30062] ppid=30053 vsize=10727700 memory=2206204 CPUtime=1.04 cores=1,3,5,7
/proc/30056/task/30062/stat : 30062 (java) S 30053 30056 26255 0 -1 1077944384 3145 0 0 0 68 36 0 0 20 0 16 0 39817736 10985164800 551551 33554432000 4194304 4196468 140726610732752 140520059685648 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30063] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0.15 cores=1,3,5,7
/proc/30056/task/30063/stat : 30063 (java) S 30053 30056 26255 0 -1 1077944384 9338 0 0 0 11 4 0 0 20 0 16 0 39817737 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519948417392 140520456080002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30064] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30064/stat : 30064 (java) S 30053 30056 26255 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 39817738 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519947363424 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30065] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30065/stat : 30065 (java) S 30053 30056 26255 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 39817738 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519946310528 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30066] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30066/stat : 30066 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519945258832 140520456087451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30067] ppid=30053 vsize=10727700 memory=2206204 CPUtime=2.46 cores=1,3,5,7
/proc/30056/task/30067/stat : 30067 (java) S 30053 30056 26255 0 -1 1077944384 14804 0 0 0 244 2 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519944207216 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30068] ppid=30053 vsize=10727700 memory=2206204 CPUtime=2.76 cores=1,3,5,7
/proc/30056/task/30068/stat : 30068 (java) S 30053 30056 26255 0 -1 1077944384 8864 0 0 0 274 2 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519943154416 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30069] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0.61 cores=1,3,5,7
/proc/30056/task/30069/stat : 30069 (java) S 30053 30056 26255 0 -1 1077944384 5417 0 0 0 59 2 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519942101616 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30070] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30070/stat : 30070 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519941049056 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30071] ppid=30053 vsize=10727700 memory=2206204 CPUtime=1.43 cores=1,3,5,7
/proc/30056/task/30071/stat : 30071 (java) S 30053 30056 26255 0 -1 1077944384 2314 0 0 0 68 75 0 0 20 0 16 0 39817740 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519939996336 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30072] ppid=30053 vsize=10727700 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30072/stat : 30072 (java) S 30053 30056 26255 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39817906 10985164800 551551 33554432000 4194304 4196468 140726610732752 140519936844720 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2206204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.73 s]
# the end of solver process 30056 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.8 s, system=2.37352 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2389.61 s]
/proc/loadavg: 2.00 2.02 2.05 3/222 30292
/proc/meminfo: memFree=12534180/32770624 swapFree=67108860/67108860
[pid=30056] ppid=30053 vsize=10927392 memory=2206532 CPUtime=2400.15 cores=1,3,5,7
/proc/30056/stat : 30056 (java) S 30053 30056 26255 0 -1 1077944320 98843 0 0 0 239779 236 0 0 20 0 17 0 39817735 11189649408 551633 33554432000 4194304 4196468 140726610732752 140726610715296 140520456068855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
/proc/30056/statm: 2731848 551633 3192 1 0 2694339 0
[pid=30056/tid=30058] ppid=30053 vsize=10927392 memory=2324 CPUtime=2388.49 cores=1,3,5,7
/proc/30056/task/30058/stat : 30058 (java) S 30053 30056 26255 0 -1 1077944384 45910 0 0 0 238829 20 0 0 20 0 17 0 39817735 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520460311728 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30059] ppid=30053 vsize=10927392 memory=1844 CPUtime=1.04 cores=1,3,5,7
/proc/30056/task/30059/stat : 30059 (java) S 30053 30056 26255 0 -1 1077944384 1661 0 0 0 69 35 0 0 20 0 17 0 39817736 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520392760464 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30060] ppid=30053 vsize=10927392 memory=796 CPUtime=1.03 cores=1,3,5,7
/proc/30056/task/30060/stat : 30060 (java) S 30053 30056 26255 0 -1 1077944384 3166 0 0 0 68 35 0 0 20 0 17 0 39817736 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520061791248 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30061] ppid=30053 vsize=10927392 memory=1700 CPUtime=1.02 cores=1,3,5,7
/proc/30056/task/30061/stat : 30061 (java) S 30053 30056 26255 0 -1 1077944384 1901 0 0 0 67 35 0 0 20 0 17 0 39817736 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520060738448 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30062] ppid=30053 vsize=10927392 memory=12984 CPUtime=1.04 cores=1,3,5,7
/proc/30056/task/30062/stat : 30062 (java) S 30053 30056 26255 0 -1 1077944384 3145 0 0 0 68 36 0 0 20 0 17 0 39817736 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520059685648 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30063] ppid=30053 vsize=10927392 memory=2206204 CPUtime=0.15 cores=1,3,5,7
/proc/30056/task/30063/stat : 30063 (java) S 30053 30056 26255 0 -1 1077944384 9338 0 0 0 11 4 0 0 20 0 17 0 39817737 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519948417392 140520456080002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30064] ppid=30053 vsize=10927392 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30064/stat : 30064 (java) S 30053 30056 26255 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39817738 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519947363424 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30065] ppid=30053 vsize=10927392 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30065/stat : 30065 (java) S 30053 30056 26255 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 39817738 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519946310528 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30066] ppid=30053 vsize=10927392 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30066/stat : 30066 (java) S 30053 30056 26255 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519945258832 140520456087451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30067] ppid=30053 vsize=10927392 memory=2196 CPUtime=2.48 cores=1,3,5,7
/proc/30056/task/30067/stat : 30067 (java) S 30053 30056 26255 0 -1 1077944384 14827 0 0 0 246 2 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519944207216 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30068] ppid=30053 vsize=10927392 memory=14176 CPUtime=2.77 cores=1,3,5,7
/proc/30056/task/30068/stat : 30068 (java) S 30053 30056 26255 0 -1 1077944384 8922 0 0 0 275 2 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519943154416 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30069] ppid=30053 vsize=10927392 memory=1296 CPUtime=0.61 cores=1,3,5,7
/proc/30056/task/30069/stat : 30069 (java) S 30053 30056 26255 0 -1 1077944384 5569 0 0 0 59 2 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519942101616 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30070] ppid=30053 vsize=10927392 memory=5664 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30070/stat : 30070 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519941049056 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30071] ppid=30053 vsize=10927392 memory=4620 CPUtime=1.43 cores=1,3,5,7
/proc/30056/task/30071/stat : 30071 (java) S 30053 30056 26255 0 -1 1077944384 2314 0 0 0 68 75 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519939996336 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
Current children cumulated CPU time: 2400.15 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2206532 KiB
[startup+2389.7 s]
/proc/loadavg: 2.00 2.02 2.05 3/222 30292
/proc/meminfo: memFree=12534180/32770624 swapFree=67108860/67108860
[pid=30056] ppid=30053 vsize=10927392 memory=2206532 CPUtime=2400.15 cores=1,3,5,7
/proc/30056/stat : 30056 (java) S 30053 30056 26255 0 -1 1077944320 98843 0 0 0 239779 236 0 0 20 0 17 0 39817735 11189649408 551633 33554432000 4194304 4196468 140726610732752 140726610715296 140520456068855 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
/proc/30056/statm: 2731848 551633 3192 1 0 2694339 0
[pid=30056/tid=30058] ppid=30053 vsize=10927392 memory=2206204 CPUtime=2388.49 cores=1,3,5,7
/proc/30056/task/30058/stat : 30058 (java) S 30053 30056 26255 0 -1 1077944384 45910 0 0 0 238829 20 0 0 20 0 17 0 39817735 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520460311728 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30059] ppid=30053 vsize=10927392 memory=2206204 CPUtime=1.04 cores=1,3,5,7
/proc/30056/task/30059/stat : 30059 (java) S 30053 30056 26255 0 -1 1077944384 1661 0 0 0 69 35 0 0 20 0 17 0 39817736 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520392760464 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30060] ppid=30053 vsize=10927392 memory=2206204 CPUtime=1.03 cores=1,3,5,7
/proc/30056/task/30060/stat : 30060 (java) S 30053 30056 26255 0 -1 1077944384 3166 0 0 0 68 35 0 0 20 0 17 0 39817736 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520061791248 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30061] ppid=30053 vsize=10927392 memory=2206204 CPUtime=1.02 cores=1,3,5,7
/proc/30056/task/30061/stat : 30061 (java) S 30053 30056 26255 0 -1 1077944384 1901 0 0 0 67 35 0 0 20 0 17 0 39817736 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520060738448 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30062] ppid=30053 vsize=10927392 memory=2206204 CPUtime=1.04 cores=1,3,5,7
/proc/30056/task/30062/stat : 30062 (java) S 30053 30056 26255 0 -1 1077944384 3145 0 0 0 68 36 0 0 20 0 17 0 39817736 11189649408 551633 33554432000 4194304 4196468 140726610732752 140520059685648 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30063] ppid=30053 vsize=10927392 memory=2206204 CPUtime=0.15 cores=1,3,5,7
/proc/30056/task/30063/stat : 30063 (java) S 30053 30056 26255 0 -1 1077944384 9338 0 0 0 11 4 0 0 20 0 17 0 39817737 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519948417392 140520456080002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30064] ppid=30053 vsize=10927392 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30064/stat : 30064 (java) S 30053 30056 26255 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39817738 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519947363424 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30065] ppid=30053 vsize=10927392 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30065/stat : 30065 (java) S 30053 30056 26255 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 39817738 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519946310528 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30066] ppid=30053 vsize=10927392 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30066/stat : 30066 (java) S 30053 30056 26255 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519945258832 140520456087451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30067] ppid=30053 vsize=10927392 memory=2206204 CPUtime=2.48 cores=1,3,5,7
/proc/30056/task/30067/stat : 30067 (java) S 30053 30056 26255 0 -1 1077944384 14827 0 0 0 246 2 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519944207216 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30068] ppid=30053 vsize=10927392 memory=2206204 CPUtime=2.77 cores=1,3,5,7
/proc/30056/task/30068/stat : 30068 (java) S 30053 30056 26255 0 -1 1077944384 8922 0 0 0 275 2 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519943154416 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30069] ppid=30053 vsize=10927392 memory=2206204 CPUtime=0.61 cores=1,3,5,7
/proc/30056/task/30069/stat : 30069 (java) S 30053 30056 26255 0 -1 1077944384 5569 0 0 0 59 2 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519942101616 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30070] ppid=30053 vsize=10927392 memory=2206204 CPUtime=0 cores=1,3,5,7
/proc/30056/task/30070/stat : 30070 (java) S 30053 30056 26255 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519941049056 140520456079061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
[pid=30056/tid=30071] ppid=30053 vsize=10927392 memory=2206204 CPUtime=1.43 cores=1,3,5,7
/proc/30056/task/30071/stat : 30071 (java) S 30053 30056 26255 0 -1 1077944384 2314 0 0 0 68 75 0 0 20 0 17 0 39817740 11189649408 551633 33554432000 4194304 4196468 140726610732752 140519939996336 140520456080002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22200320 140726610740337 140726610740489 140726610740489 140726610743247 0
Current children cumulated CPU time: 2400.15 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2206532 KiB
Child status: 143
Real time (s): 2389.73
CPU time (s): 2400.17
CPU user time (s): 2397.8
CPU system time (s): 2.37352
CPU usage (%): 100.437
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 2206532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.8
system time used= 2.37352
maximum resident set size= 2206956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99744
page faults= 0
swaps= 0
block input operations= 1792
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54625
involuntary context switches= 1320
# summary of solver processes directly reported to runsolver:
# pid: 30056
# total CPU time (s): 2400.17
# total CPU user time (s): 2397.8
# total CPU system time (s): 2.37352
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9763 second user time and 24.1386 second system time
The end