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 (15309 MiB free)
memory of node 1: 16384 MiB (7213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254938-1502644596/watcher-4254938-1502644596 -o /tmp/evaluation-result-4254938-1502644596/solver-4254938-1502644596 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502642281-27768 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 1811354675 HOME/instance-4254938-1502644596.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=29051, runsolver pid=29048
[startup+0.100123 s]*
/proc/loadavg: 2.88 2.64 2.27 5/207 29052
/proc/meminfo: memFree=23060856/32770624 swapFree=67108776/67108860
[pid=29051] ppid=29048 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/29051/stat : 29051 (runsolver) D 29048 29051 7084 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 164112395 34791424 113 18446744073709551615 4194304 4346622 140721579223952 140721579220584 139785334887127 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 39538688 140721579225151 140721579225641 140721579225641 140721579229130 0
/proc/29051/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209727 s]*
/proc/loadavg: 2.88 2.64 2.27 5/221 29066
/proc/meminfo: memFree=23049936/32770624 swapFree=67108776/67108860
[pid=29051] ppid=29048 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29051/stat : 29051 (xcsp3-exec) S 29048 29051 7084 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 164112395 9740288 345 18446744073709551615 4194304 5098028 140724784458240 140724784456344 140429534339708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 21004288 140724784460158 140724784460362 140724784460362 140724784463851 0
/proc/29051/statm: 2378 345 289 221 0 87 0
[pid=29053] ppid=29051 vsize=13907304 memory=22004 CPUtime=0.05 cores=0,2,4,6
/proc/29053/stat : 29053 (java) S 29051 29051 7084 0 -1 1077944320 4887 0 0 0 5 0 0 0 20 0 14 0 164112408 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140722637204112 140056846774007 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
/proc/29053/statm: 3476826 5501 2575 1 0 3466323 0
[pid=29053/tid=29054] ppid=29051 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=0,2,4,6
/proc/29053/task/29054/stat : 29054 (java) D 29051 29051 7084 0 -1 4202560 3063 0 0 0 4 0 0 0 20 0 14 0 164112408 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056851011488 140056846796029 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29055] ppid=29051 vsize=13907304 memory=288230600413028190 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29055/stat : 29055 (java) S 29051 29051 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 164112409 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056446822928 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29056] ppid=29051 vsize=13907304 memory=4123520823714387616 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29056/stat : 29056 (java) S 29051 29051 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 164112409 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056445770384 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29057] ppid=29051 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29057/stat : 29057 (java) S 29051 29051 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 164112409 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056444717328 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29058] ppid=29051 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29058/stat : 29058 (java) S 29051 29051 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 164112409 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056443664784 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29059] ppid=29051 vsize=13907304 memory=139785337837184 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29059/stat : 29059 (java) S 29051 29051 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 164112410 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056190741232 140056846785154 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29060] ppid=29051 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29060/stat : 29060 (java) S 29051 29051 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 164112411 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056189687456 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29061] ppid=29051 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29061/stat : 29061 (java) S 29051 29051 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 164112411 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056188634352 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29062] ppid=29051 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29062/stat : 29062 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 164112413 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056187582928 140056846792603 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29063] ppid=29051 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29063/stat : 29063 (java) S 29051 29051 7084 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 164112413 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056186530032 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29064] ppid=29051 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29064/stat : 29064 (java) S 29051 29051 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 164112413 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056185477488 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29065] ppid=29051 vsize=13907304 memory=139785337837184 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29065/stat : 29065 (java) S 29051 29051 7084 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 14 0 164112413 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056184424432 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29066] ppid=29051 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29066/stat : 29066 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 164112413 14241079296 5501 18446744073709551615 4194304 4196468 140722637221568 140056183372128 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23384 KiB
[startup+0.316206 s]*
/proc/loadavg: 2.88 2.64 2.27 7/222 29067
/proc/meminfo: memFree=23036068/32770624 swapFree=67108776/67108860
[pid=29051] ppid=29048 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29051/stat : 29051 (xcsp3-exec) S 29048 29051 7084 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 164112395 9740288 345 18446744073709551615 4194304 5098028 140724784458240 140724784456344 140429534339708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 21004288 140724784460158 140724784460362 140724784460362 140724784463851 0
/proc/29051/statm: 2378 345 289 221 0 87 0
[pid=29053] ppid=29051 vsize=13974352 memory=31096 CPUtime=0.21 cores=0,2,4,6
/proc/29053/stat : 29053 (java) S 29051 29051 7084 0 -1 1077944320 6207 0 0 0 20 1 0 0 20 0 15 0 164112408 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140722637204112 140056846774007 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
/proc/29053/statm: 3493588 7774 2935 1 0 3482964 0
[pid=29053/tid=29054] ppid=29051 vsize=13974352 memory=-8774313645642428999 CPUtime=0.12 cores=0,2,4,6
/proc/29053/task/29054/stat : 29054 (java) R 29051 29051 7084 0 -1 4202560 3535 0 0 0 12 0 0 0 20 0 15 0 164112408 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056851005760 140056830854494 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29055] ppid=29051 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29055/stat : 29055 (java) S 29051 29051 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164112409 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056446822928 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29056] ppid=29051 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29056/stat : 29056 (java) S 29051 29051 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164112409 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056445770384 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29057] ppid=29051 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29057/stat : 29057 (java) S 29051 29051 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164112409 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056444717328 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29058] ppid=29051 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29058/stat : 29058 (java) S 29051 29051 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164112409 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056443664784 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29059] ppid=29051 vsize=13974352 memory=139785337837184 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29059/stat : 29059 (java) S 29051 29051 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164112410 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056190741232 140056846785154 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29060] ppid=29051 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29060/stat : 29060 (java) S 29051 29051 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164112411 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056189687456 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29061] ppid=29051 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29061/stat : 29061 (java) S 29051 29051 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164112411 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056188634352 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29062] ppid=29051 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29062/stat : 29062 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056187582928 140056846792603 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29063] ppid=29051 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29053/task/29063/stat : 29063 (java) S 29051 29051 7084 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 164112413 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056186530032 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29064] ppid=29051 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29053/task/29064/stat : 29064 (java) S 29051 29051 7084 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 164112413 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056185477488 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29065] ppid=29051 vsize=13974352 memory=139785337837184 CPUtime=0.04 cores=0,2,4,6
/proc/29053/task/29065/stat : 29065 (java) R 29051 29051 7084 0 -1 4202560 689 0 0 0 4 0 0 0 20 0 15 0 164112413 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056184424432 140056825723840 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29066] ppid=29051 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29066/stat : 29066 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056183372128 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29067] ppid=29051 vsize=13974352 memory=139785337837184 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29067/stat : 29067 (java) S 29051 29051 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164112419 14309736448 7774 18446744073709551615 4194304 4196468 140722637221568 140056182320176 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32476 KiB
[startup+0.701241 s]
/proc/loadavg: 2.88 2.64 2.27 8/222 29067
/proc/meminfo: memFree=22995320/32770624 swapFree=67108776/67108860
[pid=29051] ppid=29048 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29051/stat : 29051 (xcsp3-exec) S 29048 29051 7084 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 164112395 9740288 345 18446744073709551615 4194304 5098028 140724784458240 140724784456344 140429534339708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 21004288 140724784460158 140724784460362 140724784460362 140724784463851 0
/proc/29051/statm: 2378 345 289 221 0 87 0
[pid=29053] ppid=29051 vsize=13978684 memory=221292 CPUtime=0.86 cores=0,2,4,6
/proc/29053/stat : 29053 (java) S 29051 29051 7084 0 -1 1077944320 11340 0 0 0 75 11 0 0 20 0 15 0 164112408 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140722637204112 140056846774007 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
/proc/29053/statm: 3494671 55323 3117 1 0 3482964 0
[pid=29053/tid=29054] ppid=29051 vsize=13978684 memory=288230621803970871 CPUtime=0.48 cores=0,2,4,6
/proc/29053/task/29054/stat : 29054 (java) S 29051 29051 7084 0 -1 1077944384 7904 0 0 0 43 5 0 0 20 0 15 0 164112408 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056851011488 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29055] ppid=29051 vsize=13978684 memory=13563786715989427 CPUtime=0.01 cores=0,2,4,6
/proc/29053/task/29055/stat : 29055 (java) R 29051 29051 7084 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 15 0 164112409 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056446822928 140056839876724 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29056] ppid=29051 vsize=13978684 memory=39984 CPUtime=0.01 cores=0,2,4,6
/proc/29053/task/29056/stat : 29056 (java) R 29051 29051 7084 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 15 0 164112409 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056445770504 140056839877031 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29057] ppid=29051 vsize=13978684 memory=636 CPUtime=0.02 cores=0,2,4,6
/proc/29053/task/29057/stat : 29057 (java) R 29051 29051 7084 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 15 0 164112409 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056444717328 140056839876724 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29058] ppid=29051 vsize=13978684 memory=1796 CPUtime=0.01 cores=0,2,4,6
/proc/29053/task/29058/stat : 29058 (java) R 29051 29051 7084 0 -1 4202560 33 0 0 0 0 1 0 0 20 0 15 0 164112409 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056443664984 140056839876724 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29059] ppid=29051 vsize=13978684 memory=960 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29059/stat : 29059 (java) S 29051 29051 7084 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 164112410 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056190739744 140056846784213 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29060] ppid=29051 vsize=13978684 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29060/stat : 29060 (java) S 29051 29051 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164112411 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056189687456 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29061] ppid=29051 vsize=13978684 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29061/stat : 29061 (java) S 29051 29051 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164112411 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056188634352 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29062] ppid=29051 vsize=13978684 memory=4288 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29062/stat : 29062 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056187582928 140056846792603 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29063] ppid=29051 vsize=13978684 memory=2160 CPUtime=0.06 cores=0,2,4,6
/proc/29053/task/29063/stat : 29063 (java) S 29051 29051 7084 0 -1 1077944384 573 0 0 0 6 0 0 0 20 0 15 0 164112413 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056186530032 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29064] ppid=29051 vsize=13978684 memory=932 CPUtime=0.04 cores=0,2,4,6
/proc/29053/task/29064/stat : 29064 (java) S 29051 29051 7084 0 -1 1077944384 463 0 0 0 4 0 0 0 20 0 15 0 164112413 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056185477488 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29065] ppid=29051 vsize=13978684 memory=1608 CPUtime=0.16 cores=0,2,4,6
/proc/29053/task/29065/stat : 29065 (java) S 29051 29051 7084 0 -1 1077944384 988 0 0 0 16 0 0 0 20 0 15 0 164112413 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056184424432 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29066] ppid=29051 vsize=13978684 memory=836 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29066/stat : 29066 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056183372128 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29067] ppid=29051 vsize=13978684 memory=139828970664363 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29067/stat : 29067 (java) S 29051 29051 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164112419 14314172416 55323 18446744073709551615 4194304 4196468 140722637221568 140056182320176 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 222672 KiB
[startup+1.50082 s]
/proc/loadavg: 2.88 2.64 2.27 9/222 29067
/proc/meminfo: memFree=22461652/32770624 swapFree=67108776/67108860
[pid=29051] ppid=29048 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29051/stat : 29051 (xcsp3-exec) S 29048 29051 7084 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 164112395 9740288 345 18446744073709551615 4194304 5098028 140724784458240 140724784456344 140429534339708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 21004288 140724784460158 140724784460362 140724784460362 140724784463851 0
/proc/29051/statm: 2378 345 289 221 0 87 0
[pid=29053] ppid=29051 vsize=13978684 memory=626084 CPUtime=2.52 cores=0,2,4,6
/proc/29053/stat : 29053 (java) S 29051 29051 7084 0 -1 1077944320 15222 0 0 0 227 25 0 0 20 0 15 0 164112408 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140722637204112 140056846774007 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
/proc/29053/statm: 3494671 156521 3204 1 0 3482964 0
[pid=29053/tid=29054] ppid=29051 vsize=13978684 memory=279570427455832 CPUtime=1.12 cores=0,2,4,6
/proc/29053/task/29054/stat : 29054 (java) R 29051 29051 7084 0 -1 4202560 8146 0 0 0 103 9 0 0 20 0 15 0 164112408 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056851012208 140056487496574 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29055] ppid=29051 vsize=13978684 memory=1830864029185 CPUtime=0.14 cores=0,2,4,6
/proc/29053/task/29055/stat : 29055 (java) S 29051 29051 7084 0 -1 1077944384 683 0 0 0 11 3 0 0 20 0 15 0 164112409 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056446822928 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29056] ppid=29051 vsize=13978684 memory=1895288538625 CPUtime=0.15 cores=0,2,4,6
/proc/29053/task/29056/stat : 29056 (java) S 29051 29051 7084 0 -1 1077944384 102 0 0 0 12 3 0 0 20 0 15 0 164112409 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056445770384 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29057] ppid=29051 vsize=13978684 memory=1972597948417 CPUtime=0.15 cores=0,2,4,6
/proc/29053/task/29057/stat : 29057 (java) S 29051 29051 7084 0 -1 1077944384 102 0 0 0 12 3 0 0 20 0 15 0 164112409 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056444717328 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29058] ppid=29051 vsize=13978684 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/29053/task/29058/stat : 29058 (java) S 29051 29051 7084 0 -1 1077944384 131 0 0 0 11 3 0 0 20 0 15 0 164112409 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056443664784 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29059] ppid=29051 vsize=13978684 memory=560040 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29059/stat : 29059 (java) S 29051 29051 7084 0 -1 1077944384 653 0 0 0 0 0 0 0 20 0 15 0 164112410 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056190741232 140056846785154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29060] ppid=29051 vsize=13978684 memory=10420 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29060/stat : 29060 (java) S 29051 29051 7084 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 164112411 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056189687456 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29061] ppid=29051 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29061/stat : 29061 (java) S 29051 29051 7084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 164112411 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056188634352 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29062] ppid=29051 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29062/stat : 29062 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056187582928 140056846792603 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29063] ppid=29051 vsize=13978684 memory=6944656592455097440 CPUtime=0.25 cores=0,2,4,6
/proc/29053/task/29063/stat : 29063 (java) S 29051 29051 7084 0 -1 1077944384 1592 0 0 0 25 0 0 0 20 0 15 0 164112413 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056186530032 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29064] ppid=29051 vsize=13978684 memory=-7361174377247368086 CPUtime=0.27 cores=0,2,4,6
/proc/29053/task/29064/stat : 29064 (java) S 29051 29051 7084 0 -1 1077944384 1265 0 0 0 27 0 0 0 20 0 15 0 164112413 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056185477488 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29065] ppid=29051 vsize=13978684 memory=-3775572685057999774 CPUtime=0.22 cores=0,2,4,6
/proc/29053/task/29065/stat : 29065 (java) S 29051 29051 7084 0 -1 1077944384 1248 0 0 0 22 0 0 0 20 0 15 0 164112413 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056184424432 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29066] ppid=29051 vsize=13978684 memory=4137293581110450563 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29066/stat : 29066 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056183372128 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29067] ppid=29051 vsize=13978684 memory=1329904169539632281 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29067/stat : 29067 (java) S 29051 29051 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164112419 14314172416 156521 18446744073709551615 4194304 4196468 140722637221568 140056182320176 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 13988196 KiB
################
# More data... #
################
/proc/29053/task/29061/stat : 29061 (java) S 29051 29051 7084 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 164112411 14316269568 1742004 18446744073709551615 4194304 4196468 140722637221568 140056188634368 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29062] ppid=29051 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29062/stat : 29062 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14316269568 1742004 18446744073709551615 4194304 4196468 140722637221568 140056187582928 140056846792603 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29063] ppid=29051 vsize=13980732 memory=5768 CPUtime=0.45 cores=0,2,4,6
/proc/29053/task/29063/stat : 29063 (java) S 29051 29051 7084 0 -1 1077944384 2805 0 0 0 44 1 0 0 20 0 15 0 164112413 14316269568 1742004 18446744073709551615 4194304 4196468 140722637221568 140056186530032 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29064] ppid=29051 vsize=13980732 memory=12320 CPUtime=0.42 cores=0,2,4,6
/proc/29053/task/29064/stat : 29064 (java) S 29051 29051 7084 0 -1 1077944384 2205 0 0 0 42 0 0 0 20 0 15 0 164112413 14316269568 1742004 18446744073709551615 4194304 4196468 140722637221568 140056185477488 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29065] ppid=29051 vsize=13980732 memory=1196 CPUtime=0.3 cores=0,2,4,6
/proc/29053/task/29065/stat : 29065 (java) S 29051 29051 7084 0 -1 1077944384 2621 0 0 0 30 0 0 0 20 0 15 0 164112413 14316269568 1742004 18446744073709551615 4194304 4196468 140722637221568 140056184424432 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29066] ppid=29051 vsize=13980732 memory=15884 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29066/stat : 29066 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14316269568 1742004 18446744073709551615 4194304 4196468 140722637221568 140056183372128 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29067] ppid=29051 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/29053/task/29067/stat : 29067 (java) S 29051 29051 7084 0 -1 1077944384 307 0 0 0 2 1 0 0 20 0 15 0 164112419 14316269568 1742004 18446744073709551615 4194304 4196468 140722637221568 140056182320176 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
Current children cumulated CPU time: 69.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6969396 KiB
[startup+102.301 s]
/proc/loadavg: 2.54 2.62 2.30 3/219 29147
/proc/meminfo: memFree=19085620/32770624 swapFree=67108776/67108860
[pid=29051] ppid=29048 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29051/stat : 29051 (xcsp3-exec) S 29048 29051 7084 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 164112395 9740288 345 18446744073709551615 4194304 5098028 140724784458240 140724784456344 140429534339708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 21004288 140724784460158 140724784460362 140724784460362 140724784463851 0
/proc/29051/statm: 2378 345 289 221 0 87 0
[pid=29053] ppid=29051 vsize=13980732 memory=7293924 CPUtime=128.97 cores=0,2,4,6
/proc/29053/stat : 29053 (java) S 29051 29051 7084 0 -1 1077944320 91283 0 0 0 12073 824 0 0 20 0 15 0 164112408 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140722637204112 140056846774007 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
/proc/29053/statm: 3495183 1823481 3248 1 0 3483476 0
[pid=29053/tid=29054] ppid=29051 vsize=13980732 memory=87 CPUtime=94.91 cores=0,2,4,6
/proc/29053/task/29054/stat : 29054 (java) R 29051 29051 7084 0 -1 4202560 17496 0 0 0 9478 13 0 0 20 0 15 0 164112408 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056851009920 140056491994267 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29055] ppid=29051 vsize=13980732 memory=4156 CPUtime=6.23 cores=0,2,4,6
/proc/29053/task/29055/stat : 29055 (java) S 29051 29051 7084 0 -1 1077944384 8293 0 0 0 426 197 0 0 20 0 15 0 164112409 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056446822928 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29056] ppid=29051 vsize=13980732 memory=7293924 CPUtime=6.28 cores=0,2,4,6
/proc/29053/task/29056/stat : 29056 (java) S 29051 29051 7084 0 -1 1077944384 6962 0 0 0 438 190 0 0 20 0 15 0 164112409 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056445770384 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29057] ppid=29051 vsize=13980732 memory=0 CPUtime=6.26 cores=0,2,4,6
/proc/29053/task/29057/stat : 29057 (java) S 29051 29051 7084 0 -1 1077944384 7501 0 0 0 424 202 0 0 20 0 15 0 164112409 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056444717328 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29058] ppid=29051 vsize=13980732 memory=0 CPUtime=6.23 cores=0,2,4,6
/proc/29053/task/29058/stat : 29058 (java) S 29051 29051 7084 0 -1 1077944384 7362 0 0 0 417 206 0 0 20 0 15 0 164112409 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056443664784 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29059] ppid=29051 vsize=13980732 memory=288293276820439812 CPUtime=0.88 cores=0,2,4,6
/proc/29053/task/29059/stat : 29059 (java) S 29051 29051 7084 0 -1 1077944384 13628 0 0 0 86 2 0 0 20 0 15 0 164112410 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056190741232 140056846785154 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29060] ppid=29051 vsize=13980732 memory=39984 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29060/stat : 29060 (java) S 29051 29051 7084 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 164112411 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056189687520 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29061] ppid=29051 vsize=13980732 memory=636 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29061/stat : 29061 (java) S 29051 29051 7084 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 164112411 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056188634368 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29062] ppid=29051 vsize=13980732 memory=7293924 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29062/stat : 29062 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056187582928 140056846792603 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29063] ppid=29051 vsize=13980732 memory=2460 CPUtime=3.61 cores=0,2,4,6
/proc/29053/task/29063/stat : 29063 (java) S 29051 29051 7084 0 -1 1077944384 10616 0 0 0 359 2 0 0 20 0 15 0 164112413 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056186530032 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29064] ppid=29051 vsize=13980732 memory=1380 CPUtime=3.71 cores=0,2,4,6
/proc/29053/task/29064/stat : 29064 (java) S 29051 29051 7084 0 -1 1077944384 12094 0 0 0 369 2 0 0 20 0 15 0 164112413 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056185477488 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29065] ppid=29051 vsize=13980732 memory=6988316 CPUtime=0.71 cores=0,2,4,6
/proc/29053/task/29065/stat : 29065 (java) S 29051 29051 7084 0 -1 1077944384 5547 0 0 0 69 2 0 0 20 0 15 0 164112413 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056184424432 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29066] ppid=29051 vsize=13980732 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29066/stat : 29066 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056183372128 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29067] ppid=29051 vsize=13980732 memory=69344 CPUtime=0.06 cores=0,2,4,6
/proc/29053/task/29067/stat : 29067 (java) S 29051 29051 7084 0 -1 1077944384 404 0 0 0 3 3 0 0 20 0 15 0 164112419 14316269568 1823481 18446744073709551615 4194304 4196468 140722637221568 140056182320176 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
Current children cumulated CPU time: 128.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7295304 KiB
[startup+162.301 s]
/proc/loadavg: 2.20 2.51 2.29 3/218 29149
/proc/meminfo: memFree=17859128/32770624 swapFree=67108776/67108860
[pid=29051] ppid=29048 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29051/stat : 29051 (xcsp3-exec) S 29048 29051 7084 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 164112395 9740288 345 18446744073709551615 4194304 5098028 140724784458240 140724784456344 140429534339708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 21004288 140724784460158 140724784460362 140724784460362 140724784463851 0
/proc/29051/statm: 2378 345 289 221 0 87 0
[pid=29053] ppid=29051 vsize=13980732 memory=8299100 CPUtime=195.03 cores=0,2,4,6
/proc/29053/stat : 29053 (java) S 29051 29051 7084 0 -1 1077944320 120270 0 0 0 18601 902 0 0 20 0 15 0 164112408 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140722637204112 140056846774007 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
/proc/29053/statm: 3495183 2074775 3250 1 0 3483476 0
[pid=29053/tid=29054] ppid=29051 vsize=13980732 memory=1380 CPUtime=152.47 cores=0,2,4,6
/proc/29053/task/29054/stat : 29054 (java) R 29051 29051 7084 0 -1 4202560 21094 0 0 0 15233 14 0 0 20 0 15 0 164112408 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056851012152 140056491993696 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29055] ppid=29051 vsize=13980732 memory=8299100 CPUtime=8.12 cores=0,2,4,6
/proc/29053/task/29055/stat : 29055 (java) S 29051 29051 7084 0 -1 1077944384 16371 0 0 0 598 214 0 0 20 0 15 0 164112409 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056446822928 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29056] ppid=29051 vsize=13980732 memory=8 CPUtime=8.12 cores=0,2,4,6
/proc/29053/task/29056/stat : 29056 (java) S 29051 29051 7084 0 -1 1077944384 8619 0 0 0 606 206 0 0 20 0 15 0 164112409 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056445770384 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29057] ppid=29051 vsize=13980732 memory=8299100 CPUtime=8.14 cores=0,2,4,6
/proc/29053/task/29057/stat : 29057 (java) S 29051 29051 7084 0 -1 1077944384 11729 0 0 0 592 222 0 0 20 0 15 0 164112409 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056444717328 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29058] ppid=29051 vsize=13980732 memory=8299100 CPUtime=8.11 cores=0,2,4,6
/proc/29053/task/29058/stat : 29058 (java) S 29051 29051 7084 0 -1 1077944384 9410 0 0 0 585 226 0 0 20 0 15 0 164112409 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056443664784 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29059] ppid=29051 vsize=13980732 memory=1380 CPUtime=1.43 cores=0,2,4,6
/proc/29053/task/29059/stat : 29059 (java) S 29051 29051 7084 0 -1 1077944384 16777 0 0 0 140 3 0 0 20 0 15 0 164112410 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056190741232 140056846785154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29060] ppid=29051 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29060/stat : 29060 (java) S 29051 29051 7084 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 164112411 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056189687520 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29061] ppid=29051 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29061/stat : 29061 (java) S 29051 29051 7084 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 164112411 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056188634368 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29062] ppid=29051 vsize=13980732 memory=8299100 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29062/stat : 29062 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056187582928 140056846792603 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29063] ppid=29051 vsize=13980732 memory=8299100 CPUtime=3.87 cores=0,2,4,6
/proc/29053/task/29063/stat : 29063 (java) S 29051 29051 7084 0 -1 1077944384 14647 0 0 0 385 2 0 0 20 0 15 0 164112413 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056186530032 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29064] ppid=29051 vsize=13980732 memory=1380 CPUtime=3.82 cores=0,2,4,6
/proc/29053/task/29064/stat : 29064 (java) S 29051 29051 7084 0 -1 1077944384 13583 0 0 0 379 3 0 0 20 0 15 0 164112413 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056185477488 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29065] ppid=29051 vsize=13980732 memory=8299100 CPUtime=0.74 cores=0,2,4,6
/proc/29053/task/29065/stat : 29065 (java) S 29051 29051 7084 0 -1 1077944384 6199 0 0 0 72 2 0 0 20 0 15 0 164112413 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056184424432 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29066] ppid=29051 vsize=13980732 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29066/stat : 29066 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056183372128 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29067] ppid=29051 vsize=13980732 memory=8299100 CPUtime=0.09 cores=0,2,4,6
/proc/29053/task/29067/stat : 29067 (java) S 29051 29051 7084 0 -1 1077944384 454 0 0 0 5 4 0 0 20 0 15 0 164112419 14316269568 2074775 18446744073709551615 4194304 4196468 140722637221568 140056182320176 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
Current children cumulated CPU time: 195.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8300480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+217.801 s]
/proc/loadavg: 2.10 2.44 2.28 6/215 29229
/proc/meminfo: memFree=22500028/32770624 swapFree=67108776/67108860
[pid=29051] ppid=29048 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29051/stat : 29051 (xcsp3-exec) S 29048 29051 7084 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 164112395 9740288 345 18446744073709551615 4194304 5098028 140724784458240 140724784456344 140429534339708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 12 0 0 7196144 7232144 21004288 140724784460158 140724784460362 140724784460362 140724784463851 0
/proc/29051/statm: 2378 345 289 221 0 87 0
[pid=29053] ppid=29051 vsize=13980732 memory=8300312 CPUtime=252.01 cores=0,2,4,6
/proc/29053/stat : 29053 (java) S 29051 29051 7084 0 -1 1077944320 136205 0 0 0 24293 908 0 0 20 0 15 0 164112408 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140722637204112 140056846774007 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
/proc/29053/statm: 3495183 2075078 3251 1 0 3483476 0
[pid=29053/tid=29054] ppid=29051 vsize=13980732 memory=15884 CPUtime=207.96 cores=0,2,4,6
/proc/29053/task/29054/stat : 29054 (java) R 29051 29051 7084 0 -1 4202560 24321 0 0 0 20780 16 0 0 20 0 15 0 164112408 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056851012696 140056488883952 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29055] ppid=29051 vsize=13980732 memory=4044 CPUtime=8.12 cores=0,2,4,6
/proc/29053/task/29055/stat : 29055 (java) S 29051 29051 7084 0 -1 1077944384 16371 0 0 0 598 214 0 0 20 0 15 0 164112409 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056446822928 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29056] ppid=29051 vsize=13980732 memory=39984 CPUtime=8.12 cores=0,2,4,6
/proc/29053/task/29056/stat : 29056 (java) S 29051 29051 7084 0 -1 1077944384 8619 0 0 0 606 206 0 0 20 0 15 0 164112409 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056445770384 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29057] ppid=29051 vsize=13980732 memory=-8774313645642428999 CPUtime=8.14 cores=0,2,4,6
/proc/29053/task/29057/stat : 29057 (java) S 29051 29051 7084 0 -1 1077944384 11729 0 0 0 592 222 0 0 20 0 15 0 164112409 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056444717328 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29058] ppid=29051 vsize=13980732 memory=7881974896114166631 CPUtime=8.11 cores=0,2,4,6
/proc/29053/task/29058/stat : 29058 (java) S 29051 29051 7084 0 -1 1077944384 9410 0 0 0 585 226 0 0 20 0 15 0 164112409 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056443664784 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29059] ppid=29051 vsize=13980732 memory=7739274754051822446 CPUtime=1.45 cores=0,2,4,6
/proc/29053/task/29059/stat : 29059 (java) S 29051 29051 7084 0 -1 1077944384 16834 0 0 0 141 4 0 0 20 0 15 0 164112410 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056190741232 140056846785154 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29060] ppid=29051 vsize=13980732 memory=8299280 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29060/stat : 29060 (java) S 29051 29051 7084 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 164112411 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056189687520 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29061] ppid=29051 vsize=13980732 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29061/stat : 29061 (java) S 29051 29051 7084 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 164112411 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056188634368 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29062] ppid=29051 vsize=13980732 memory=8300312 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29062/stat : 29062 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056187582928 140056846792603 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29063] ppid=29051 vsize=13980732 memory=1196 CPUtime=4.5 cores=0,2,4,6
/proc/29053/task/29063/stat : 29063 (java) S 29051 29051 7084 0 -1 1077944384 16213 0 0 0 448 2 0 0 20 0 15 0 164112413 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056186530032 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29064] ppid=29051 vsize=13980732 memory=1380 CPUtime=4.61 cores=0,2,4,6
/proc/29053/task/29064/stat : 29064 (java) S 29051 29051 7084 0 -1 1077944384 24292 0 0 0 457 4 0 0 20 0 15 0 164112413 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056185477488 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29065] ppid=29051 vsize=13980732 memory=-8774313645642428999 CPUtime=0.78 cores=0,2,4,6
/proc/29053/task/29065/stat : 29065 (java) S 29051 29051 7084 0 -1 1077944384 6534 0 0 0 75 3 0 0 20 0 15 0 164112413 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056184424432 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29066] ppid=29051 vsize=13980732 memory=9352 CPUtime=0 cores=0,2,4,6
/proc/29053/task/29066/stat : 29066 (java) S 29051 29051 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164112413 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056183372128 140056846784213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
[pid=29053/tid=29067] ppid=29051 vsize=13980732 memory=1224 CPUtime=0.13 cores=0,2,4,6
/proc/29053/task/29067/stat : 29067 (java) S 29051 29051 7084 0 -1 1077944384 495 0 0 0 6 7 0 0 20 0 15 0 164112419 14316269568 2075078 18446744073709551615 4194304 4196468 140722637221568 140056182320176 140056846785154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12439552 140722637226423 140722637226598 140722637226598 140722637230031 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8301692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+217.911 s]
# the end of solver process 29051 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000899 s, system=0.001338 s
[startup+217.95 s]
# the end of solver process 29053 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.055 s, system=9.1291 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 217.95
CPU time (s): 252.184
CPU user time (s): 243.055
CPU system time (s): 9.1291
CPU usage (%): 115.707
Max. virtual memory (cumulated for all children) (KiB): 13992248
Max. memory (cumulated for all children) (KiB): 8315196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.055
system time used= 9.12909
maximum resident set size= 8313816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9090
involuntary context switches= 889
# summary of solver processes directly reported to runsolver:
# pid: 29051,29053
# total CPU time (s): 252.184
# total CPU user time (s): 243.055
# total CPU system time (s): 9.1291
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4601 second user time and 2.24339 second system time
The end