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 (8921 MiB free)
memory of node 1: 16384 MiB (11814 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298295-1532753271/watcher-4298295-1532753271 -o /tmp/evaluation-result-4298295-1532753271/solver-4298295-1532753271 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532740752-11666 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298295-1532753271.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=13460, runsolver pid=13457
[startup+0.100059 s]*
/proc/loadavg: 2.45 1.91 1.90 4/219 13475
/proc/meminfo: memFree=21215804/32770624 swapFree=67108860/67108860
[pid=13460] ppid=13457 vsize=10661056 memory=27688 CPUtime=0.12 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 11635 0 -1 1077944320 5277 0 0 0 12 0 0 0 20 0 15 0 92890270 10916921344 6922 33554432000 4194304 4196468 140731770723472 140731770706016 139815126535927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
/proc/13460/statm: 2665264 6922 2842 1 0 2627263 0
[pid=13460/tid=13462] ppid=13457 vsize=10661056 memory=-7254947776133162106 CPUtime=0.09 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 11635 0 -1 4202560 3144 0 0 0 9 0 0 0 20 0 15 0 92890270 10916921344 6922 33554432000 4194304 4196468 140731770723472 139815130757088 139815126557274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13463] ppid=13457 vsize=10661056 memory=5793855123766561209 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 6922 33554432000 4194304 4196468 140731770723472 139815079156368 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13464] ppid=13457 vsize=10661056 memory=139872756668032 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 6922 33554432000 4194304 4196468 140731770723472 139815078103568 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13465] ppid=13457 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814731700624 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13466] ppid=13457 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814730647824 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13467] ppid=13457 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890272 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814686374768 139815126547074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13468] ppid=13457 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92890273 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814685320736 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13469] ppid=13457 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92890273 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814684267888 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13470] ppid=13457 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814683216208 139815126554523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13471] ppid=13457 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) R 13457 13460 11635 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814682163664 139815126546133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13472] ppid=13457 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) R 13457 13460 11635 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814681102272 139815111953872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13473] ppid=13457 vsize=10661056 memory=139872756668032 CPUtime=0.02 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) R 13457 13460 11635 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 92890275 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814680057968 139815110616414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13474] ppid=13457 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814679005408 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13475] ppid=13457 vsize=10661056 memory=139872756668032 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 6922 33554432000 4194304 4196468 140731770723472 139814677953712 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27688 KiB
[startup+0.210792 s]*
/proc/loadavg: 2.45 1.91 1.90 4/219 13475
/proc/meminfo: memFree=21195456/32770624 swapFree=67108860/67108860
[pid=13460] ppid=13457 vsize=10661056 memory=40720 CPUtime=0.34 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 11635 0 -1 1077944320 8228 0 0 0 33 1 0 0 20 0 15 0 92890270 10916921344 10180 33554432000 4194304 4196468 140731770723472 140731770706016 139815126535927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
/proc/13460/statm: 2665264 10180 3001 1 0 2627263 0
[pid=13460/tid=13462] ppid=13457 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 11635 0 -1 4202560 5123 0 0 0 20 0 0 0 20 0 15 0 92890270 10916921344 10180 33554432000 4194304 4196468 140731770723472 139815130774032 139815126557853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13463] ppid=13457 vsize=10661056 memory=4211973598961458570 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 10180 33554432000 4194304 4196468 140731770723472 139815079156368 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13464] ppid=13457 vsize=10661056 memory=139872756668032 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 10180 33554432000 4194304 4196468 140731770723472 139815078103568 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13465] ppid=13457 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814731700624 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13466] ppid=13457 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814730647824 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13467] ppid=13457 vsize=10661056 memory=139872756668032 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890272 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814686374768 139815126547074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13468] ppid=13457 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92890273 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814685320736 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13469] ppid=13457 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92890273 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814684267888 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13470] ppid=13457 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814683216208 139815126554523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13471] ppid=13457 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) R 13457 13460 11635 0 -1 4202560 594 0 0 0 2 0 0 0 20 0 15 0 92890275 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814682163664 139815110032715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13472] ppid=13457 vsize=10661056 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) R 13457 13460 11635 0 -1 1077944384 230 0 0 0 3 0 0 0 20 0 15 0 92890275 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814681110768 139815126547074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13473] ppid=13457 vsize=10661056 memory=139872756668032 CPUtime=0.08 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) R 13457 13460 11635 0 -1 4202560 927 0 0 0 8 0 0 0 20 0 15 0 92890275 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814680052504 139815118773054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13474] ppid=13457 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814679005408 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13475] ppid=13457 vsize=10661056 memory=139872756668032 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 10180 33554432000 4194304 4196468 140731770723472 139814677953712 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40720 KiB
[startup+0.310725 s]*
/proc/loadavg: 2.45 1.91 1.90 5/219 13475
/proc/meminfo: memFree=21147552/32770624 swapFree=67108860/67108860
[pid=13460] ppid=13457 vsize=10661056 memory=84196 CPUtime=0.65 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 11635 0 -1 1077944320 9873 0 0 0 62 3 0 0 20 0 15 0 92890270 10916921344 21049 33554432000 4194304 4196468 140731770723472 140731770706016 139815126535927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
/proc/13460/statm: 2665264 21049 3049 1 0 2627263 0
[pid=13460/tid=13462] ppid=13457 vsize=10661056 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 11635 0 -1 4202560 5170 0 0 0 29 1 0 0 20 0 15 0 92890270 10916921344 21049 33554432000 4194304 4196468 140731770723472 139815130772256 139815110616414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13463] ppid=13457 vsize=10661056 memory=4211973598961458570 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 21049 33554432000 4194304 4196468 140731770723472 139815079156368 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13464] ppid=13457 vsize=10661056 memory=279745413204352 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 21049 33554432000 4194304 4196468 140731770723472 139815078103568 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13465] ppid=13457 vsize=10661056 memory=279745313100288 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814731700624 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13466] ppid=13457 vsize=10661056 memory=139872656536335 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890271 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814730647824 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13467] ppid=13457 vsize=10661056 memory=279745413213568 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92890272 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814686374768 139815126547074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13468] ppid=13457 vsize=10661056 memory=139872656540943 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92890273 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814685320736 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13469] ppid=13457 vsize=10661056 memory=139872656554915 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92890273 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814684267888 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13470] ppid=13457 vsize=10661056 memory=139872656558113 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814683216208 139815126554523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13471] ppid=13457 vsize=10661056 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) R 13457 13460 11635 0 -1 4202560 1538 0 0 0 10 0 0 0 20 0 15 0 92890275 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814682145368 139815126557274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13472] ppid=13457 vsize=10661056 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) R 13457 13460 11635 0 -1 4202560 738 0 0 0 11 0 0 0 20 0 15 0 92890275 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814681096440 139815126557274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13473] ppid=13457 vsize=10661056 memory=139872756668032 CPUtime=0.12 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) R 13457 13460 11635 0 -1 1077944384 1060 0 0 0 12 0 0 0 20 0 15 0 92890275 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814680057968 139815126547074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13474] ppid=13457 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814679005408 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13475] ppid=13457 vsize=10661056 memory=139872756695720 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92890275 10916921344 21049 33554432000 4194304 4196468 140731770723472 139814677953712 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 84196 KiB
[startup+0.700792 s]
/proc/loadavg: 2.45 1.91 1.90 5/219 13475
/proc/meminfo: memFree=21103808/32770624 swapFree=67108860/67108860
[pid=13460] ppid=13457 vsize=10661132 memory=220528 CPUtime=1.92 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 11635 0 -1 1077944320 12395 0 0 0 183 9 0 0 20 0 15 0 92890270 10916999168 55132 33554432000 4194304 4196468 140731770723472 140731770706016 139815126535927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
/proc/13460/statm: 2665283 55132 3121 1 0 2627263 0
[pid=13460/tid=13462] ppid=13457 vsize=10661132 memory=56 CPUtime=0.65 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 11635 0 -1 4202560 5530 0 0 0 62 3 0 0 20 0 15 0 92890270 10916999168 55132 33554432000 4194304 4196468 140731770723472 139815130771792 139814761533490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13463] ppid=13457 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 11635 0 -1 1077944384 31 0 0 0 0 1 0 0 20 0 15 0 92890271 10916999168 55132 33554432000 4194304 4196468 140731770723472 139815079156368 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13464] ppid=13457 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 11635 0 -1 1077944384 25 0 0 0 0 1 0 0 20 0 15 0 92890271 10916999168 55132 33554432000 4194304 4196468 140731770723472 139815078103568 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13465] ppid=13457 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 11635 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 92890271 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814731700624 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13466] ppid=13457 vsize=10661132 memory=8320808402719684661 CPUtime=0.01 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 11635 0 -1 1077944384 30 0 0 0 0 1 0 0 20 0 15 0 92890271 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814730647824 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13467] ppid=13457 vsize=10661132 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 11635 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92890272 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814686374768 139815126547074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13468] ppid=13457 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814685320736 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13469] ppid=13457 vsize=10661132 memory=8452 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814684267888 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13470] ppid=13457 vsize=10661132 memory=5776 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814683216208 139815126554523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13471] ppid=13457 vsize=10661132 memory=1200 CPUtime=0.46 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) R 13457 13460 11635 0 -1 4202560 2082 0 0 0 46 0 0 0 20 0 15 0 92890275 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814682152832 139815110021981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13472] ppid=13457 vsize=10661132 memory=12136 CPUtime=0.45 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) R 13457 13460 11635 0 -1 4202560 1669 0 0 0 45 0 0 0 20 0 15 0 92890275 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814681090704 139815112550308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13473] ppid=13457 vsize=10661132 memory=1008 CPUtime=0.26 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 11635 0 -1 1077944384 1573 0 0 0 26 0 0 0 20 0 15 0 92890275 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814680057968 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13474] ppid=13457 vsize=10661132 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814679005408 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13475] ppid=13457 vsize=10661132 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 55132 33554432000 4194304 4196468 140731770723472 139814677953712 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 220528 KiB
[startup+1.50082 s]
/proc/loadavg: 2.45 1.91 1.90 4/219 13475
/proc/meminfo: memFree=20910120/32770624 swapFree=67108860/67108860
[pid=13460] ppid=13457 vsize=10661132 memory=416656 CPUtime=3.22 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 11635 0 -1 1077944320 13622 0 0 0 299 23 0 0 20 0 15 0 92890270 10916999168 104164 33554432000 4194304 4196468 140731770723472 140731770706016 139815126535927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
/proc/13460/statm: 2665283 104164 3135 1 0 2627263 0
[pid=13460/tid=13462] ppid=13457 vsize=10661132 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 11635 0 -1 4202560 5595 0 0 0 133 5 0 0 20 0 15 0 92890270 10916999168 104164 33554432000 4194304 4196468 140731770723472 139815130768040 139814761223840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13463] ppid=13457 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 11635 0 -1 1077944384 260 0 0 0 4 4 0 0 20 0 15 0 92890271 10916999168 104164 33554432000 4194304 4196468 140731770723472 139815079156368 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13464] ppid=13457 vsize=10661132 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 11635 0 -1 1077944384 130 0 0 0 4 3 0 0 20 0 15 0 92890271 10916999168 104164 33554432000 4194304 4196468 140731770723472 139815078103568 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13465] ppid=13457 vsize=10661132 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 11635 0 -1 1077944384 254 0 0 0 4 3 0 0 20 0 15 0 92890271 10916999168 104164 33554432000 4194304 4196468 140731770723472 139814731700624 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13466] ppid=13457 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 11635 0 -1 1077944384 153 0 0 0 4 4 0 0 20 0 15 0 92890271 10916999168 104164 33554432000 4194304 4196468 140731770723472 139814730647824 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13467] ppid=13457 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 11635 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 92890272 10916999168 104164 33554432000 4194304 4196468 140731770723472 139814686374768 139815126547074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
################
# More data... #
################
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 11635 0 -1 4202560 152807 0 0 0 243908 65 0 0 20 0 15 0 92890270 10916999168 707858 33554432000 4194304 4196468 140731770723472 139815130774784 139814765273957 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13463] ppid=13457 vsize=10661132 memory=2831432 CPUtime=2.08 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 11635 0 -1 1077944384 11835 0 0 0 172 36 0 0 20 0 15 0 92890271 10916999168 707858 33554432000 4194304 4196468 140731770723472 139815079156368 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13464] ppid=13457 vsize=10661132 memory=2831944 CPUtime=2.06 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 11635 0 -1 1077944384 11537 0 0 0 169 37 0 0 20 0 15 0 92890271 10916999168 707858 33554432000 4194304 4196468 140731770723472 139815078103568 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13465] ppid=13457 vsize=10661132 memory=2831944 CPUtime=2.06 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 11635 0 -1 1077944384 11255 0 0 0 170 36 0 0 20 0 15 0 92890271 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814731700624 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13466] ppid=13457 vsize=10661132 memory=2831432 CPUtime=2.04 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 11635 0 -1 1077944384 8391 0 0 0 166 38 0 0 20 0 15 0 92890271 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814730647824 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13467] ppid=13457 vsize=10661132 memory=2831432 CPUtime=0.23 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 11635 0 -1 1077944384 16532 0 0 0 14 9 0 0 20 0 15 0 92890272 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814686374768 139815126547074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13468] ppid=13457 vsize=10661132 memory=2831432 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 11635 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814685320800 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13469] ppid=13457 vsize=10661132 memory=2831432 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 11635 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814684267888 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13470] ppid=13457 vsize=10661132 memory=2831432 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814683216208 139815126554523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13471] ppid=13457 vsize=10661132 memory=2831432 CPUtime=2.04 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 11635 0 -1 1077944384 12179 0 0 0 202 2 0 0 20 0 15 0 92890275 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814682163568 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13472] ppid=13457 vsize=10661132 memory=288230574492221466 CPUtime=1.99 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 11635 0 -1 1077944384 9593 0 0 0 197 2 0 0 20 0 15 0 92890275 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814681110768 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13473] ppid=13457 vsize=10661132 memory=288230596050944315 CPUtime=0.62 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 11635 0 -1 1077944384 5131 0 0 0 61 1 0 0 20 0 15 0 92890275 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814680057968 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13474] ppid=13457 vsize=10661132 memory=2831944 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814679005408 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13475] ppid=13457 vsize=10661132 memory=2236 CPUtime=1.45 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 11635 0 -1 1077944384 1886 0 0 0 75 70 0 0 20 0 15 0 92890275 10916999168 707858 33554432000 4194304 4196468 140731770723472 139814677953712 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
Current children cumulated CPU time: 2454.39 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2831432 KiB
[startup+2502.3 s]
/proc/loadavg: 1.84 1.78 1.81 3/218 13655
/proc/meminfo: memFree=20709528/32770624 swapFree=67108860/67108860
[pid=13460] ppid=13457 vsize=10661132 memory=2816556 CPUtime=2514.44 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 11635 0 -1 1077944320 245708 0 0 0 251161 283 0 0 20 0 15 0 92890270 10916999168 704139 33554432000 4194304 4196468 140731770723472 140731770706016 139815126535927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
/proc/13460/statm: 2665283 704139 3179 1 0 2627263 0
[pid=13460/tid=13462] ppid=13457 vsize=10661132 memory=2817068 CPUtime=2499.72 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 11635 0 -1 4202560 154725 0 0 0 249906 66 0 0 20 0 15 0 92890270 10916999168 704139 33554432000 4194304 4196468 140731770723472 139815130775376 139814764912427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13463] ppid=13457 vsize=10661132 memory=2831432 CPUtime=2.09 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 11635 0 -1 1077944384 12065 0 0 0 173 36 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139815079156368 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13464] ppid=13457 vsize=10661132 memory=2831432 CPUtime=2.07 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 11635 0 -1 1077944384 11695 0 0 0 170 37 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139815078103568 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13465] ppid=13457 vsize=10661132 memory=2817068 CPUtime=2.07 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 11635 0 -1 1077944384 11398 0 0 0 171 36 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814731700624 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13466] ppid=13457 vsize=10661132 memory=2816556 CPUtime=2.05 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 11635 0 -1 1077944384 8845 0 0 0 167 38 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814730647824 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13467] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0.23 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 11635 0 -1 1077944384 16760 0 0 0 14 9 0 0 20 0 15 0 92890272 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814686374768 139815126547074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13468] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 11635 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814685320800 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13469] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 11635 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814684267888 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13470] ppid=13457 vsize=10661132 memory=2817068 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814683216208 139815126554523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13471] ppid=13457 vsize=10661132 memory=4132 CPUtime=2.04 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 11635 0 -1 1077944384 12187 0 0 0 202 2 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814682163568 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13472] ppid=13457 vsize=10661132 memory=27076 CPUtime=1.99 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 11635 0 -1 1077944384 9596 0 0 0 197 2 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814681110768 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13473] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0.62 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 11635 0 -1 1077944384 5135 0 0 0 61 1 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814680057968 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13474] ppid=13457 vsize=10661132 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814679005408 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13475] ppid=13457 vsize=10661132 memory=2816556 CPUtime=1.49 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 11635 0 -1 1077944384 1917 0 0 0 76 73 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814677953712 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
Current children cumulated CPU time: 2514.44 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2816556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.9 s]
/proc/loadavg: 1.85 1.78 1.81 3/218 13655
/proc/meminfo: memFree=20722132/32770624 swapFree=67108860/67108860
[pid=13460] ppid=13457 vsize=10661132 memory=2816556 CPUtime=2520.05 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 11635 0 -1 1077944320 245781 0 0 0 251721 284 0 0 20 0 15 0 92890270 10916999168 704139 33554432000 4194304 4196468 140731770723472 140731770706016 139815126535927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
/proc/13460/statm: 2665283 704139 3179 1 0 2627263 0
[pid=13460/tid=13462] ppid=13457 vsize=10661132 memory=2816556 CPUtime=2505.32 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 11635 0 -1 4202560 154796 0 0 0 250466 66 0 0 20 0 15 0 92890270 10916999168 704139 33554432000 4194304 4196468 140731770723472 139815130775376 139814764912290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13463] ppid=13457 vsize=10661132 memory=2817068 CPUtime=2.09 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 11635 0 -1 1077944384 12065 0 0 0 173 36 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139815079156368 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13464] ppid=13457 vsize=10661132 memory=2831432 CPUtime=2.07 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 11635 0 -1 1077944384 11695 0 0 0 170 37 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139815078103568 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13465] ppid=13457 vsize=10661132 memory=2831432 CPUtime=2.07 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 11635 0 -1 1077944384 11398 0 0 0 171 36 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814731700624 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13466] ppid=13457 vsize=10661132 memory=2817068 CPUtime=2.05 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 11635 0 -1 1077944384 8845 0 0 0 167 38 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814730647824 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13467] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0.23 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 11635 0 -1 1077944384 16760 0 0 0 14 9 0 0 20 0 15 0 92890272 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814686374768 139815126547074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13468] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 11635 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814685320800 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13469] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 11635 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814684267888 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13470] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814683216208 139815126554523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13471] ppid=13457 vsize=10661132 memory=2816556 CPUtime=2.04 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 11635 0 -1 1077944384 12187 0 0 0 202 2 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814682163568 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13472] ppid=13457 vsize=10661132 memory=4132 CPUtime=1.99 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 11635 0 -1 1077944384 9596 0 0 0 197 2 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814681110768 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13473] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0.62 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 11635 0 -1 1077944384 5135 0 0 0 61 1 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814680057968 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13474] ppid=13457 vsize=10661132 memory=7288 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814679005408 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13475] ppid=13457 vsize=10661132 memory=2816556 CPUtime=1.49 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 11635 0 -1 1077944384 1919 0 0 0 76 73 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814677953712 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2816556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.92 s]
# the end of solver process 13460 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.23 s, system=2.85747 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.9 s]
/proc/loadavg: 1.85 1.78 1.81 3/218 13655
/proc/meminfo: memFree=20722132/32770624 swapFree=67108860/67108860
[pid=13460] ppid=13457 vsize=10661132 memory=2816556 CPUtime=2520.05 cores=0,2,4,6
/proc/13460/stat : 13460 (java) S 13457 13460 11635 0 -1 1077944320 245781 0 0 0 251721 284 0 0 20 0 15 0 92890270 10916999168 704139 33554432000 4194304 4196468 140731770723472 140731770706016 139815126535927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
/proc/13460/statm: 2665283 704139 3179 1 0 2627263 0
[pid=13460/tid=13462] ppid=13457 vsize=10661132 memory=2816556 CPUtime=2505.32 cores=0,2,4,6
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 11635 0 -1 4202560 154796 0 0 0 250466 66 0 0 20 0 15 0 92890270 10916999168 704139 33554432000 4194304 4196468 140731770723472 139815130775376 139814764912290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13463] ppid=13457 vsize=10661132 memory=2817068 CPUtime=2.09 cores=0,2,4,6
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 11635 0 -1 1077944384 12065 0 0 0 173 36 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139815079156368 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13464] ppid=13457 vsize=10661132 memory=2831432 CPUtime=2.07 cores=0,2,4,6
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 11635 0 -1 1077944384 11695 0 0 0 170 37 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139815078103568 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13465] ppid=13457 vsize=10661132 memory=2831432 CPUtime=2.07 cores=0,2,4,6
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 11635 0 -1 1077944384 11398 0 0 0 171 36 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814731700624 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13466] ppid=13457 vsize=10661132 memory=2817068 CPUtime=2.05 cores=0,2,4,6
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 11635 0 -1 1077944384 8845 0 0 0 167 38 0 0 20 0 15 0 92890271 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814730647824 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13467] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0.23 cores=0,2,4,6
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 11635 0 -1 1077944384 16760 0 0 0 14 9 0 0 20 0 15 0 92890272 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814686374768 139815126547074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13468] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 11635 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814685320800 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13469] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 11635 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 92890273 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814684267888 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13470] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814683216208 139815126554523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13471] ppid=13457 vsize=10661132 memory=2816556 CPUtime=2.04 cores=0,2,4,6
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 11635 0 -1 1077944384 12187 0 0 0 202 2 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814682163568 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13472] ppid=13457 vsize=10661132 memory=4132 CPUtime=1.99 cores=0,2,4,6
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 11635 0 -1 1077944384 9596 0 0 0 197 2 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814681110768 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13473] ppid=13457 vsize=10661132 memory=2816556 CPUtime=0.62 cores=0,2,4,6
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 11635 0 -1 1077944384 5135 0 0 0 61 1 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814680057968 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13474] ppid=13457 vsize=10661132 memory=7288 CPUtime=0 cores=0,2,4,6
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814679005408 139815126546133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
[pid=13460/tid=13475] ppid=13457 vsize=10661132 memory=2816556 CPUtime=1.49 cores=0,2,4,6
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 11635 0 -1 1077944384 1919 0 0 0 76 73 0 0 20 0 15 0 92890275 10916999168 704139 33554432000 4194304 4196468 140731770723472 139814677953712 139815126547074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 14024704 140731770725493 140731770725641 140731770725641 140731770728399 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2816556 KiB
Child status: 143
Real time (s): 2507.92
CPU time (s): 2520.08
CPU user time (s): 2517.23
CPU system time (s): 2.85747
CPU usage (%): 100.485
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 3572148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.23
system time used= 2.85747
maximum resident set size= 3572212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57724
involuntary context switches= 3264
# summary of solver processes directly reported to runsolver:
# pid: 13460
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.23
# total CPU system time (s): 2.85747
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6767 second user time and 22.8968 second system time
The end