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 (14562 MiB free)
memory of node 1: 16384 MiB (9376 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406073-1569410524/watcher-4406073-1569410524 -o /var/tmp/evaluation-result-4406073-1569410524/solver-4406073-1569410524 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569405077-8296 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1106784249 HOME/instance-4406073-1569410524.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=9125, runsolver pid=9122
[startup+0.100122 s]*
/proc/loadavg: 1.75 1.61 1.42 4/228 9141
/proc/meminfo: memFree=24498496/32770624 swapFree=66954228/67108860
[pid=9125] ppid=9122 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9125/stat : 9125 (xcsp3-exec) S 9122 9125 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517307657 115843072 364 33554432000 4194304 5098028 140724697560432 140724697558536 140153167295100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10117120 140724697568086 140724697568345 140724697568345 140724697571270 0
/proc/9125/statm: 28282 364 305 221 0 87 0
[pid=9127] ppid=9125 vsize=15144776 memory=28752 CPUtime=0.13 cores=0,2,4,6
/proc/9127/stat : 9127 (java) S 9125 9125 8265 0 -1 1077944320 5610 0 0 0 12 1 0 0 20 0 15 0 517307658 15508250624 7188 33554432000 4194304 4196468 140723473665728 140723473648272 140170398101239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
/proc/9127/statm: 3786194 7188 3183 1 0 3748377 0
[pid=9127/tid=9128] ppid=9125 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/9127/task/9128/stat : 9128 (java) R 9125 9125 8265 0 -1 4202560 3545 0 0 0 8 0 0 0 20 0 15 0 517307658 15508250624 7253 33554432000 4194304 4196468 140723473665728 140170402337344 140170398123165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9129] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9129/stat : 9129 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15508250624 7253 33554432000 4194304 4196468 140723473665728 140170354653456 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9130] ppid=9125 vsize=15144776 memory=288370350621755008 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9130/stat : 9130 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15508250624 7253 33554432000 4194304 4196468 140723473665728 140170353600912 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9131] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9131/stat : 9131 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15508250624 7253 33554432000 4194304 4196468 140723473665728 140170352548368 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9132] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9132/stat : 9132 (java) S 9125 9125 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307659 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169987676816 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9133] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9133/stat : 9133 (java) S 9125 9125 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307660 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169866705392 140170398112386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9134] ppid=9125 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9134/stat : 9134 (java) S 9125 9125 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517307660 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169865651616 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9135] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9135/stat : 9135 (java) S 9125 9125 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517307661 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169864599024 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9136] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9136/stat : 9136 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169863547600 140170398119835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9137] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9137/stat : 9137 (java) R 9125 9125 8265 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 517307663 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169862494192 140170398112386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9138] ppid=9125 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9138/stat : 9138 (java) R 9125 9125 8265 0 -1 4202560 166 0 0 0 0 0 0 0 20 0 15 0 517307663 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169861422640 140170381658059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9139] ppid=9125 vsize=15144776 memory=139974470043264 CPUtime=0.02 cores=0,2,4,6
/proc/9127/task/9139/stat : 9139 (java) R 9125 9125 8265 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 517307663 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169860389104 140170376732901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9140] ppid=9125 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9140/stat : 9140 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169859336800 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9141] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9141/stat : 9141 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307663 15508250624 7253 33554432000 4194304 4196468 140723473665728 140169858284336 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30208 KiB
[startup+0.210796 s]*
/proc/loadavg: 1.75 1.61 1.42 3/228 9141
/proc/meminfo: memFree=24486532/32770624 swapFree=66954228/67108860
[pid=9125] ppid=9122 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9125/stat : 9125 (xcsp3-exec) S 9122 9125 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517307657 115843072 364 33554432000 4194304 5098028 140724697560432 140724697558536 140153167295100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10117120 140724697568086 140724697568345 140724697568345 140724697571270 0
/proc/9125/statm: 28282 364 305 221 0 87 0
[pid=9127] ppid=9125 vsize=15144776 memory=40324 CPUtime=0.35 cores=0,2,4,6
/proc/9127/stat : 9127 (java) S 9125 9125 8265 0 -1 1077944320 9302 0 0 0 32 3 0 0 20 0 15 0 517307658 15508250624 10081 33554432000 4194304 4196468 140723473665728 140723473648272 140170398101239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
/proc/9127/statm: 3786194 10081 3299 1 0 3748377 0
[pid=9127/tid=9128] ppid=9125 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9127/task/9128/stat : 9128 (java) R 9125 9125 8265 0 -1 4202560 6524 0 0 0 18 2 0 0 20 0 15 0 517307658 15508250624 10081 33554432000 4194304 4196468 140723473665728 140170402334704 140170398113174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9129] ppid=9125 vsize=15144776 memory=10594 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9129/stat : 9129 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15508250624 10081 33554432000 4194304 4196468 140723473665728 140170354653456 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9130] ppid=9125 vsize=15144776 memory=139974470059712 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9130/stat : 9130 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15508250624 10081 33554432000 4194304 4196468 140723473665728 140170353600912 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9131] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9131/stat : 9131 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15508250624 10081 33554432000 4194304 4196468 140723473665728 140170352548368 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9132] ppid=9125 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9132/stat : 9132 (java) S 9125 9125 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307659 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169987676816 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9133] ppid=9125 vsize=15144776 memory=139974470043264 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9133/stat : 9133 (java) S 9125 9125 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517307660 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169866705392 140170398112386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9134] ppid=9125 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9134/stat : 9134 (java) S 9125 9125 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517307660 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169865651616 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9135] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9135/stat : 9135 (java) S 9125 9125 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517307661 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169864599024 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9136] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9136/stat : 9136 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169863547600 140170398119835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9137] ppid=9125 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9127/task/9137/stat : 9137 (java) R 9125 9125 8265 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 517307663 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169862494192 140170398112386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9138] ppid=9125 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9127/task/9138/stat : 9138 (java) S 9125 9125 8265 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 517307663 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169861441648 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9139] ppid=9125 vsize=15144776 memory=139974470043264 CPUtime=0.08 cores=0,2,4,6
/proc/9127/task/9139/stat : 9139 (java) R 9125 9125 8265 0 -1 4202560 835 0 0 0 8 0 0 0 20 0 15 0 517307663 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169860389104 140170390338366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9140] ppid=9125 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9140/stat : 9140 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169859336800 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9141] ppid=9125 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9141/stat : 9141 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307663 15508250624 10081 33554432000 4194304 4196468 140723473665728 140169858284336 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41780 KiB
[startup+0.310747 s]*
/proc/loadavg: 1.75 1.61 1.42 4/228 9141
/proc/meminfo: memFree=24479000/32770624 swapFree=66954228/67108860
[pid=9125] ppid=9122 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9125/stat : 9125 (xcsp3-exec) S 9122 9125 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517307657 115843072 364 33554432000 4194304 5098028 140724697560432 140724697558536 140153167295100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10117120 140724697568086 140724697568345 140724697568345 140724697571270 0
/proc/9125/statm: 28282 364 305 221 0 87 0
[pid=9127] ppid=9125 vsize=15149032 memory=49860 CPUtime=0.53 cores=0,2,4,6
/proc/9127/stat : 9127 (java) S 9125 9125 8265 0 -1 1077944320 10771 0 0 0 50 3 0 0 20 0 15 0 517307658 15512608768 12465 33554432000 4194304 4196468 140723473665728 140723473648272 140170398101239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
/proc/9127/statm: 3787258 12465 3354 1 0 3748377 0
[pid=9127/tid=9128] ppid=9125 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/9127/task/9128/stat : 9128 (java) R 9125 9125 8265 0 -1 4202560 7677 0 0 0 27 2 0 0 20 0 15 0 517307658 15512608768 12465 33554432000 4194304 4196468 140723473665728 140170402332352 140170382181726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9129] ppid=9125 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9129/stat : 9129 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15512608768 12465 33554432000 4194304 4196468 140723473665728 140170354653456 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9130] ppid=9125 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9130/stat : 9130 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15512608768 12465 33554432000 4194304 4196468 140723473665728 140170353600912 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9131] ppid=9125 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9131/stat : 9131 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15512608768 12465 33554432000 4194304 4196468 140723473665728 140170352548368 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9132] ppid=9125 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9132/stat : 9132 (java) S 9125 9125 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307659 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169987676816 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9133] ppid=9125 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9133/stat : 9133 (java) S 9125 9125 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517307660 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169866705392 140170398112386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9134] ppid=9125 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9134/stat : 9134 (java) S 9125 9125 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517307660 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169865651616 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9135] ppid=9125 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9135/stat : 9135 (java) S 9125 9125 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517307661 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169864599024 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9136] ppid=9125 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9136/stat : 9136 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169863547600 140170398119835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9137] ppid=9125 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/9127/task/9137/stat : 9137 (java) S 9125 9125 8265 0 -1 1077944384 458 0 0 0 4 0 0 0 20 0 15 0 517307663 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169862494192 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9138] ppid=9125 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/9127/task/9138/stat : 9138 (java) R 9125 9125 8265 0 -1 4202560 346 0 0 0 5 0 0 0 20 0 15 0 517307663 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169861432032 140170377357832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9139] ppid=9125 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9127/task/9139/stat : 9139 (java) S 9125 9125 8265 0 -1 1077944384 996 0 0 0 13 0 0 0 20 0 15 0 517307663 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169860389104 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9140] ppid=9125 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9140/stat : 9140 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169859336800 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9141] ppid=9125 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9141/stat : 9141 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307663 15512608768 12465 33554432000 4194304 4196468 140723473665728 140169858284336 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51316 KiB
[startup+0.700808 s]
/proc/loadavg: 1.75 1.61 1.42 6/228 9141
/proc/meminfo: memFree=24464340/32770624 swapFree=66954228/67108860
[pid=9125] ppid=9122 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9125/stat : 9125 (xcsp3-exec) S 9122 9125 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517307657 115843072 364 33554432000 4194304 5098028 140724697560432 140724697558536 140153167295100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10117120 140724697568086 140724697568345 140724697568345 140724697571270 0
/proc/9125/statm: 28282 364 305 221 0 87 0
[pid=9127] ppid=9125 vsize=15151156 memory=83832 CPUtime=1.63 cores=0,2,4,6
/proc/9127/stat : 9127 (java) S 9125 9125 8265 0 -1 1077944320 18306 0 0 0 158 5 0 0 20 0 15 0 517307658 15514783744 20958 33554432000 4194304 4196468 140723473665728 140723473648272 140170398101239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
/proc/9127/statm: 3787789 20958 3456 1 0 3748889 0
[pid=9127/tid=9128] ppid=9125 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/9127/task/9128/stat : 9128 (java) R 9125 9125 8265 0 -1 4202560 9058 0 0 0 64 3 0 0 20 0 15 0 517307658 15514783744 20958 33554432000 4194304 4196468 140723473665728 140170402338720 140170035802780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9129] ppid=9125 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9129/stat : 9129 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15514783744 20958 33554432000 4194304 4196468 140723473665728 140170354653456 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9130] ppid=9125 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9130/stat : 9130 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15514783744 20958 33554432000 4194304 4196468 140723473665728 140170353600912 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9131] ppid=9125 vsize=15151156 memory=708 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9131/stat : 9131 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307659 15514783744 20958 33554432000 4194304 4196468 140723473665728 140170352548368 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9132] ppid=9125 vsize=15151156 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9132/stat : 9132 (java) S 9125 9125 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307659 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169987676816 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9133] ppid=9125 vsize=15151156 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9133/stat : 9133 (java) S 9125 9125 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517307660 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169866705392 140170398112386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9134] ppid=9125 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9134/stat : 9134 (java) S 9125 9125 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517307660 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169865651616 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9135] ppid=9125 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9135/stat : 9135 (java) S 9125 9125 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517307661 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169864599024 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9136] ppid=9125 vsize=15151156 memory=8220 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9136/stat : 9136 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169863547600 140170398119835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9137] ppid=9125 vsize=15151156 memory=3616 CPUtime=0.33 cores=0,2,4,6
/proc/9127/task/9137/stat : 9137 (java) R 9125 9125 8265 0 -1 4202560 3606 0 0 0 33 0 0 0 20 0 15 0 517307663 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169862475208 140170381584724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9138] ppid=9125 vsize=15151156 memory=1556 CPUtime=0.33 cores=0,2,4,6
/proc/9127/task/9138/stat : 9138 (java) R 9125 9125 8265 0 -1 4202560 2661 0 0 0 33 0 0 0 20 0 15 0 517307663 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169861427752 140170381485839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9139] ppid=9125 vsize=15151156 memory=2832 CPUtime=0.27 cores=0,2,4,6
/proc/9127/task/9139/stat : 9139 (java) S 9125 9125 8265 0 -1 1077944384 1673 0 0 0 27 0 0 0 20 0 15 0 517307663 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169860389104 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9140] ppid=9125 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9140/stat : 9140 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169859336800 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9141] ppid=9125 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9141/stat : 9141 (java) S 9125 9125 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 20958 33554432000 4194304 4196468 140723473665728 140169858284336 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 85288 KiB
[startup+1.50083 s]
/proc/loadavg: 1.75 1.61 1.42 5/229 9149
/proc/meminfo: memFree=24417820/32770624 swapFree=66954228/67108860
[pid=9125] ppid=9122 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9125/stat : 9125 (xcsp3-exec) S 9122 9125 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517307657 115843072 364 33554432000 4194304 5098028 140724697560432 140724697558536 140153167295100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10117120 140724697568086 140724697568345 140724697568345 140724697571270 0
/proc/9125/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/9125/stat : 9125 (xcsp3-exec) S 9122 9125 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517307657 115843072 364 33554432000 4194304 5098028 140724697560432 140724697558536 140153167295100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10117120 140724697568086 140724697568345 140724697568345 140724697571270 0
/proc/9125/statm: 28282 364 305 221 0 87 0
[pid=9127] ppid=9125 vsize=15151156 memory=206860 CPUtime=91.65 cores=0,2,4,6
/proc/9127/stat : 9127 (java) S 9125 9125 8265 0 -1 1077944320 60120 0 0 0 9148 17 0 0 20 0 15 0 517307658 15514783744 51715 33554432000 4194304 4196468 140723473665728 140723473648272 140170398101239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
/proc/9127/statm: 3787789 51715 3497 1 0 3748889 0
[pid=9127/tid=9128] ppid=9125 vsize=15151156 memory=708 CPUtime=86.8 cores=0,2,4,6
/proc/9127/task/9128/stat : 9128 (java) R 9125 9125 8265 0 -1 4202560 12050 0 0 0 8674 6 0 0 20 0 15 0 517307658 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170402340000 140170037407554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9129] ppid=9125 vsize=15151156 memory=9364 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9129/stat : 9129 (java) S 9125 9125 8265 0 -1 1077944384 715 0 0 0 13 1 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170354653456 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9130] ppid=9125 vsize=15151156 memory=1120 CPUtime=0.15 cores=0,2,4,6
/proc/9127/task/9130/stat : 9130 (java) S 9125 9125 8265 0 -1 1077944384 947 0 0 0 14 1 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170353600912 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9131] ppid=9125 vsize=15151156 memory=776 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9131/stat : 9131 (java) S 9125 9125 8265 0 -1 1077944384 541 0 0 0 14 0 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170352548368 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9132] ppid=9125 vsize=15151156 memory=21984 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9132/stat : 9132 (java) S 9125 9125 8265 0 -1 1077944384 1493 0 0 0 14 0 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169987676816 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9133] ppid=9125 vsize=15151156 memory=2120 CPUtime=0.13 cores=0,2,4,6
/proc/9127/task/9133/stat : 9133 (java) S 9125 9125 8265 0 -1 1077944384 1275 0 0 0 13 0 0 0 20 0 15 0 517307660 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169866705392 140170398112386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9134] ppid=9125 vsize=15151156 memory=12036 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9134/stat : 9134 (java) S 9125 9125 8265 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517307660 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169865651680 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9135] ppid=9125 vsize=15151156 memory=496 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9135/stat : 9135 (java) S 9125 9125 8265 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 517307661 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169864599040 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9136] ppid=9125 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9136/stat : 9136 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169863547600 140170398119835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9137] ppid=9125 vsize=15151156 memory=928 CPUtime=1.8 cores=0,2,4,6
/proc/9127/task/9137/stat : 9137 (java) S 9125 9125 8265 0 -1 1077944384 18593 0 0 0 179 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169862494192 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9138] ppid=9125 vsize=15151156 memory=1680 CPUtime=1.88 cores=0,2,4,6
/proc/9127/task/9138/stat : 9138 (java) S 9125 9125 8265 0 -1 1077944384 16062 0 0 0 185 3 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169861441648 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9139] ppid=9125 vsize=15151156 memory=206860 CPUtime=0.36 cores=0,2,4,6
/proc/9127/task/9139/stat : 9139 (java) S 9125 9125 8265 0 -1 1077944384 5742 0 0 0 35 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169860389104 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9140] ppid=9125 vsize=15151156 memory=290763849282617370 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9140/stat : 9140 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169859336800 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9141] ppid=9125 vsize=15151156 memory=288230596050944315 CPUtime=0.03 cores=0,2,4,6
/proc/9127/task/9141/stat : 9141 (java) S 9125 9125 8265 0 -1 1077944384 1325 0 0 0 2 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169858284336 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
Current children cumulated CPU time: 91.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 208316 KiB
[startup+88.0008 s]*
/proc/loadavg: 1.84 1.68 1.47 3/229 9155
/proc/meminfo: memFree=24319468/32770624 swapFree=66954228/67108860
[pid=9125] ppid=9122 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9125/stat : 9125 (xcsp3-exec) S 9122 9125 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517307657 115843072 364 33554432000 4194304 5098028 140724697560432 140724697558536 140153167295100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10117120 140724697568086 140724697568345 140724697568345 140724697571270 0
/proc/9125/statm: 28282 364 305 221 0 87 0
[pid=9127] ppid=9125 vsize=15151156 memory=206860 CPUtime=92.46 cores=0,2,4,6
/proc/9127/stat : 9127 (java) S 9125 9125 8265 0 -1 1077944320 60122 0 0 0 9229 17 0 0 20 0 15 0 517307658 15514783744 51715 33554432000 4194304 4196468 140723473665728 140723473648272 140170398101239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
/proc/9127/statm: 3787789 51715 3497 1 0 3748889 0
[pid=9127/tid=9128] ppid=9125 vsize=15151156 memory=8317482817917895235 CPUtime=87.61 cores=0,2,4,6
/proc/9127/task/9128/stat : 9128 (java) R 9125 9125 8265 0 -1 4202560 12051 0 0 0 8755 6 0 0 20 0 15 0 517307658 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170402340432 140170037406372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9129] ppid=9125 vsize=15151156 memory=1456 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9129/stat : 9129 (java) S 9125 9125 8265 0 -1 1077944384 715 0 0 0 13 1 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170354653456 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9130] ppid=9125 vsize=15151156 memory=206860 CPUtime=0.15 cores=0,2,4,6
/proc/9127/task/9130/stat : 9130 (java) S 9125 9125 8265 0 -1 1077944384 947 0 0 0 14 1 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170353600912 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9131] ppid=9125 vsize=15151156 memory=1164 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9131/stat : 9131 (java) S 9125 9125 8265 0 -1 1077944384 542 0 0 0 14 0 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170352548368 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9132] ppid=9125 vsize=15151156 memory=8317482817917895235 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9132/stat : 9132 (java) S 9125 9125 8265 0 -1 1077944384 1493 0 0 0 14 0 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169987676816 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9133] ppid=9125 vsize=15151156 memory=3848 CPUtime=0.13 cores=0,2,4,6
/proc/9127/task/9133/stat : 9133 (java) S 9125 9125 8265 0 -1 1077944384 1275 0 0 0 13 0 0 0 20 0 15 0 517307660 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169866705392 140170398112386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9134] ppid=9125 vsize=15151156 memory=2664 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9134/stat : 9134 (java) S 9125 9125 8265 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517307660 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169865651680 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9135] ppid=9125 vsize=15151156 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9135/stat : 9135 (java) S 9125 9125 8265 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 517307661 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169864599040 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9136] ppid=9125 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9136/stat : 9136 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169863547600 140170398119835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9137] ppid=9125 vsize=15151156 memory=3232 CPUtime=1.8 cores=0,2,4,6
/proc/9127/task/9137/stat : 9137 (java) S 9125 9125 8265 0 -1 1077944384 18593 0 0 0 179 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169862494192 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9138] ppid=9125 vsize=15151156 memory=1456 CPUtime=1.88 cores=0,2,4,6
/proc/9127/task/9138/stat : 9138 (java) S 9125 9125 8265 0 -1 1077944384 16062 0 0 0 185 3 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169861441648 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9139] ppid=9125 vsize=15151156 memory=4109836 CPUtime=0.36 cores=0,2,4,6
/proc/9127/task/9139/stat : 9139 (java) S 9125 9125 8265 0 -1 1077944384 5742 0 0 0 35 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169860389104 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9140] ppid=9125 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9140/stat : 9140 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169859336800 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9141] ppid=9125 vsize=15151156 memory=2884 CPUtime=0.03 cores=0,2,4,6
/proc/9127/task/9141/stat : 9141 (java) S 9125 9125 8265 0 -1 1077944384 1325 0 0 0 2 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169858284336 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
Current children cumulated CPU time: 92.46 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 208316 KiB
[startup+88.2008 s]
/proc/loadavg: 1.84 1.68 1.47 3/229 9155
/proc/meminfo: memFree=24319468/32770624 swapFree=66954228/67108860
[pid=9125] ppid=9122 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9125/stat : 9125 (xcsp3-exec) S 9122 9125 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517307657 115843072 364 33554432000 4194304 5098028 140724697560432 140724697558536 140153167295100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10117120 140724697568086 140724697568345 140724697568345 140724697571270 0
/proc/9125/statm: 28282 364 305 221 0 87 0
[pid=9127] ppid=9125 vsize=15151156 memory=206860 CPUtime=92.65 cores=0,2,4,6
/proc/9127/stat : 9127 (java) S 9125 9125 8265 0 -1 1077944320 60122 0 0 0 9248 17 0 0 20 0 15 0 517307658 15514783744 51715 33554432000 4194304 4196468 140723473665728 140723473648272 140170398101239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
/proc/9127/statm: 3787789 51715 3497 1 0 3748889 0
[pid=9127/tid=9128] ppid=9125 vsize=15151156 memory=1164 CPUtime=87.8 cores=0,2,4,6
/proc/9127/task/9128/stat : 9128 (java) R 9125 9125 8265 0 -1 4202560 12051 0 0 0 8774 6 0 0 20 0 15 0 517307658 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170402340320 140170037592368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9129] ppid=9125 vsize=15151156 memory=288230574492221466 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9129/stat : 9129 (java) S 9125 9125 8265 0 -1 1077944384 715 0 0 0 13 1 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170354653456 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9130] ppid=9125 vsize=15151156 memory=288230596050944315 CPUtime=0.15 cores=0,2,4,6
/proc/9127/task/9130/stat : 9130 (java) S 9125 9125 8265 0 -1 1077944384 947 0 0 0 14 1 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170353600912 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9131] ppid=9125 vsize=15151156 memory=14981065810905736 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9131/stat : 9131 (java) S 9125 9125 8265 0 -1 1077944384 542 0 0 0 14 0 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170352548368 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9132] ppid=9125 vsize=15151156 memory=9364 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9132/stat : 9132 (java) S 9125 9125 8265 0 -1 1077944384 1493 0 0 0 14 0 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169987676816 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9133] ppid=9125 vsize=15151156 memory=1120 CPUtime=0.13 cores=0,2,4,6
/proc/9127/task/9133/stat : 9133 (java) S 9125 9125 8265 0 -1 1077944384 1275 0 0 0 13 0 0 0 20 0 15 0 517307660 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169866705392 140170398112386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9134] ppid=9125 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9134/stat : 9134 (java) S 9125 9125 8265 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517307660 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169865651680 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9135] ppid=9125 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9135/stat : 9135 (java) S 9125 9125 8265 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 517307661 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169864599040 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9136] ppid=9125 vsize=15151156 memory=21984 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9136/stat : 9136 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169863547600 140170398119835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9137] ppid=9125 vsize=15151156 memory=2120 CPUtime=1.8 cores=0,2,4,6
/proc/9127/task/9137/stat : 9137 (java) S 9125 9125 8265 0 -1 1077944384 18593 0 0 0 179 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169862494192 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9138] ppid=9125 vsize=15151156 memory=12036 CPUtime=1.88 cores=0,2,4,6
/proc/9127/task/9138/stat : 9138 (java) S 9125 9125 8265 0 -1 1077944384 16062 0 0 0 185 3 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169861441648 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9139] ppid=9125 vsize=15151156 memory=496 CPUtime=0.36 cores=0,2,4,6
/proc/9127/task/9139/stat : 9139 (java) S 9125 9125 8265 0 -1 1077944384 5742 0 0 0 35 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169860389104 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9140] ppid=9125 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9140/stat : 9140 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169859336800 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9141] ppid=9125 vsize=15151156 memory=928 CPUtime=0.03 cores=0,2,4,6
/proc/9127/task/9141/stat : 9141 (java) S 9125 9125 8265 0 -1 1077944384 1325 0 0 0 2 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169858284336 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
Current children cumulated CPU time: 92.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 208316 KiB
[startup+88.3008 s]
/proc/loadavg: 1.84 1.68 1.47 3/229 9155
/proc/meminfo: memFree=24319468/32770624 swapFree=66954228/67108860
[pid=9125] ppid=9122 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9125/stat : 9125 (xcsp3-exec) S 9122 9125 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517307657 115843072 364 33554432000 4194304 5098028 140724697560432 140724697558536 140153167295100 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10117120 140724697568086 140724697568345 140724697568345 140724697571270 0
/proc/9125/statm: 28282 364 305 221 0 87 0
[pid=9127] ppid=9125 vsize=15151156 memory=206860 CPUtime=92.75 cores=0,2,4,6
/proc/9127/stat : 9127 (java) S 9125 9125 8265 0 -1 1077944320 60122 0 0 0 9258 17 0 0 20 0 15 0 517307658 15514783744 51715 33554432000 4194304 4196468 140723473665728 140723473648272 140170398101239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
/proc/9127/statm: 3787789 51715 3497 1 0 3748889 0
[pid=9127/tid=9128] ppid=9125 vsize=15151156 memory=1680 CPUtime=87.9 cores=0,2,4,6
/proc/9127/task/9128/stat : 9128 (java) R 9125 9125 8265 0 -1 4202560 12051 0 0 0 8784 6 0 0 20 0 15 0 517307658 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170402340320 140170036501803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9129] ppid=9125 vsize=15151156 memory=1456 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9129/stat : 9129 (java) S 9125 9125 8265 0 -1 1077944384 715 0 0 0 13 1 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170354653456 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9130] ppid=9125 vsize=15151156 memory=204384 CPUtime=0.15 cores=0,2,4,6
/proc/9127/task/9130/stat : 9130 (java) S 9125 9125 8265 0 -1 1077944384 947 0 0 0 14 1 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170353600912 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9131] ppid=9125 vsize=15151156 memory=1456 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9131/stat : 9131 (java) S 9125 9125 8265 0 -1 1077944384 542 0 0 0 14 0 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140170352548368 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9132] ppid=9125 vsize=15151156 memory=206636 CPUtime=0.14 cores=0,2,4,6
/proc/9127/task/9132/stat : 9132 (java) S 9125 9125 8265 0 -1 1077944384 1493 0 0 0 14 0 0 0 20 0 15 0 517307659 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169987676816 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9133] ppid=9125 vsize=15151156 memory=204044 CPUtime=0.13 cores=0,2,4,6
/proc/9127/task/9133/stat : 9133 (java) S 9125 9125 8265 0 -1 1077944384 1275 0 0 0 13 0 0 0 20 0 15 0 517307660 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169866705392 140170398112386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9134] ppid=9125 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9134/stat : 9134 (java) S 9125 9125 8265 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517307660 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169865651680 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9135] ppid=9125 vsize=15151156 memory=204044 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9135/stat : 9135 (java) S 9125 9125 8265 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 517307661 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169864599040 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9136] ppid=9125 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9136/stat : 9136 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169863547600 140170398119835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9137] ppid=9125 vsize=15151156 memory=1456 CPUtime=1.8 cores=0,2,4,6
/proc/9127/task/9137/stat : 9137 (java) S 9125 9125 8265 0 -1 1077944384 18593 0 0 0 179 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169862494192 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9138] ppid=9125 vsize=15151156 memory=206860 CPUtime=1.88 cores=0,2,4,6
/proc/9127/task/9138/stat : 9138 (java) S 9125 9125 8265 0 -1 1077944384 16062 0 0 0 185 3 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169861441648 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9139] ppid=9125 vsize=15151156 memory=1044 CPUtime=0.36 cores=0,2,4,6
/proc/9127/task/9139/stat : 9139 (java) S 9125 9125 8265 0 -1 1077944384 5742 0 0 0 35 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169860389104 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9140] ppid=9125 vsize=15151156 memory=204044 CPUtime=0 cores=0,2,4,6
/proc/9127/task/9140/stat : 9140 (java) S 9125 9125 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169859336800 140170398111445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
[pid=9127/tid=9141] ppid=9125 vsize=15151156 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/9127/task/9141/stat : 9141 (java) S 9125 9125 8265 0 -1 1077944384 1325 0 0 0 2 1 0 0 20 0 15 0 517307663 15514783744 51715 33554432000 4194304 4196468 140723473665728 140169858284336 140170398112386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36782080 140723473667035 140723473667210 140723473667210 140723473670095 0
Current children cumulated CPU time: 92.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 208316 KiB
Child status: 0
Real time (s): 88.3252
CPU time (s): 92.7938
CPU user time (s): 92.6103
CPU system time (s): 0.183433
CPU usage (%): 105.059
Max. virtual memory (cumulated for all children) (KiB): 15266512
Max. memory (cumulated for all children) (KiB): 228500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.6103
system time used= 0.183433
maximum resident set size= 227840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7202
involuntary context switches= 224
# summary of solver processes directly reported to runsolver:
# pid: 9125
# total CPU time (s): 92.7938
# total CPU user time (s): 92.6103
# total CPU system time (s): 0.183433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.590351 second user time and 0.865553 second system time
The end