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 (15116 MiB free)
memory of node 1: 16384 MiB (15735 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281804-1503157439/watcher-4281804-1503157439 -o /tmp/evaluation-result-4281804-1503157439/solver-4281804-1503157439 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16490 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 799952800 HOME/instance-4281804-1503157439.xml
running on 4 cores: 1,3,5,7
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=27514, runsolver pid=27511
[startup+0.10014 s]*
/proc/loadavg: 2.17 2.09 2.06 3/198 27517
/proc/meminfo: memFree=31591368/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27514/stat : 27514 (xcsp3-exec) S 27511 27514 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 14153603 9740288 345 18446744073709551615 4194304 5098028 140730805643472 140730805641576 140149120393852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 29630464 140730805649786 140730805649990 140730805649990 140730805653483 0
/proc/27514/statm: 2378 345 289 221 0 87 0
[pid=27516] ppid=27514 vsize=13358712 memory=13508 CPUtime=0 cores=1,3,5,7
/proc/27516/stat : 27516 (java) S 27514 27514 16431 0 -1 1077944320 2612 0 0 0 0 0 0 0 20 0 6 0 14153613 13679321088 3377 18446744073709551615 4194304 4196468 140725436443152 140725436425696 140637245411063 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
/proc/27516/statm: 3339678 3377 1350 1 0 3329175 0
[pid=27516/tid=27517] ppid=27514 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27517/stat : 27517 (java) R 27514 27514 16431 0 -1 4202560 1402 0 0 0 0 0 0 0 20 0 6 0 14153613 13679321088 3377 18446744073709551615 4194304 4196468 140725436443152 140637249647184 140637206392694 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27518] ppid=27514 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27518/stat : 27518 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14153614 13679321088 3377 18446744073709551615 4194304 4196468 140725436443152 140637164825232 140637245421269 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27519] ppid=27514 vsize=13358712 memory=139708111427200 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27519/stat : 27519 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14153614 13679321088 3377 18446744073709551615 4194304 4196468 140725436443152 140637163772432 140637245421269 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27520] ppid=27514 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27520/stat : 27520 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 14153614 13679321088 3377 18446744073709551615 4194304 4196468 140725436443152 140637162719632 140637245421269 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27521] ppid=27514 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27521/stat : 27521 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 14153614 13679321088 3377 18446744073709551615 4194304 4196468 140725436443152 140637161666832 140637245421269 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 14888 KiB
[startup+0.209907 s]*
/proc/loadavg: 2.17 2.09 2.06 2/210 27529
/proc/meminfo: memFree=31582524/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27514/stat : 27514 (xcsp3-exec) S 27511 27514 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 14153603 9740288 345 18446744073709551615 4194304 5098028 140730805643472 140730805641576 140149120393852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 29630464 140730805649786 140730805649990 140730805649990 140730805653483 0
/proc/27514/statm: 2378 345 289 221 0 87 0
[pid=27516] ppid=27514 vsize=13907304 memory=20656 CPUtime=0.05 cores=1,3,5,7
/proc/27516/stat : 27516 (java) S 27514 27514 16431 0 -1 1077944320 4552 0 0 0 5 0 0 0 20 0 14 0 14153613 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140725436425696 140637245411063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
/proc/27516/statm: 3476826 5164 2567 1 0 3466323 0
[pid=27516/tid=27517] ppid=27514 vsize=13907304 memory=-6871798056524144002 CPUtime=0.04 cores=1,3,5,7
/proc/27516/task/27517/stat : 27517 (java) D 27514 27514 16431 0 -1 4202560 2727 0 0 0 4 0 0 0 20 0 14 0 14153613 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140637249648544 140637245433085 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27518] ppid=27514 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27518/stat : 27518 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14153614 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140637164825232 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27519] ppid=27514 vsize=13907304 memory=139708111427200 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27519/stat : 27519 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14153614 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140637163772432 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27520] ppid=27514 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27520/stat : 27520 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 14153614 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140637162719632 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27521] ppid=27514 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27521/stat : 27521 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14153614 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140637161666832 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27522] ppid=27514 vsize=13907304 memory=139708111427200 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27522/stat : 27522 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 14153615 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140636723837808 140637245422210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27523] ppid=27514 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27523/stat : 27523 (java) S 27514 27514 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 14153616 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140636722783776 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27524] ppid=27514 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27524/stat : 27524 (java) S 27514 27514 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 14153616 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140636721730928 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27525] ppid=27514 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27525/stat : 27525 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 14153618 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140636720679248 140637245429659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27526] ppid=27514 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27526/stat : 27526 (java) S 27514 27514 16431 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 14153618 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140636719626608 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27527] ppid=27514 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27527/stat : 27527 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 14153618 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140636718573808 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27528] ppid=27514 vsize=13907304 memory=139708111427200 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27528/stat : 27528 (java) S 27514 27514 16431 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 14153618 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140636717521008 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27529] ppid=27514 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27529/stat : 27529 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 14153618 14241079296 5164 18446744073709551615 4194304 4196468 140725436443152 140636716468448 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22036 KiB
[startup+0.309836 s]*
/proc/loadavg: 2.17 2.09 2.06 4/211 27530
/proc/meminfo: memFree=31573248/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27514/stat : 27514 (xcsp3-exec) S 27511 27514 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 14153603 9740288 345 18446744073709551615 4194304 5098028 140730805643472 140730805641576 140149120393852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 29630464 140730805649786 140730805649990 140730805649990 140730805653483 0
/proc/27514/statm: 2378 345 289 221 0 87 0
[pid=27516] ppid=27514 vsize=13974352 memory=31568 CPUtime=0.19 cores=1,3,5,7
/proc/27516/stat : 27516 (java) S 27514 27514 16431 0 -1 1077944320 5823 0 0 0 18 1 0 0 20 0 15 0 14153613 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140725436425696 140637245411063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
/proc/27516/statm: 3493588 7892 2932 1 0 3482964 0
[pid=27516/tid=27517] ppid=27514 vsize=13974352 memory=-8774313645642428999 CPUtime=0.11 cores=1,3,5,7
/proc/27516/task/27517/stat : 27517 (java) R 27514 27514 16431 0 -1 4202560 3177 0 0 0 11 0 0 0 20 0 15 0 14153613 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140637249645744 140637245422998 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27518] ppid=27514 vsize=13974352 memory=139708111437793 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27518/stat : 27518 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140637164825232 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27519] ppid=27514 vsize=13974352 memory=7013046284658174565 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27519/stat : 27519 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140637163772432 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27520] ppid=27514 vsize=13974352 memory=139708111427200 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27520/stat : 27520 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14153614 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140637162719632 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27521] ppid=27514 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27521/stat : 27521 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140637161666832 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27522] ppid=27514 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27522/stat : 27522 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14153615 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140636723837808 140637245422210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27523] ppid=27514 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27523/stat : 27523 (java) S 27514 27514 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14153616 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140636722783776 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27524] ppid=27514 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27524/stat : 27524 (java) S 27514 27514 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14153616 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140636721730928 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27525] ppid=27514 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27525/stat : 27525 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140636720679248 140637245429659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27526] ppid=27514 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27516/task/27526/stat : 27526 (java) S 27514 27514 16431 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 15 0 14153618 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140636719626608 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27527] ppid=27514 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27516/task/27527/stat : 27527 (java) S 27514 27514 16431 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 15 0 14153618 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140636718573808 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27528] ppid=27514 vsize=13974352 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27516/task/27528/stat : 27528 (java) R 27514 27514 16431 0 -1 4202560 668 0 0 0 4 0 0 0 20 0 15 0 14153618 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140636717521008 140637224150176 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27529] ppid=27514 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27529/stat : 27529 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140636716468448 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27530] ppid=27514 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27530/stat : 27530 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153628 14309736448 7892 18446744073709551615 4194304 4196468 140725436443152 140636715416752 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32948 KiB
[startup+0.70076 s]
/proc/loadavg: 2.17 2.09 2.06 3/211 27530
/proc/meminfo: memFree=31557152/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27514/stat : 27514 (xcsp3-exec) S 27511 27514 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 14153603 9740288 345 18446744073709551615 4194304 5098028 140730805643472 140730805641576 140149120393852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 29630464 140730805649786 140730805649990 140730805649990 140730805653483 0
/proc/27514/statm: 2378 345 289 221 0 87 0
[pid=27516] ppid=27514 vsize=13980732 memory=80372 CPUtime=1.13 cores=1,3,5,7
/proc/27516/stat : 27516 (java) S 27514 27514 16431 0 -1 1077944320 12242 0 0 0 109 4 0 0 20 0 15 0 14153613 14316269568 20093 18446744073709551615 4194304 4196468 140725436443152 140725436425696 140637245411063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
/proc/27516/statm: 3495183 20093 3155 1 0 3483476 0
[pid=27516/tid=27517] ppid=27514 vsize=13980732 memory=8751464017575425845 CPUtime=0.49 cores=1,3,5,7
/proc/27516/task/27517/stat : 27517 (java) R 27514 27514 16431 0 -1 4202560 7569 0 0 0 46 3 0 0 20 0 15 0 14153613 14316269568 20093 18446744073709551615 4194304 4196468 140725436443152 140637249647824 140637245432989 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27518] ppid=27514 vsize=13980732 memory=5861541947240501328 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27518/stat : 27518 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 20093 18446744073709551615 4194304 4196468 140725436443152 140637164825232 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27519] ppid=27514 vsize=13980732 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27519/stat : 27519 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 20093 18446744073709551615 4194304 4196468 140725436443152 140637163772432 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27520] ppid=27514 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27520/stat : 27520 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 20093 18446744073709551615 4194304 4196468 140725436443152 140637162719632 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27521] ppid=27514 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27521/stat : 27521 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 20093 18446744073709551615 4194304 4196468 140725436443152 140637161666832 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27522] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27522/stat : 27522 (java) S 27514 27514 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14153615 14316269568 20093 18446744073709551615 4194304 4196468 140725436443152 140636723837808 140637245422210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27523] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27523/stat : 27523 (java) S 27514 27514 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 20093 18446744073709551615 4194304 4196468 140725436443152 140636722783776 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27524] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27524/stat : 27524 (java) S 27514 27514 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 20140 18446744073709551615 4194304 4196468 140725436443152 140636721730928 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27525] ppid=27514 vsize=13980732 memory=30305 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27525/stat : 27525 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 20140 18446744073709551615 4194304 4196468 140725436443152 140636720679248 140637245429659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27526] ppid=27514 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/27516/task/27526/stat : 27526 (java) S 27514 27514 16431 0 -1 1077944384 981 0 0 0 14 0 0 0 20 0 15 0 14153618 14316269568 20140 18446744073709551615 4194304 4196468 140725436443152 140636719626608 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27527] ppid=27514 vsize=13980732 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/27516/task/27527/stat : 27527 (java) R 27514 27514 16431 0 -1 4202560 1008 0 0 0 17 0 0 0 20 0 15 0 14153618 14316269568 20140 18446744073709551615 4194304 4196468 140725436443152 140636718562160 140637226112755 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27528] ppid=27514 vsize=13980732 memory=6656426216303648864 CPUtime=0.29 cores=1,3,5,7
/proc/27516/task/27528/stat : 27528 (java) S 27514 27514 16431 0 -1 1077944384 1377 0 0 0 29 0 0 0 20 0 15 0 14153618 14316269568 20140 18446744073709551615 4194304 4196468 140725436443152 140636717521008 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27529] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27529/stat : 27529 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 20140 18446744073709551615 4194304 4196468 140725436443152 140636716468448 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27530] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27530/stat : 27530 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153628 14316269568 20140 18446744073709551615 4194304 4196468 140725436443152 140636715416752 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 81752 KiB
[startup+1.50073 s]
/proc/loadavg: 2.17 2.09 2.06 5/211 27530
/proc/meminfo: memFree=31515616/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27514/stat : 27514 (xcsp3-exec) S 27511 27514 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 14153603 9740288 345 18446744073709551615 4194304 5098028 140730805643472 140730805641576 140149120393852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 29630464 140730805649786 140730805649990 140730805649990 140730805653483 0
/proc/27514/statm: 2378 345 289 221 0 87 0
[pid=27516] ppid=27514 vsize=13980732 memory=93920 CPUtime=2.98 cores=1,3,5,7
/proc/27516/stat : 27516 (java) S 27514 27514 16431 0 -1 1077944320 17313 0 0 0 293 5 0 0 20 0 15 0 14153613 14316269568 23480 18446744073709551615 4194304 4196468 140725436443152 140725436425696 140637245411063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
/proc/27516/statm: 3495183 23480 3182 1 0 3483476 0
[pid=27516/tid=27517] ppid=27514 vsize=13980732 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/27516/task/27517/stat : 27517 (java) R 27514 27514 16431 0 -1 4202560 8464 0 0 0 126 3 0 0 20 0 15 0 14153613 14316269568 23480 18446744073709551615 4194304 4196468 140725436443152 140637249646832 140636845969146 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27518] ppid=27514 vsize=13980732 memory=-1624781813439352349 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27518/stat : 27518 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 23480 18446744073709551615 4194304 4196468 140725436443152 140637164825232 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27519] ppid=27514 vsize=13980732 memory=8242832241811678803 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27519/stat : 27519 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 23480 18446744073709551615 4194304 4196468 140725436443152 140637163772432 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27520] ppid=27514 vsize=13980732 memory=7811044310603950144 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27520/stat : 27520 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 23480 18446744073709551615 4194304 4196468 140725436443152 140637162719632 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27521] ppid=27514 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27521/stat : 27521 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 23480 18446744073709551615 4194304 4196468 140725436443152 140637161666832 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27522] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27522/stat : 27522 (java) S 27514 27514 16431 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 14153615 14316269568 23480 18446744073709551615 4194304 4196468 140725436443152 140636723837808 140637245422210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27523] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27523/stat : 27523 (java) S 27514 27514 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 23480 18446744073709551615 4194304 4196468 140725436443152 140636722783776 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27524] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27524/stat : 27524 (java) S 27514 27514 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 23480 18446744073709551615 4194304 4196468 140725436443152 140636721730928 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27525] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/27514/stat : 27514 (xcsp3-exec) S 27511 27514 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 14153603 9740288 345 18446744073709551615 4194304 5098028 140730805643472 140730805641576 140149120393852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 29630464 140730805649786 140730805649990 140730805649990 140730805653483 0
/proc/27514/statm: 2378 345 289 221 0 87 0
[pid=27516] ppid=27514 vsize=13980732 memory=110892 CPUtime=31.85 cores=1,3,5,7
/proc/27516/stat : 27516 (java) S 27514 27514 16431 0 -1 1077944320 42261 0 0 0 3177 8 0 0 20 0 15 0 14153613 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140725436425696 140637245411063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
/proc/27516/statm: 3495183 27723 3194 1 0 3483476 0
[pid=27516/tid=27517] ppid=27514 vsize=13980732 memory=2008 CPUtime=28.59 cores=1,3,5,7
/proc/27516/task/27517/stat : 27517 (java) R 27514 27514 16431 0 -1 4202560 10660 0 0 0 2855 4 0 0 20 0 15 0 14153613 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140637249647280 140636845969585 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27518] ppid=27514 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27518/stat : 27518 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140637164825232 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27519] ppid=27514 vsize=13980732 memory=110848 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27519/stat : 27519 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140637163772432 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27520] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27520/stat : 27520 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140637162719632 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27521] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27521/stat : 27521 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140637161666832 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27522] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27522/stat : 27522 (java) S 27514 27514 16431 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 14153615 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140636723837808 140637245422210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27523] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27523/stat : 27523 (java) S 27514 27514 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140636722783776 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27524] ppid=27514 vsize=13980732 memory=279415942994720 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27524/stat : 27524 (java) S 27514 27514 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140636721730928 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27525] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27525/stat : 27525 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140636720679248 140637245429659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27526] ppid=27514 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/27516/task/27526/stat : 27526 (java) S 27514 27514 16431 0 -1 1077944384 12951 0 0 0 132 1 0 0 20 0 15 0 14153618 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140636719626608 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27527] ppid=27514 vsize=13980732 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/27516/task/27527/stat : 27527 (java) S 27514 27514 16431 0 -1 1077944384 12296 0 0 0 140 1 0 0 20 0 15 0 14153618 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140636718573808 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27528] ppid=27514 vsize=13980732 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/27516/task/27528/stat : 27528 (java) S 27514 27514 16431 0 -1 1077944384 3803 0 0 0 48 0 0 0 20 0 15 0 14153618 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140636717521008 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27529] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27529/stat : 27529 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140636716468448 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27530] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27530/stat : 27530 (java) S 27514 27514 16431 0 -1 1077944384 819 0 0 0 0 0 0 0 20 0 15 0 14153628 14316269568 27723 18446744073709551615 4194304 4196468 140725436443152 140636715416752 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
Current children cumulated CPU time: 31.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 112272 KiB
[startup+29.6007 s]
/proc/loadavg: 2.18 2.10 2.06 3/214 27544
/proc/meminfo: memFree=31489064/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27514/stat : 27514 (xcsp3-exec) S 27511 27514 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 14153603 9740288 345 18446744073709551615 4194304 5098028 140730805643472 140730805641576 140149120393852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 29630464 140730805649786 140730805649990 140730805649990 140730805653483 0
/proc/27514/statm: 2378 345 289 221 0 87 0
[pid=27516] ppid=27514 vsize=13980732 memory=112940 CPUtime=32.7 cores=1,3,5,7
/proc/27516/stat : 27516 (java) S 27514 27514 16431 0 -1 1077944320 43261 0 0 0 3262 8 0 0 20 0 15 0 14153613 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140725436425696 140637245411063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
/proc/27516/statm: 3495183 28235 3194 1 0 3483476 0
[pid=27516/tid=27517] ppid=27514 vsize=13980732 memory=110716 CPUtime=29.39 cores=1,3,5,7
/proc/27516/task/27517/stat : 27517 (java) R 27514 27514 16431 0 -1 4202560 10711 0 0 0 2935 4 0 0 20 0 15 0 14153613 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140637249647280 140636845968837 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27518] ppid=27514 vsize=13980732 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27518/stat : 27518 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140637164825232 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27519] ppid=27514 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27519/stat : 27519 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140637163772432 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27520] ppid=27514 vsize=13980732 memory=8101247189090653288 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27520/stat : 27520 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140637162719632 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27521] ppid=27514 vsize=13980732 memory=7017826922289718353 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27521/stat : 27521 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140637161666832 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27522] ppid=27514 vsize=13980732 memory=7719222675849093151 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27522/stat : 27522 (java) S 27514 27514 16431 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 14153615 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140636723837808 140637245422210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27523] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27523/stat : 27523 (java) S 27514 27514 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140636722783776 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27524] ppid=27514 vsize=13980732 memory=3467964335851724784 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27524/stat : 27524 (java) S 27514 27514 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140636721730928 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27525] ppid=27514 vsize=13980732 memory=7449631522336434540 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27525/stat : 27525 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140636720679248 140637245429659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27526] ppid=27514 vsize=13980732 memory=-8195925453750481479 CPUtime=1.38 cores=1,3,5,7
/proc/27516/task/27526/stat : 27526 (java) S 27514 27514 16431 0 -1 1077944384 13843 0 0 0 137 1 0 0 20 0 15 0 14153618 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140636719626608 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27527] ppid=27514 vsize=13980732 memory=7595725831727968097 CPUtime=1.41 cores=1,3,5,7
/proc/27516/task/27527/stat : 27527 (java) S 27514 27514 16431 0 -1 1077944384 12296 0 0 0 140 1 0 0 20 0 15 0 14153618 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140636718573808 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27528] ppid=27514 vsize=13980732 memory=7230638415991171671 CPUtime=0.48 cores=1,3,5,7
/proc/27516/task/27528/stat : 27528 (java) S 27514 27514 16431 0 -1 1077944384 3860 0 0 0 48 0 0 0 20 0 15 0 14153618 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140636717521008 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27529] ppid=27514 vsize=13980732 memory=14 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27529/stat : 27529 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140636716468448 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27530] ppid=27514 vsize=13980732 memory=139707971421672 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27530/stat : 27530 (java) S 27514 27514 16431 0 -1 1077944384 819 0 0 0 0 0 0 0 20 0 15 0 14153628 14316269568 28235 18446744073709551615 4194304 4196468 140725436443152 140636715416752 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
Current children cumulated CPU time: 32.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 114320 KiB
[startup+30.0007 s]*
/proc/loadavg: 2.18 2.10 2.06 3/214 27544
/proc/meminfo: memFree=31487016/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27514/stat : 27514 (xcsp3-exec) S 27511 27514 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 14153603 9740288 345 18446744073709551615 4194304 5098028 140730805643472 140730805641576 140149120393852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 29630464 140730805649786 140730805649990 140730805649990 140730805653483 0
/proc/27514/statm: 2378 345 289 221 0 87 0
[pid=27516] ppid=27514 vsize=13980732 memory=112992 CPUtime=33.16 cores=1,3,5,7
/proc/27516/stat : 27516 (java) S 27514 27514 16431 0 -1 1077944320 43382 0 0 0 3308 8 0 0 20 0 15 0 14153613 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140725436425696 140637245411063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
/proc/27516/statm: 3495183 28248 3194 1 0 3483476 0
[pid=27516/tid=27517] ppid=27514 vsize=13980732 memory=-8195925453750481479 CPUtime=29.8 cores=1,3,5,7
/proc/27516/task/27517/stat : 27517 (java) R 27514 27514 16431 0 -1 4202560 10714 0 0 0 2976 4 0 0 20 0 15 0 14153613 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140637249647280 140636845969435 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27518] ppid=27514 vsize=13980732 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27518/stat : 27518 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140637164825232 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27519] ppid=27514 vsize=13980732 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27519/stat : 27519 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140637163772432 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27520] ppid=27514 vsize=13980732 memory=844 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27520/stat : 27520 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140637162719632 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27521] ppid=27514 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27521/stat : 27521 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140637161666832 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27522] ppid=27514 vsize=13980732 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27522/stat : 27522 (java) S 27514 27514 16431 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 14153615 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140636723837808 140637245422210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27523] ppid=27514 vsize=13980732 memory=3024 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27523/stat : 27523 (java) S 27514 27514 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140636722783776 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27524] ppid=27514 vsize=13980732 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27524/stat : 27524 (java) S 27514 27514 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140636721730928 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27525] ppid=27514 vsize=13980732 memory=3240 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27525/stat : 27525 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140636720679248 140637245429659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27526] ppid=27514 vsize=13980732 memory=1380 CPUtime=1.42 cores=1,3,5,7
/proc/27516/task/27526/stat : 27526 (java) S 27514 27514 16431 0 -1 1077944384 13939 0 0 0 141 1 0 0 20 0 15 0 14153618 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140636719626608 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27527] ppid=27514 vsize=13980732 memory=234564 CPUtime=1.41 cores=1,3,5,7
/proc/27516/task/27527/stat : 27527 (java) R 27514 27514 16431 0 -1 4202560 12298 0 0 0 140 1 0 0 20 0 15 0 14153618 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140636718573808 140637229403108 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27528] ppid=27514 vsize=13980732 memory=4072 CPUtime=0.48 cores=1,3,5,7
/proc/27516/task/27528/stat : 27528 (java) S 27514 27514 16431 0 -1 1077944384 3880 0 0 0 48 0 0 0 20 0 15 0 14153618 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140636717521008 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27529] ppid=27514 vsize=13980732 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27529/stat : 27529 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140636716468448 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27530] ppid=27514 vsize=13980732 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27530/stat : 27530 (java) S 27514 27514 16431 0 -1 1077944384 819 0 0 0 0 0 0 0 20 0 15 0 14153628 14316269568 28248 18446744073709551615 4194304 4196468 140725436443152 140636715416752 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
Current children cumulated CPU time: 33.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 114372 KiB
[startup+30.4007 s]
/proc/loadavg: 2.18 2.10 2.06 3/214 27544
/proc/meminfo: memFree=31487016/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27514/stat : 27514 (xcsp3-exec) S 27511 27514 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 14153603 9740288 345 18446744073709551615 4194304 5098028 140730805643472 140730805641576 140149120393852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 29630464 140730805649786 140730805649990 140730805649990 140730805653483 0
/proc/27514/statm: 2378 345 289 221 0 87 0
[pid=27516] ppid=27514 vsize=13980732 memory=113028 CPUtime=33.6 cores=1,3,5,7
/proc/27516/stat : 27516 (java) S 27514 27514 16431 0 -1 1077944320 43940 0 0 0 3352 8 0 0 20 0 15 0 14153613 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140725436425696 140637245411063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
/proc/27516/statm: 3495183 28257 3194 1 0 3483476 0
[pid=27516/tid=27517] ppid=27514 vsize=13980732 memory=-8774313645642428999 CPUtime=30.19 cores=1,3,5,7
/proc/27516/task/27517/stat : 27517 (java) R 27514 27514 16431 0 -1 4202560 10715 0 0 0 3015 4 0 0 20 0 15 0 14153613 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140637249647392 140636847309514 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27518] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27518/stat : 27518 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140637164825232 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27519] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27519/stat : 27519 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140637163772432 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27520] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27520/stat : 27520 (java) S 27514 27514 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140637162719632 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27521] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27521/stat : 27521 (java) S 27514 27514 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14153614 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140637161666832 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27522] ppid=27514 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27522/stat : 27522 (java) S 27514 27514 16431 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 14153615 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140636723837808 140637245422210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27523] ppid=27514 vsize=13980732 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27523/stat : 27523 (java) S 27514 27514 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140636722783776 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27524] ppid=27514 vsize=13980732 memory=3024 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27524/stat : 27524 (java) S 27514 27514 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14153616 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140636721730928 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27525] ppid=27514 vsize=13980732 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27525/stat : 27525 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140636720679248 140637245429659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27526] ppid=27514 vsize=13980732 memory=1380 CPUtime=1.42 cores=1,3,5,7
/proc/27516/task/27526/stat : 27526 (java) S 27514 27514 16431 0 -1 1077944384 13939 0 0 0 141 1 0 0 20 0 15 0 14153618 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140636719626608 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27527] ppid=27514 vsize=13980732 memory=110892 CPUtime=1.46 cores=1,3,5,7
/proc/27516/task/27527/stat : 27527 (java) S 27514 27514 16431 0 -1 1077944384 12847 0 0 0 145 1 0 0 20 0 15 0 14153618 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140636718573808 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27528] ppid=27514 vsize=13980732 memory=1444 CPUtime=0.48 cores=1,3,5,7
/proc/27516/task/27528/stat : 27528 (java) S 27514 27514 16431 0 -1 1077944384 3880 0 0 0 48 0 0 0 20 0 15 0 14153618 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140636717521008 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27529] ppid=27514 vsize=13980732 memory=10720 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27529/stat : 27529 (java) S 27514 27514 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14153618 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140636716468448 140637245421269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
[pid=27516/tid=27530] ppid=27514 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/27516/task/27530/stat : 27530 (java) S 27514 27514 16431 0 -1 1077944384 827 0 0 0 0 0 0 0 20 0 15 0 14153628 14316269568 28257 18446744073709551615 4194304 4196468 140725436443152 140636715416752 140637245422210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23281664 140725436445106 140725436445282 140725436445282 140725436448719 0
Current children cumulated CPU time: 33.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 114408 KiB
Child status: 0
Real time (s): 30.4892
CPU time (s): 33.7054
CPU user time (s): 33.6102
CPU system time (s): 0.095191
CPU usage (%): 110.549
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 119880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.6102
system time used= 0.095191
maximum resident set size= 118500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2726
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 27514
# total CPU time (s): 33.7054
# total CPU user time (s): 33.6102
# total CPU system time (s): 0.095191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.210685 second user time and 0.300499 second system time
The end