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 (13752 MiB free)
memory of node 1: 16384 MiB (12127 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406156-1569399804/watcher-4406156-1569399804 -o /tmp/evaluation-result-4406156-1569399804/solver-4406156-1569399804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569392447-21328 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406156-1569399804.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=22234, runsolver pid=22231
[startup+0.103971 s]*
/proc/loadavg: 1.92 1.87 1.71 3/229 22250
/proc/meminfo: memFree=26484544/32770624 swapFree=66986412/67108860
[pid=22234] ppid=22231 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp3-exec) S 22231 22234 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516237024 115843072 363 33554432000 4194304 5098028 140732103882480 140732103880584 140581135270524 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29638656 140732103889787 140732103890029 140732103890029 140732103892938 0
/proc/22234/statm: 28282 363 304 221 0 87 0
[pid=22236] ppid=22234 vsize=15144776 memory=29268 CPUtime=0.13 cores=0,2,4,6
/proc/22236/stat : 22236 (java) S 22234 22234 21297 0 -1 1077944320 5769 0 0 0 12 1 0 0 20 0 15 0 516237025 15508250624 7317 33554432000 4194304 4196468 140726346497056 140726346479600 140058187308791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
/proc/22236/statm: 3786194 7317 3154 1 0 3748377 0
[pid=22236/tid=22237] ppid=22234 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/22236/task/22237/stat : 22237 (java) S 22234 22234 21297 0 -1 1077944384 3653 0 0 0 8 1 0 0 20 0 15 0 516237025 15508250624 7317 33554432000 4194304 4196468 140726346497056 140058191538544 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22238] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22238/stat : 22238 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057779448464 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22239] ppid=22234 vsize=15144776 memory=140490050246487 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22239/stat : 22239 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057778395664 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22240] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22240/stat : 22240 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057777342864 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22241] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22241/stat : 22241 (java) S 22234 22234 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516237026 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057776290064 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22242] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22242/stat : 22242 (java) S 22234 22234 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516237027 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057061047152 140058187319938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22243] ppid=22234 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22243/stat : 22243 (java) S 22234 22234 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516237028 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057059993120 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22244] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22244/stat : 22244 (java) S 22234 22234 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516237028 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057058940272 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22245] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22245/stat : 22245 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237030 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057057888592 140058187327387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22246] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22246/stat : 22246 (java) R 22234 22234 21297 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 516237030 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057056836048 140058187318997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22247] ppid=22234 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22247/stat : 22247 (java) R 22234 22234 21297 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 516237030 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057055774656 140058167169465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22248] ppid=22234 vsize=15144776 memory=140490046584448 CPUtime=0.02 cores=0,2,4,6
/proc/22236/task/22248/stat : 22248 (java) S 22234 22234 21297 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 516237030 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057054730352 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22249] ppid=22234 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22249/stat : 22249 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057053677792 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22250] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22250/stat : 22250 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237031 15508250624 7317 33554432000 4194304 4196468 140726346497056 140057052626096 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30720 KiB
[startup+0.210886 s]*
/proc/loadavg: 1.92 1.87 1.71 3/229 22250
/proc/meminfo: memFree=26470788/32770624 swapFree=66986412/67108860
[pid=22234] ppid=22231 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp3-exec) S 22231 22234 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516237024 115843072 363 33554432000 4194304 5098028 140732103882480 140732103880584 140581135270524 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29638656 140732103889787 140732103890029 140732103890029 140732103892938 0
/proc/22234/statm: 28282 363 304 221 0 87 0
[pid=22236] ppid=22234 vsize=15144776 memory=40972 CPUtime=0.33 cores=0,2,4,6
/proc/22236/stat : 22236 (java) S 22234 22234 21297 0 -1 1077944320 9482 0 0 0 30 3 0 0 20 0 15 0 516237025 15508250624 10243 33554432000 4194304 4196468 140726346497056 140726346479600 140058187308791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
/proc/22236/statm: 3786194 10243 3300 1 0 3748377 0
[pid=22236/tid=22237] ppid=22234 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22236/task/22237/stat : 22237 (java) R 22234 22234 21297 0 -1 4202560 6641 0 0 0 17 3 0 0 20 0 15 0 516237025 15508250624 10243 33554432000 4194304 4196468 140726346497056 140058191538512 140058187320726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22238] ppid=22234 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22238/stat : 22238 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057779448464 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22239] ppid=22234 vsize=15144776 memory=3689206721690351264 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22239/stat : 22239 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057778395664 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22240] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22240/stat : 22240 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057777342864 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22241] ppid=22234 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22241/stat : 22241 (java) S 22234 22234 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516237026 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057776290064 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22242] ppid=22234 vsize=15144776 memory=140490046584448 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22242/stat : 22242 (java) S 22234 22234 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516237027 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057061047152 140058187319938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22243] ppid=22234 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22243/stat : 22243 (java) S 22234 22234 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516237028 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057059993120 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22244] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22244/stat : 22244 (java) S 22234 22234 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516237028 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057058940272 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22245] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22245/stat : 22245 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237030 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057057888592 140058187327387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22246] ppid=22234 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22236/task/22246/stat : 22246 (java) S 22234 22234 21297 0 -1 1077944384 716 0 0 0 2 0 0 0 20 0 15 0 516237030 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057056835952 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22247] ppid=22234 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22236/task/22247/stat : 22247 (java) S 22234 22234 21297 0 -1 1077944384 65 0 0 0 2 0 0 0 20 0 15 0 516237030 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057055783152 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22248] ppid=22234 vsize=15144776 memory=140490046584448 CPUtime=0.07 cores=0,2,4,6
/proc/22236/task/22248/stat : 22248 (java) R 22234 22234 21297 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 15 0 516237030 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057054730352 140058187320726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22249] ppid=22234 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22249/stat : 22249 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057053677792 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22250] ppid=22234 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22250/stat : 22250 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237031 15508250624 10243 33554432000 4194304 4196468 140726346497056 140057052626096 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42424 KiB
[startup+0.310906 s]*
/proc/loadavg: 1.92 1.87 1.71 4/229 22250
/proc/meminfo: memFree=26465552/32770624 swapFree=66986412/67108860
[pid=22234] ppid=22231 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp3-exec) S 22231 22234 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516237024 115843072 363 33554432000 4194304 5098028 140732103882480 140732103880584 140581135270524 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29638656 140732103889787 140732103890029 140732103890029 140732103892938 0
/proc/22234/statm: 28282 363 304 221 0 87 0
[pid=22236] ppid=22234 vsize=15149032 memory=49976 CPUtime=0.52 cores=0,2,4,6
/proc/22236/stat : 22236 (java) S 22234 22234 21297 0 -1 1077944320 10828 0 0 0 48 4 0 0 20 0 15 0 516237025 15512608768 12494 33554432000 4194304 4196468 140726346497056 140726346479600 140058187308791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
/proc/22236/statm: 3787258 12494 3364 1 0 3748377 0
[pid=22236/tid=22237] ppid=22234 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/22236/task/22237/stat : 22237 (java) R 22234 22234 21297 0 -1 4202560 7762 0 0 0 27 3 0 0 20 0 15 0 516237025 15512608768 12494 33554432000 4194304 4196468 140726346497056 140058191543920 140058171389278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22238] ppid=22234 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22238/stat : 22238 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15512608768 12494 33554432000 4194304 4196468 140726346497056 140057779448464 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22239] ppid=22234 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22239/stat : 22239 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15512608768 12494 33554432000 4194304 4196468 140726346497056 140057778395664 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22240] ppid=22234 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22240/stat : 22240 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15512608768 12494 33554432000 4194304 4196468 140726346497056 140057777342864 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22241] ppid=22234 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22241/stat : 22241 (java) S 22234 22234 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516237026 15512608768 12494 33554432000 4194304 4196468 140726346497056 140057776290064 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22242] ppid=22234 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22242/stat : 22242 (java) S 22234 22234 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516237027 15512608768 12494 33554432000 4194304 4196468 140726346497056 140057061047152 140058187319938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22243] ppid=22234 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22243/stat : 22243 (java) S 22234 22234 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516237028 15512608768 12494 33554432000 4194304 4196468 140726346497056 140057059993120 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22244] ppid=22234 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22244/stat : 22244 (java) S 22234 22234 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516237028 15512608768 12494 33554432000 4194304 4196468 140726346497056 140057058940272 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22245] ppid=22234 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22245/stat : 22245 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237030 15512608768 12494 33554432000 4194304 4196468 140726346497056 140057057888592 140058187327387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22246] ppid=22234 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/22236/task/22246/stat : 22246 (java) R 22234 22234 21297 0 -1 4202560 817 0 0 0 4 0 0 0 20 0 15 0 516237030 15512608768 12494 33554432000 4194304 4196468 140726346497056 140057056835952 140058164960656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22247] ppid=22234 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22236/task/22247/stat : 22247 (java) S 22234 22234 21297 0 -1 1077944384 108 0 0 0 3 0 0 0 20 0 15 0 516237030 15512608768 12525 33554432000 4194304 4196468 140726346497056 140057055783152 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22248] ppid=22234 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22236/task/22248/stat : 22248 (java) S 22234 22234 21297 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 15 0 516237030 15512608768 12525 33554432000 4194304 4196468 140726346497056 140057054730352 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22249] ppid=22234 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22249/stat : 22249 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15512608768 12525 33554432000 4194304 4196468 140726346497056 140057053677792 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22250] ppid=22234 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22250/stat : 22250 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237031 15512608768 12525 33554432000 4194304 4196468 140726346497056 140057052626096 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51428 KiB
[startup+0.700909 s]
/proc/loadavg: 1.92 1.87 1.71 5/229 22250
/proc/meminfo: memFree=26449800/32770624 swapFree=66986412/67108860
[pid=22234] ppid=22231 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp3-exec) S 22231 22234 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516237024 115843072 363 33554432000 4194304 5098028 140732103882480 140732103880584 140581135270524 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29638656 140732103889787 140732103890029 140732103890029 140732103892938 0
/proc/22234/statm: 28282 363 304 221 0 87 0
[pid=22236] ppid=22234 vsize=15151156 memory=68924 CPUtime=1.58 cores=0,2,4,6
/proc/22236/stat : 22236 (java) S 22234 22234 21297 0 -1 1077944320 14062 0 0 0 152 6 0 0 20 0 15 0 516237025 15514783744 17231 33554432000 4194304 4196468 140726346497056 140726346479600 140058187308791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
/proc/22236/statm: 3787789 17231 3455 1 0 3748889 0
[pid=22236/tid=22237] ppid=22234 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=0,2,4,6
/proc/22236/task/22237/stat : 22237 (java) R 22234 22234 21297 0 -1 4202560 9165 0 0 0 64 4 0 0 20 0 15 0 516237025 15514783744 17231 33554432000 4194304 4196468 140726346497056 140058191544896 140057828176769 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22238] ppid=22234 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22238/stat : 22238 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057779448464 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22239] ppid=22234 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22239/stat : 22239 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057778395664 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22240] ppid=22234 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22240/stat : 22240 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057777342864 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22241] ppid=22234 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22241/stat : 22241 (java) S 22234 22234 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057776290064 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22242] ppid=22234 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22242/stat : 22242 (java) S 22234 22234 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516237027 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057061047152 140058187319938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22243] ppid=22234 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22243/stat : 22243 (java) S 22234 22234 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516237028 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057059993120 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22244] ppid=22234 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22244/stat : 22244 (java) S 22234 22234 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516237028 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057058940272 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22245] ppid=22234 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22245/stat : 22245 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237030 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057057888592 140058187327387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22246] ppid=22234 vsize=15151156 memory=6208 CPUtime=0.28 cores=0,2,4,6
/proc/22236/task/22246/stat : 22246 (java) R 22234 22234 21297 0 -1 4202560 1252 0 0 0 28 0 0 0 20 0 15 0 516237030 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057056821296 140058166563976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22247] ppid=22234 vsize=15151156 memory=7552 CPUtime=0.27 cores=0,2,4,6
/proc/22236/task/22247/stat : 22247 (java) R 22234 22234 21297 0 -1 4202560 771 0 0 0 27 0 0 0 20 0 15 0 516237030 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057055774800 140058172435192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22248] ppid=22234 vsize=15151156 memory=2832 CPUtime=0.33 cores=0,2,4,6
/proc/22236/task/22248/stat : 22248 (java) S 22234 22234 21297 0 -1 1077944384 1566 0 0 0 33 0 0 0 20 0 15 0 516237030 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057054730352 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22249] ppid=22234 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22249/stat : 22249 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057053677792 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22250] ppid=22234 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22250/stat : 22250 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237031 15514783744 17231 33554432000 4194304 4196468 140726346497056 140057052626096 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 70376 KiB
[startup+1.50084 s]
/proc/loadavg: 1.92 1.87 1.71 4/229 22250
/proc/meminfo: memFree=26440000/32770624 swapFree=66986412/67108860
[pid=22234] ppid=22231 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp3-exec) S 22231 22234 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516237024 115843072 363 33554432000 4194304 5098028 140732103882480 140732103880584 140581135270524 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29638656 140732103889787 140732103890029 140732103890029 140732103892938 0
/proc/22234/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22236/task/22237/stat : 22237 (java) R 22234 22234 21297 0 -1 4202560 9406 0 0 0 144 4 0 0 20 0 15 0 516237025 15514783744 22113 33554432000 4194304 4196468 140726346497056 140058191546200 140057828642494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22238] ppid=22234 vsize=15151156 memory=7883644968797104997 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22238/stat : 22238 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 22178 33554432000 4194304 4196468 140726346497056 140057779448464 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22239] ppid=22234 vsize=15151156 memory=280979847591744 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22239/stat : 22239 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 22178 33554432000 4194304 4196468 140726346497056 140057778395664 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22240] ppid=22234 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22240/stat : 22240 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 22178 33554432000 4194304 4196468 140726346497056 140057777342864 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22241] ppid=22234 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22241/stat : 22241 (java) S 22234 22234 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 22244 33554432000 4194304 4196468 140726346497056 140057776290064 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22242] ppid=22234 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22242/stat : 22242 (java) S 22234 22234 21297 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 516237027 15514783744 22244 33554432000 4194304 4196468 140726346497056 140057061047152 140058187319938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22243] ppid=22234 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22243/stat : 22243 (java) S 22234 22234 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516237028 15514783744 22244 33554432000 4194304 4196468 140726346497056 140057059993120 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22244] ppid=22234 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22244/stat : 22244 (java) S 22234 22234 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516237028 15514783744 22244 33554432000 4194304 4196468 140726346497056 140057058940272 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22245] ppid=22234 vsize=15151156 memory=191065915174340 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22245/stat : 22245 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237030 15514783744 22310 33554432000 4194304 4196468 140726346497056 140057057888592 140058187327387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22246] ppid=22234 vsize=15151156 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/22236/task/22246/stat : 22246 (java) R 22234 22234 21297 0 -1 4202560 6593 0 0 0 91 1 0 0 20 0 15 0 516237030 15514783744 22310 33554432000 4194304 4196468 140726346497056 140057056821928 140058179598240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22247] ppid=22234 vsize=15151156 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/22236/task/22247/stat : 22247 (java) S 22234 22234 21297 0 -1 1077944384 3426 0 0 0 77 0 0 0 20 0 15 0 516237030 15514783744 22310 33554432000 4194304 4196468 140726346497056 140057055783152 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22248] ppid=22234 vsize=15151156 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/22236/task/22248/stat : 22248 (java) S 22234 22234 21297 0 -1 1077944384 2157 0 0 0 40 1 0 0 20 0 15 0 516237030 15514783744 22376 33554432000 4194304 4196468 140726346497056 140057054730352 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22249] ppid=22234 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22249/stat : 22249 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15514783744 22376 33554432000 4194304 4196468 140726346497056 140057053677792 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22250] ppid=22234 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22250/stat : 22250 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15514783744 22376 33554432000 4194304 4196468 140726346497056 140057052626096 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89904 KiB
[startup+2.41684 s]
# the end of solver process 22234 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.66394 s, system=0.089654 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60102 s]
/proc/loadavg: 1.92 1.87 1.71 4/229 22250
/proc/meminfo: memFree=26440000/32770624 swapFree=66986412/67108860
[pid=22234] ppid=22231 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp3-exec) S 22231 22234 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516237024 115843072 363 33554432000 4194304 5098028 140732103882480 140732103880584 140581135270524 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29638656 140732103889787 140732103890029 140732103890029 140732103892938 0
/proc/22234/statm: 28282 363 304 221 0 87 0
[pid=22236] ppid=22234 vsize=15151156 memory=89768 CPUtime=3.83 cores=0,2,4,6
/proc/22236/stat : 22236 (java) S 22234 22234 21297 0 -1 1077944320 23046 0 0 0 375 8 0 0 20 0 15 0 516237025 15514783744 22442 33554432000 4194304 4196468 140726346497056 140726346479600 140058187308791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
/proc/22236/statm: 3787789 22442 3474 1 0 3748889 0
[pid=22236/tid=22237] ppid=22234 vsize=15151156 memory=232074262893361 CPUtime=1.58 cores=0,2,4,6
/proc/22236/task/22237/stat : 22237 (java) R 22234 22234 21297 0 -1 4202560 9407 0 0 0 154 4 0 0 20 0 15 0 516237025 15514783744 22442 33554432000 4194304 4196468 140726346497056 140058191546200 140057828065129 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22238] ppid=22234 vsize=15151156 memory=232095737729841 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22238/stat : 22238 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057779448464 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22239] ppid=22234 vsize=15151156 memory=235617610912561 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22239/stat : 22239 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057778395664 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22240] ppid=22234 vsize=15151156 memory=235621905880713 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22240/stat : 22240 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057777342864 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22241] ppid=22234 vsize=15151156 memory=235634790782601 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22241/stat : 22241 (java) S 22234 22234 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057776290064 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22242] ppid=22234 vsize=15151156 memory=232091442762545 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22242/stat : 22242 (java) S 22234 22234 21297 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 516237027 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057061047152 140058187319938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22243] ppid=22234 vsize=15151156 memory=235965503263537 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22243/stat : 22243 (java) S 22234 22234 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516237028 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057059993120 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22244] ppid=22234 vsize=15151156 memory=235969798231770 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22244/stat : 22244 (java) S 22234 22234 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516237028 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057058940272 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22245] ppid=22234 vsize=15151156 memory=235982683133658 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22245/stat : 22245 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237030 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057057888592 140058187327387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22246] ppid=22234 vsize=15151156 memory=140492675251573 CPUtime=1.02 cores=0,2,4,6
/proc/22236/task/22246/stat : 22246 (java) R 22234 22234 21297 0 -1 4202560 6725 0 0 0 101 1 0 0 20 0 15 0 516237030 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057056821928 140058172432839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22247] ppid=22234 vsize=15151156 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/22236/task/22247/stat : 22247 (java) S 22234 22234 21297 0 -1 1077944384 3436 0 0 0 78 0 0 0 20 0 15 0 516237030 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057055783152 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22248] ppid=22234 vsize=15151156 memory=235982683155896 CPUtime=0.41 cores=0,2,4,6
/proc/22236/task/22248/stat : 22248 (java) S 22234 22234 21297 0 -1 1077944384 2157 0 0 0 40 1 0 0 20 0 15 0 516237030 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057054730352 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22249] ppid=22234 vsize=15151156 memory=235982683155897 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22249/stat : 22249 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057053677792 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22250] ppid=22234 vsize=15151156 memory=33284 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22250/stat : 22250 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15514783744 22442 33554432000 4194304 4196468 140726346497056 140057052626096 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
Current children cumulated CPU time: 3.83 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91220 KiB
[startup+2.00075 s]*
/proc/loadavg: 1.92 1.87 1.71 3/229 22250
/proc/meminfo: memFree=26422080/32770624 swapFree=66986412/67108860
[pid=22234] ppid=22231 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp3-exec) S 22231 22234 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516237024 115843072 363 33554432000 4194304 5098028 140732103882480 140732103880584 140581135270524 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29638656 140732103889787 140732103890029 140732103890029 140732103892938 0
/proc/22234/statm: 28282 363 304 221 0 87 0
[pid=22236] ppid=22234 vsize=15151156 memory=92296 CPUtime=4.34 cores=0,2,4,6
/proc/22236/stat : 22236 (java) S 22234 22234 21297 0 -1 1077944320 23169 0 0 0 426 8 0 0 20 0 15 0 516237025 15514783744 23074 33554432000 4194304 4196468 140726346497056 140726346479600 140058187308791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
/proc/22236/statm: 3787789 23074 3475 1 0 3748889 0
[pid=22236/tid=22237] ppid=22234 vsize=15151156 memory=592896708847075445 CPUtime=1.99 cores=0,2,4,6
/proc/22236/task/22237/stat : 22237 (java) R 22234 22234 21297 0 -1 4202560 9410 0 0 0 195 4 0 0 20 0 15 0 516237025 15514783744 23074 33554432000 4194304 4196468 140726346497056 140058191547400 140057828065191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22238] ppid=22234 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22238/stat : 22238 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057779448464 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22239] ppid=22234 vsize=15151156 memory=19598 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22239/stat : 22239 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057778395664 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22240] ppid=22234 vsize=15151156 memory=-6933350163988322500 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22240/stat : 22240 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057777342864 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22241] ppid=22234 vsize=15151156 memory=-7824251494390989921 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22241/stat : 22241 (java) S 22234 22234 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516237026 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057776290064 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22242] ppid=22234 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22242/stat : 22242 (java) S 22234 22234 21297 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 516237027 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057061047152 140058187319938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22243] ppid=22234 vsize=15151156 memory=664062387190970680 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22243/stat : 22243 (java) S 22234 22234 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516237028 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057059993120 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22244] ppid=22234 vsize=15151156 memory=7897447025732043678 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22244/stat : 22244 (java) S 22234 22234 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516237028 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057058940272 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22245] ppid=22234 vsize=15151156 memory=4123401283169797999 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22245/stat : 22245 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237030 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057057888592 140058187327387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22246] ppid=22234 vsize=15151156 memory=0 CPUtime=1.09 cores=0,2,4,6
/proc/22236/task/22246/stat : 22246 (java) S 22234 22234 21297 0 -1 1077944384 6771 0 0 0 108 1 0 0 20 0 15 0 516237030 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057056835952 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22247] ppid=22234 vsize=15151156 memory=7719229346219766065 CPUtime=0.82 cores=0,2,4,6
/proc/22236/task/22247/stat : 22247 (java) S 22234 22234 21297 0 -1 1077944384 3485 0 0 0 82 0 0 0 20 0 15 0 516237030 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057055783152 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22248] ppid=22234 vsize=15151156 memory=3900293089315298298 CPUtime=0.41 cores=0,2,4,6
/proc/22236/task/22248/stat : 22248 (java) S 22234 22234 21297 0 -1 1077944384 2182 0 0 0 40 1 0 0 20 0 15 0 516237030 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057054730352 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22249] ppid=22234 vsize=15151156 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22249/stat : 22249 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057053677792 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22250] ppid=22234 vsize=15151156 memory=3472468786274264752 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22250/stat : 22250 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516237031 15514783744 23074 33554432000 4194304 4196468 140726346497056 140057052626096 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
Current children cumulated CPU time: 4.34 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93748 KiB
[startup+2.40162 s]
/proc/loadavg: 1.92 1.87 1.71 3/229 22250
/proc/meminfo: memFree=26422080/32770624 swapFree=66986412/67108860
[pid=22234] ppid=22231 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp3-exec) S 22231 22234 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516237024 115843072 363 33554432000 4194304 5098028 140732103882480 140732103880584 140581135270524 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29638656 140732103889787 140732103890029 140732103890029 140732103892938 0
/proc/22234/statm: 28282 363 304 221 0 87 0
[pid=22236] ppid=22234 vsize=15151156 memory=94568 CPUtime=4.74 cores=0,2,4,6
/proc/22236/stat : 22236 (java) S 22234 22234 21297 0 -1 1077944320 24397 0 0 0 466 8 0 0 20 0 14 0 516237025 15514783744 23642 33554432000 4194304 4196468 140726346497056 140726346479600 140058187308791 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
/proc/22236/statm: 3787789 23642 3477 1 0 3748889 0
[pid=22236/tid=22237] ppid=22234 vsize=15151156 memory=6791534058613427641 CPUtime=2.38 cores=0,2,4,6
/proc/22236/task/22237/stat : 22237 (java) S 22234 22234 21297 0 -1 1077944384 10330 0 0 0 234 4 0 0 20 0 14 0 516237025 15514783744 23642 33554432000 4194304 4196468 140726346497056 140058191551632 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22238] ppid=22234 vsize=15151156 memory=92296 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22238/stat : 22238 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 516237026 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057779448464 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22239] ppid=22234 vsize=15151156 memory=191065915174340 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22239/stat : 22239 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 516237026 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057778395664 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22240] ppid=22234 vsize=15151156 memory=280979847598224 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22240/stat : 22240 (java) S 22234 22234 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 516237026 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057777342864 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22241] ppid=22234 vsize=15151156 memory=280979847598404 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22241/stat : 22241 (java) S 22234 22234 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 516237026 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057776290064 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22242] ppid=22234 vsize=15151156 memory=280979847598736 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22242/stat : 22242 (java) S 22234 22234 21297 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 14 0 516237027 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057061047360 140058187319938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22243] ppid=22234 vsize=15151156 memory=280979847598800 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22243/stat : 22243 (java) S 22234 22234 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 516237028 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057059993120 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22244] ppid=22234 vsize=15151156 memory=280979847598992 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22244/stat : 22244 (java) S 22234 22234 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 516237028 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057058940272 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22245] ppid=22234 vsize=15151156 memory=280979847599172 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22245/stat : 22245 (java) S 22234 22234 21297 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 516237030 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057057888240 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22246] ppid=22234 vsize=15151156 memory=280979847599504 CPUtime=1.09 cores=0,2,4,6
/proc/22236/task/22246/stat : 22246 (java) S 22234 22234 21297 0 -1 1077944384 6839 0 0 0 108 1 0 0 20 0 14 0 516237030 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057056820496 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22247] ppid=22234 vsize=15151156 memory=56 CPUtime=0.82 cores=0,2,4,6
/proc/22236/task/22247/stat : 22247 (java) S 22234 22234 21297 0 -1 1077944384 3537 0 0 0 82 0 0 0 20 0 14 0 516237030 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057055768208 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22248] ppid=22234 vsize=15151156 memory=-2971509717582823231 CPUtime=0.41 cores=0,2,4,6
/proc/22236/task/22248/stat : 22248 (java) S 22234 22234 21297 0 -1 1077944384 2314 0 0 0 40 1 0 0 20 0 14 0 516237030 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057054730352 140058187319938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
[pid=22236/tid=22249] ppid=22234 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22236/task/22249/stat : 22249 (java) S 22234 22234 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 516237031 15514783744 23642 33554432000 4194304 4196468 140726346497056 140057053677792 140058187318997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24289280 140726346503151 140726346503322 140726346503322 140726346506191 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96020 KiB
Child status: 0
Real time (s): 2.41689
CPU time (s): 4.75359
CPU user time (s): 4.66394
CPU system time (s): 0.089654
CPU usage (%): 196.682
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 96020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.66394
system time used= 0.089654
maximum resident set size= 94880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2044
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 22234
# total CPU time (s): 4.75359
# total CPU user time (s): 4.66394
# total CPU system time (s): 0.089654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050811 second user time and 0.058299 second system time
The end