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 (9918 MiB free)
memory of node 1: 16384 MiB (12606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298749-1532776445/watcher-4298749-1532776445 -o /tmp/evaluation-result-4298749-1532776445/solver-4298749-1532776445 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532776444-32664 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298749-1532776445.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=318, runsolver pid=315
[startup+0.100113 s]*
/proc/loadavg: 0.74 0.64 0.71 5/216 333
/proc/meminfo: memFree=23029504/32770624 swapFree=67108860/67108860
[pid=318] ppid=315 vsize=10661056 memory=27120 CPUtime=0.11 cores=0,2,4,6
/proc/318/stat : 318 (java) S 315 318 32633 0 -1 1077944320 5225 0 0 0 10 1 0 0 20 0 15 0 95207735 10916921344 6780 33554432000 4194304 4196468 140724303522064 140724303504608 139887199010551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
/proc/318/statm: 2665264 6780 2821 1 0 2627263 0
[pid=318/tid=320] ppid=315 vsize=10661056 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/318/task/320/stat : 320 (java) R 315 318 32633 0 -1 4202560 3184 0 0 0 8 0 0 0 20 0 15 0 95207735 10916921344 6845 33554432000 4194304 4196468 140724303522064 139887203241584 139887199022486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=321] ppid=315 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/318/task/321/stat : 321 (java) S 315 318 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207736 10916921344 6845 33554432000 4194304 4196468 140724303522064 139887155562896 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=322] ppid=315 vsize=10661056 memory=139907661709168 CPUtime=0 cores=0,2,4,6
/proc/318/task/322/stat : 322 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916921344 6845 33554432000 4194304 4196468 140724303522064 139887154510096 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=323] ppid=315 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/323/stat : 323 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916921344 6845 33554432000 4194304 4196468 140724303522064 139887153457808 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=324] ppid=315 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/324/stat : 324 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886802688528 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=325] ppid=315 vsize=10661056 memory=139907661678208 CPUtime=0 cores=0,2,4,6
/proc/318/task/325/stat : 325 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207738 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886758787696 139887199021698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=326] ppid=315 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/326/stat : 326 (java) S 315 318 32633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207738 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886757733664 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=327] ppid=315 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/327/stat : 327 (java) S 315 318 32633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207738 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886756681328 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=328] ppid=315 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/328/stat : 328 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886755629648 139887199029147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=329] ppid=315 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/329/stat : 329 (java) S 315 318 32633 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 95207741 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886754576496 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=330] ppid=315 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/330/stat : 330 (java) S 315 318 32633 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 95207741 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886753523696 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=331] ppid=315 vsize=10661056 memory=139907661678208 CPUtime=0.01 cores=0,2,4,6
/proc/318/task/331/stat : 331 (java) R 315 318 32633 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 95207741 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886752471408 139887177491411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=332] ppid=315 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/332/stat : 332 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886751418848 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=333] ppid=315 vsize=10661056 memory=139907661678208 CPUtime=0 cores=0,2,4,6
/proc/318/task/333/stat : 333 (java) S 315 318 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207741 10916921344 6845 33554432000 4194304 4196468 140724303522064 139886750366640 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27120 KiB
[startup+0.210634 s]*
/proc/loadavg: 0.74 0.64 0.71 5/216 333
/proc/meminfo: memFree=23017844/32770624 swapFree=67108860/67108860
[pid=318] ppid=315 vsize=10661056 memory=39744 CPUtime=0.33 cores=0,2,4,6
/proc/318/stat : 318 (java) S 315 318 32633 0 -1 1077944320 8050 0 0 0 31 2 0 0 20 0 15 0 95207735 10916921344 9936 33554432000 4194304 4196468 140724303522064 140724303504608 139887199010551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
/proc/318/statm: 2665264 9936 2974 1 0 2627263 0
[pid=318/tid=320] ppid=315 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/318/task/320/stat : 320 (java) R 315 318 32633 0 -1 4202560 5120 0 0 0 19 1 0 0 20 0 15 0 95207735 10916921344 10199 33554432000 4194304 4196468 140724303522064 139887203249152 139886833281153 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=321] ppid=315 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/318/task/321/stat : 321 (java) S 315 318 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207736 10916921344 10199 33554432000 4194304 4196468 140724303522064 139887155562896 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=322] ppid=315 vsize=10661056 memory=139907661709168 CPUtime=0 cores=0,2,4,6
/proc/318/task/322/stat : 322 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916921344 10199 33554432000 4194304 4196468 140724303522064 139887154510096 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=323] ppid=315 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/323/stat : 323 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916921344 10199 33554432000 4194304 4196468 140724303522064 139887153457808 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=324] ppid=315 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/324/stat : 324 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886802688528 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=325] ppid=315 vsize=10661056 memory=139907661678208 CPUtime=0 cores=0,2,4,6
/proc/318/task/325/stat : 325 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207738 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886758787696 139887199021698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=326] ppid=315 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/326/stat : 326 (java) S 315 318 32633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207738 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886757733664 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=327] ppid=315 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/327/stat : 327 (java) S 315 318 32633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207738 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886756681328 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=328] ppid=315 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/328/stat : 328 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886755629648 139887199029147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=329] ppid=315 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/318/task/329/stat : 329 (java) R 315 318 32633 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 15 0 95207741 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886754563280 139887199020757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=330] ppid=315 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/318/task/330/stat : 330 (java) R 315 318 32633 0 -1 4202560 479 0 0 0 2 0 0 0 20 0 15 0 95207741 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886753516216 139887191247678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=331] ppid=315 vsize=10661056 memory=139907661678208 CPUtime=0.08 cores=0,2,4,6
/proc/318/task/331/stat : 331 (java) R 315 318 32633 0 -1 4202560 850 0 0 0 8 0 0 0 20 0 15 0 95207741 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886752468344 139887177937984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=332] ppid=315 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/332/stat : 332 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886751418848 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=333] ppid=315 vsize=10661056 memory=139907661678208 CPUtime=0 cores=0,2,4,6
/proc/318/task/333/stat : 333 (java) S 315 318 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207741 10916921344 10199 33554432000 4194304 4196468 140724303522064 139886750366640 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39744 KiB
[startup+0.314053 s]*
/proc/loadavg: 0.74 0.64 0.71 3/216 333
/proc/meminfo: memFree=22996512/32770624 swapFree=67108860/67108860
[pid=318] ppid=315 vsize=10661132 memory=61428 CPUtime=0.7 cores=0,2,4,6
/proc/318/stat : 318 (java) S 315 318 32633 0 -1 1077944320 10438 0 0 0 68 2 0 0 20 0 15 0 95207735 10916999168 15357 33554432000 4194304 4196468 140724303522064 140724303504608 139887199010551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
/proc/318/statm: 2665283 15357 3057 1 0 2627263 0
[pid=318/tid=320] ppid=315 vsize=10661132 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/318/task/320/stat : 320 (java) R 315 318 32633 0 -1 4202560 5449 0 0 0 29 1 0 0 20 0 15 0 95207735 10916999168 15869 33554432000 4194304 4196468 140724303522064 139887203244656 139886833320842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=321] ppid=315 vsize=10661132 memory=288230621904634245 CPUtime=0 cores=0,2,4,6
/proc/318/task/321/stat : 321 (java) S 315 318 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207736 10916999168 15869 33554432000 4194304 4196468 140724303522064 139887155562896 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=322] ppid=315 vsize=10661132 memory=3907210433827993872 CPUtime=0 cores=0,2,4,6
/proc/318/task/322/stat : 322 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916999168 15869 33554432000 4194304 4196468 140724303522064 139887154510096 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=323] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/323/stat : 323 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916999168 15869 33554432000 4194304 4196468 140724303522064 139887153457808 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=324] ppid=315 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/324/stat : 324 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886802688528 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=325] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/325/stat : 325 (java) S 315 318 32633 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886758787696 139887199021698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=326] ppid=315 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/326/stat : 326 (java) S 315 318 32633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886757733664 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=327] ppid=315 vsize=10661132 memory=139907661678208 CPUtime=0 cores=0,2,4,6
/proc/318/task/327/stat : 327 (java) S 315 318 32633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886756681328 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=328] ppid=315 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/318/task/328/stat : 328 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886755629648 139887199029147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=329] ppid=315 vsize=10661132 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/318/task/329/stat : 329 (java) R 315 318 32633 0 -1 4202560 1033 0 0 0 13 0 0 0 20 0 15 0 95207741 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886754564368 139887180531895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=330] ppid=315 vsize=10661132 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/318/task/330/stat : 330 (java) R 315 318 32633 0 -1 4202560 1294 0 0 0 12 0 0 0 20 0 15 0 95207741 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886753523696 139887184989216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=331] ppid=315 vsize=10661132 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/318/task/331/stat : 331 (java) R 315 318 32633 0 -1 1077944384 1295 0 0 0 15 0 0 0 20 0 15 0 95207741 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886752471408 139887199021698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=332] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/332/stat : 332 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886751418848 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=333] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/333/stat : 333 (java) S 315 318 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 15869 33554432000 4194304 4196468 140724303522064 139886750366640 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 61428 KiB
[startup+0.702627 s]
/proc/loadavg: 0.74 0.64 0.71 6/216 333
/proc/meminfo: memFree=22937392/32770624 swapFree=67108860/67108860
[pid=318] ppid=315 vsize=10661132 memory=167088 CPUtime=1.97 cores=0,2,4,6
/proc/318/stat : 318 (java) S 315 318 32633 0 -1 1077944320 14889 0 0 0 192 5 0 0 20 0 15 0 95207735 10916999168 41772 33554432000 4194304 4196468 140724303522064 140724303504608 139887199010551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
/proc/318/statm: 2665283 41772 3106 1 0 2627263 0
[pid=318/tid=320] ppid=315 vsize=10661132 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/318/task/320/stat : 320 (java) R 315 318 32633 0 -1 4202560 5731 0 0 0 64 3 0 0 20 0 15 0 95207735 10916999168 41772 33554432000 4194304 4196468 140724303522064 139887203249344 139887182356156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=321] ppid=315 vsize=10661132 memory=4 CPUtime=0 cores=0,2,4,6
/proc/318/task/321/stat : 321 (java) S 315 318 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207736 10916999168 41772 33554432000 4194304 4196468 140724303522064 139887155562896 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=322] ppid=315 vsize=10661132 memory=133 CPUtime=0 cores=0,2,4,6
/proc/318/task/322/stat : 322 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916999168 41772 33554432000 4194304 4196468 140724303522064 139887154510096 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=323] ppid=315 vsize=10661132 memory=54 CPUtime=0 cores=0,2,4,6
/proc/318/task/323/stat : 323 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916999168 41772 33554432000 4194304 4196468 140724303522064 139887153457808 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=324] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/324/stat : 324 (java) S 315 318 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207736 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886802688528 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=325] ppid=315 vsize=10661132 memory=4404 CPUtime=0 cores=0,2,4,6
/proc/318/task/325/stat : 325 (java) S 315 318 32633 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886758787696 139887199021698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=326] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/326/stat : 326 (java) S 315 318 32633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886757733664 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=327] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/327/stat : 327 (java) S 315 318 32633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886756681328 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=328] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/328/stat : 328 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886755629648 139887199029147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=329] ppid=315 vsize=10661132 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/318/task/329/stat : 329 (java) R 315 318 32633 0 -1 4202560 3184 0 0 0 48 0 0 0 20 0 15 0 95207741 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886754564080 139887178263167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=330] ppid=315 vsize=10661132 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/318/task/330/stat : 330 (java) R 315 318 32633 0 -1 4202560 2253 0 0 0 47 0 0 0 20 0 15 0 95207741 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886753509136 139887178703655 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=331] ppid=315 vsize=10661132 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/318/task/331/stat : 331 (java) S 315 318 32633 0 -1 1077944384 2348 0 0 0 31 0 0 0 20 0 15 0 95207741 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886752471408 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=332] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/332/stat : 332 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886751418848 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=333] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/333/stat : 333 (java) S 315 318 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 41772 33554432000 4194304 4196468 140724303522064 139886750366640 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 167088 KiB
[startup+1.50075 s]
/proc/loadavg: 0.74 0.64 0.71 4/216 333
/proc/meminfo: memFree=22742348/32770624 swapFree=67108860/67108860
[pid=318] ppid=315 vsize=10661132 memory=214356 CPUtime=3.97 cores=0,2,4,6
/proc/318/stat : 318 (java) S 315 318 32633 0 -1 1077944320 23473 0 0 0 387 10 0 0 20 0 15 0 95207735 10916999168 53589 33554432000 4194304 4196468 140724303522064 140724303504608 139887199010551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
/proc/318/statm: 2665283 53589 3155 1 0 2627263 0
[pid=318/tid=320] ppid=315 vsize=10661132 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/318/task/320/stat : 320 (java) R 315 318 32633 0 -1 4202560 6366 0 0 0 141 4 0 0 20 0 15 0 95207735 10916999168 53589 33554432000 4194304 4196468 140724303522064 139887203248824 139887199022486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=321] ppid=315 vsize=10661132 memory=214300 CPUtime=0.01 cores=0,2,4,6
/proc/318/task/321/stat : 321 (java) S 315 318 32633 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 95207736 10916999168 53589 33554432000 4194304 4196468 140724303522064 139887155562896 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=322] ppid=315 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/318/task/322/stat : 322 (java) S 315 318 32633 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 95207736 10916999168 53589 33554432000 4194304 4196468 140724303522064 139887154510096 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=323] ppid=315 vsize=10661132 memory=4 CPUtime=0.01 cores=0,2,4,6
/proc/318/task/323/stat : 323 (java) S 315 318 32633 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 15 0 95207736 10916999168 53589 33554432000 4194304 4196468 140724303522064 139887153457808 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=324] ppid=315 vsize=10661132 memory=133 CPUtime=0.01 cores=0,2,4,6
/proc/318/task/324/stat : 324 (java) S 315 318 32633 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 15 0 95207736 10916999168 53589 33554432000 4194304 4196468 140724303522064 139886802688528 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=325] ppid=315 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/318/task/325/stat : 325 (java) S 315 318 32633 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 53589 33554432000 4194304 4196468 140724303522064 139886758787696 139887199021698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
################
# More data... #
################
/proc/318/task/320/stat : 320 (java) R 315 318 32633 0 -1 4202560 33064 0 0 0 236119 34 0 0 20 0 15 0 95207735 10916999168 70732 33554432000 4194304 4196468 140724303522064 139887203249744 139886837851820 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=321] ppid=315 vsize=10661132 memory=282928 CPUtime=14.06 cores=0,2,4,6
/proc/318/task/321/stat : 321 (java) S 315 318 32633 0 -1 1077944384 9233 0 0 0 1371 35 0 0 20 0 15 0 95207736 10916999168 70732 33554432000 4194304 4196468 140724303522064 139887155562896 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=322] ppid=315 vsize=10661132 memory=282928 CPUtime=14.07 cores=0,2,4,6
/proc/318/task/322/stat : 322 (java) S 315 318 32633 0 -1 1077944384 12691 0 0 0 1371 36 0 0 20 0 15 0 95207736 10916999168 70732 33554432000 4194304 4196468 140724303522064 139887154510096 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=323] ppid=315 vsize=10661132 memory=282928 CPUtime=14.09 cores=0,2,4,6
/proc/318/task/323/stat : 323 (java) S 315 318 32633 0 -1 1077944384 11971 0 0 0 1374 35 0 0 20 0 15 0 95207736 10916999168 70732 33554432000 4194304 4196468 140724303522064 139887153457808 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=324] ppid=315 vsize=10661132 memory=282928 CPUtime=14.09 cores=0,2,4,6
/proc/318/task/324/stat : 324 (java) S 315 318 32633 0 -1 1077944384 11690 0 0 0 1374 35 0 0 20 0 15 0 95207736 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886802688528 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=325] ppid=315 vsize=10661132 memory=282928 CPUtime=4.92 cores=0,2,4,6
/proc/318/task/325/stat : 325 (java) S 315 318 32633 0 -1 1077944384 12238 0 0 0 448 44 0 0 20 0 15 0 95207738 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886758787696 139887199021698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=326] ppid=315 vsize=10661132 memory=282928 CPUtime=0 cores=0,2,4,6
/proc/318/task/326/stat : 326 (java) S 315 318 32633 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886757733728 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=327] ppid=315 vsize=10661132 memory=282928 CPUtime=0 cores=0,2,4,6
/proc/318/task/327/stat : 327 (java) S 315 318 32633 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886756681328 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=328] ppid=315 vsize=10661132 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/318/task/328/stat : 328 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886755629648 139887199029147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=329] ppid=315 vsize=10661132 memory=282928 CPUtime=1.27 cores=0,2,4,6
/proc/318/task/329/stat : 329 (java) S 315 318 32633 0 -1 1077944384 8784 0 0 0 126 1 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886754576496 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=330] ppid=315 vsize=10661132 memory=1200 CPUtime=1.07 cores=0,2,4,6
/proc/318/task/330/stat : 330 (java) S 315 318 32633 0 -1 1077944384 6596 0 0 0 106 1 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886753523696 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=331] ppid=315 vsize=10661132 memory=282928 CPUtime=0.43 cores=0,2,4,6
/proc/318/task/331/stat : 331 (java) S 315 318 32633 0 -1 1077944384 3521 0 0 0 42 1 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886752471408 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=332] ppid=315 vsize=10661132 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/318/task/332/stat : 332 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886751418848 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=333] ppid=315 vsize=10661132 memory=282928 CPUtime=1.39 cores=0,2,4,6
/proc/318/task/333/stat : 333 (java) S 315 318 32633 0 -1 1077944384 1053 0 0 0 66 73 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886750366640 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
Current children cumulated CPU time: 2427 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 282928 KiB
[startup+2442.3 s]
/proc/loadavg: 1.49 1.54 1.46 3/215 432
/proc/meminfo: memFree=22118788/32770624 swapFree=67108860/67108860
[pid=318] ppid=315 vsize=10661132 memory=282928 CPUtime=2488.07 cores=0,2,4,6
/proc/318/stat : 318 (java) S 315 318 32633 0 -1 1077944320 113503 0 0 0 248538 269 0 0 20 0 15 0 95207735 10916999168 70732 33554432000 4194304 4196468 140724303522064 140724303504608 139887199010551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
/proc/318/statm: 2665283 70732 3173 1 0 2627263 0
[pid=318/tid=320] ppid=315 vsize=10661132 memory=0 CPUtime=2420.97 cores=0,2,4,6
/proc/318/task/320/stat : 320 (java) R 315 318 32633 0 -1 4202560 33436 0 0 0 242062 35 0 0 20 0 15 0 95207735 10916999168 70732 33554432000 4194304 4196468 140724303522064 139887203249728 139886837757225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=321] ppid=315 vsize=10661132 memory=282928 CPUtime=14.43 cores=0,2,4,6
/proc/318/task/321/stat : 321 (java) S 315 318 32633 0 -1 1077944384 9315 0 0 0 1407 36 0 0 20 0 15 0 95207736 10916999168 70732 33554432000 4194304 4196468 140724303522064 139887155562896 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=322] ppid=315 vsize=10661132 memory=282928 CPUtime=14.43 cores=0,2,4,6
/proc/318/task/322/stat : 322 (java) S 315 318 32633 0 -1 1077944384 12763 0 0 0 1406 37 0 0 20 0 15 0 95207736 10916999168 70732 33554432000 4194304 4196468 140724303522064 139887154510096 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=323] ppid=315 vsize=10661132 memory=282928 CPUtime=14.44 cores=0,2,4,6
/proc/318/task/323/stat : 323 (java) S 315 318 32633 0 -1 1077944384 12368 0 0 0 1409 35 0 0 20 0 15 0 95207736 10916999168 70732 33554432000 4194304 4196468 140724303522064 139887153457808 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=324] ppid=315 vsize=10661132 memory=282928 CPUtime=14.45 cores=0,2,4,6
/proc/318/task/324/stat : 324 (java) S 315 318 32633 0 -1 1077944384 11801 0 0 0 1409 36 0 0 20 0 15 0 95207736 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886802688528 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=325] ppid=315 vsize=10661132 memory=282928 CPUtime=5.05 cores=0,2,4,6
/proc/318/task/325/stat : 325 (java) S 315 318 32633 0 -1 1077944384 12416 0 0 0 460 45 0 0 20 0 15 0 95207738 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886758787696 139887199021698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=326] ppid=315 vsize=10661132 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/318/task/326/stat : 326 (java) S 315 318 32633 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886757733728 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=327] ppid=315 vsize=10661132 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/318/task/327/stat : 327 (java) S 315 318 32633 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886756681328 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=328] ppid=315 vsize=10661132 memory=282928 CPUtime=0 cores=0,2,4,6
/proc/318/task/328/stat : 328 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886755629648 139887199029147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=329] ppid=315 vsize=10661132 memory=282928 CPUtime=1.27 cores=0,2,4,6
/proc/318/task/329/stat : 329 (java) S 315 318 32633 0 -1 1077944384 8786 0 0 0 126 1 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886754576496 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=330] ppid=315 vsize=10661132 memory=282928 CPUtime=1.07 cores=0,2,4,6
/proc/318/task/330/stat : 330 (java) S 315 318 32633 0 -1 1077944384 6598 0 0 0 106 1 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886753523696 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=331] ppid=315 vsize=10661132 memory=3256 CPUtime=0.43 cores=0,2,4,6
/proc/318/task/331/stat : 331 (java) S 315 318 32633 0 -1 1077944384 3523 0 0 0 42 1 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886752471408 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=332] ppid=315 vsize=10661132 memory=282928 CPUtime=0 cores=0,2,4,6
/proc/318/task/332/stat : 332 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886751418848 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=333] ppid=315 vsize=10661132 memory=8556 CPUtime=1.42 cores=0,2,4,6
/proc/318/task/333/stat : 333 (java) S 315 318 32633 0 -1 1077944384 1071 0 0 0 68 74 0 0 20 0 15 0 95207741 10916999168 70732 33554432000 4194304 4196468 140724303522064 139886750366640 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
Current children cumulated CPU time: 2488.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 282928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.7 s]
/proc/loadavg: 1.61 1.57 1.47 6/216 613
/proc/meminfo: memFree=22813368/32770624 swapFree=67108860/67108860
[pid=318] ppid=315 vsize=10661132 memory=287136 CPUtime=2520.05 cores=0,2,4,6
/proc/318/stat : 318 (java) S 315 318 32633 0 -1 1077944320 115478 0 0 0 251732 273 0 0 20 0 15 0 95207735 10916999168 71784 33554432000 4194304 4196468 140724303522064 140724303504608 139887199010551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
/proc/318/statm: 2665283 71784 3173 1 0 2627263 0
[pid=318/tid=320] ppid=315 vsize=10661132 memory=289680 CPUtime=2452.08 cores=0,2,4,6
/proc/318/task/320/stat : 320 (java) R 315 318 32633 0 -1 4202560 33992 0 0 0 245173 35 0 0 20 0 15 0 95207735 10916999168 71784 33554432000 4194304 4196468 140724303522064 139887203249632 139886837855505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=321] ppid=315 vsize=10661132 memory=287136 CPUtime=14.62 cores=0,2,4,6
/proc/318/task/321/stat : 321 (java) S 315 318 32633 0 -1 1077944384 9556 0 0 0 1426 36 0 0 20 0 15 0 95207736 10916999168 71784 33554432000 4194304 4196468 140724303522064 139887155562896 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=322] ppid=315 vsize=10661132 memory=3840 CPUtime=14.63 cores=0,2,4,6
/proc/318/task/322/stat : 322 (java) S 315 318 32633 0 -1 1077944384 13071 0 0 0 1425 38 0 0 20 0 15 0 95207736 10916999168 71784 33554432000 4194304 4196468 140724303522064 139887154510096 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=323] ppid=315 vsize=10661132 memory=279815107873792 CPUtime=14.64 cores=0,2,4,6
/proc/318/task/323/stat : 323 (java) S 315 318 32633 0 -1 1077944384 12874 0 0 0 1428 36 0 0 20 0 15 0 95207736 10916999168 71784 33554432000 4194304 4196468 140724303522064 139887153457808 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=324] ppid=315 vsize=10661132 memory=0 CPUtime=14.63 cores=0,2,4,6
/proc/318/task/324/stat : 324 (java) S 315 318 32633 0 -1 1077944384 11989 0 0 0 1427 36 0 0 20 0 15 0 95207736 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886802688528 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=325] ppid=315 vsize=10661132 memory=292648 CPUtime=5.13 cores=0,2,4,6
/proc/318/task/325/stat : 325 (java) S 315 318 32633 0 -1 1077944384 12579 0 0 0 467 46 0 0 20 0 15 0 95207738 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886758787696 139887199021698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=326] ppid=315 vsize=10661132 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/318/task/326/stat : 326 (java) S 315 318 32633 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886757733728 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=327] ppid=315 vsize=10661132 memory=288676 CPUtime=0 cores=0,2,4,6
/proc/318/task/327/stat : 327 (java) S 315 318 32633 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886756681328 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=328] ppid=315 vsize=10661132 memory=289680 CPUtime=0 cores=0,2,4,6
/proc/318/task/328/stat : 328 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886755629648 139887199029147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=329] ppid=315 vsize=10661132 memory=290676 CPUtime=1.27 cores=0,2,4,6
/proc/318/task/329/stat : 329 (java) S 315 318 32633 0 -1 1077944384 8789 0 0 0 126 1 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886754576496 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=330] ppid=315 vsize=10661132 memory=292136 CPUtime=1.07 cores=0,2,4,6
/proc/318/task/330/stat : 330 (java) S 315 318 32633 0 -1 1077944384 6600 0 0 0 106 1 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886753523696 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=331] ppid=315 vsize=10661132 memory=288164 CPUtime=0.43 cores=0,2,4,6
/proc/318/task/331/stat : 331 (java) S 315 318 32633 0 -1 1077944384 3525 0 0 0 42 1 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886752471408 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=332] ppid=315 vsize=10661132 memory=289188 CPUtime=0 cores=0,2,4,6
/proc/318/task/332/stat : 332 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886751418848 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=333] ppid=315 vsize=10661132 memory=291624 CPUtime=1.44 cores=0,2,4,6
/proc/318/task/333/stat : 333 (java) S 315 318 32633 0 -1 1077944384 1077 0 0 0 69 75 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886750366640 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 287136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.71 s]
# the end of solver process 318 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.33 s, system=2.73803 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.7 s]
/proc/loadavg: 1.61 1.57 1.47 6/216 613
/proc/meminfo: memFree=22813368/32770624 swapFree=67108860/67108860
[pid=318] ppid=315 vsize=10661132 memory=287136 CPUtime=2520.05 cores=0,2,4,6
/proc/318/stat : 318 (java) S 315 318 32633 0 -1 1077944320 115478 0 0 0 251732 273 0 0 20 0 15 0 95207735 10916999168 71784 33554432000 4194304 4196468 140724303522064 140724303504608 139887199010551 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
/proc/318/statm: 2665283 71784 3173 1 0 2627263 0
[pid=318/tid=320] ppid=315 vsize=10661132 memory=289680 CPUtime=2452.08 cores=0,2,4,6
/proc/318/task/320/stat : 320 (java) R 315 318 32633 0 -1 4202560 33992 0 0 0 245173 35 0 0 20 0 15 0 95207735 10916999168 71784 33554432000 4194304 4196468 140724303522064 139887203249632 139886837855505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=321] ppid=315 vsize=10661132 memory=287136 CPUtime=14.62 cores=0,2,4,6
/proc/318/task/321/stat : 321 (java) S 315 318 32633 0 -1 1077944384 9556 0 0 0 1426 36 0 0 20 0 15 0 95207736 10916999168 71784 33554432000 4194304 4196468 140724303522064 139887155562896 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=322] ppid=315 vsize=10661132 memory=3840 CPUtime=14.63 cores=0,2,4,6
/proc/318/task/322/stat : 322 (java) S 315 318 32633 0 -1 1077944384 13071 0 0 0 1425 38 0 0 20 0 15 0 95207736 10916999168 71784 33554432000 4194304 4196468 140724303522064 139887154510096 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=323] ppid=315 vsize=10661132 memory=279815107873792 CPUtime=14.64 cores=0,2,4,6
/proc/318/task/323/stat : 323 (java) S 315 318 32633 0 -1 1077944384 12874 0 0 0 1428 36 0 0 20 0 15 0 95207736 10916999168 71784 33554432000 4194304 4196468 140724303522064 139887153457808 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=324] ppid=315 vsize=10661132 memory=0 CPUtime=14.63 cores=0,2,4,6
/proc/318/task/324/stat : 324 (java) S 315 318 32633 0 -1 1077944384 11989 0 0 0 1427 36 0 0 20 0 15 0 95207736 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886802688528 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=325] ppid=315 vsize=10661132 memory=292648 CPUtime=5.13 cores=0,2,4,6
/proc/318/task/325/stat : 325 (java) S 315 318 32633 0 -1 1077944384 12579 0 0 0 467 46 0 0 20 0 15 0 95207738 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886758787696 139887199021698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=326] ppid=315 vsize=10661132 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/318/task/326/stat : 326 (java) S 315 318 32633 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886757733728 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=327] ppid=315 vsize=10661132 memory=288676 CPUtime=0 cores=0,2,4,6
/proc/318/task/327/stat : 327 (java) S 315 318 32633 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 95207738 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886756681328 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=328] ppid=315 vsize=10661132 memory=289680 CPUtime=0 cores=0,2,4,6
/proc/318/task/328/stat : 328 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886755629648 139887199029147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=329] ppid=315 vsize=10661132 memory=290676 CPUtime=1.27 cores=0,2,4,6
/proc/318/task/329/stat : 329 (java) S 315 318 32633 0 -1 1077944384 8789 0 0 0 126 1 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886754576496 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=330] ppid=315 vsize=10661132 memory=292136 CPUtime=1.07 cores=0,2,4,6
/proc/318/task/330/stat : 330 (java) S 315 318 32633 0 -1 1077944384 6600 0 0 0 106 1 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886753523696 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=331] ppid=315 vsize=10661132 memory=288164 CPUtime=0.43 cores=0,2,4,6
/proc/318/task/331/stat : 331 (java) S 315 318 32633 0 -1 1077944384 3525 0 0 0 42 1 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886752471408 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=332] ppid=315 vsize=10661132 memory=289188 CPUtime=0 cores=0,2,4,6
/proc/318/task/332/stat : 332 (java) S 315 318 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886751418848 139887199020757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
[pid=318/tid=333] ppid=315 vsize=10661132 memory=291624 CPUtime=1.44 cores=0,2,4,6
/proc/318/task/333/stat : 333 (java) S 315 318 32633 0 -1 1077944384 1077 0 0 0 69 75 0 0 20 0 15 0 95207741 10916999168 71784 33554432000 4194304 4196468 140724303522064 139886750366640 139887199021698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11821056 140724303524981 140724303525129 140724303525129 140724303527887 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 287136 KiB
Child status: 143
Real time (s): 2473.71
CPU time (s): 2520.07
CPU user time (s): 2517.33
CPU system time (s): 2.73803
CPU usage (%): 101.874
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 1122288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.33
system time used= 2.73803
maximum resident set size= 1144344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 177549
involuntary context switches= 6749
# summary of solver processes directly reported to runsolver:
# pid: 318
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.33
# total CPU system time (s): 2.73803
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8915 second user time and 23.1794 second system time
The end