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 (13267 MiB free)
memory of node 1: 16384 MiB (15515 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399333-1568688279/watcher-4399333-1568688279 -o /tmp/evaluation-result-4399333-1568688279/solver-4399333-1568688279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 313946360 HOME/instance-4399333-1568688279.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
solver pid=22479, runsolver pid=22476
Current StackSize limit: 8192 KiB
[startup+0.102169 s]*
/proc/loadavg: 8.42 8.34 8.40 6/236 22495
/proc/meminfo: memFree=29454820/32770624 swapFree=66997372/67108860
[pid=22479] ppid=22476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22479/stat : 22479 (xcsp3-exec) S 22476 22479 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445080985 115843072 363 33554432000 4194304 5098028 140735776785856 140735776783960 140117593301628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26050560 140735776789371 140735776789613 140735776789613 140735776792522 0
/proc/22479/statm: 28282 363 304 221 0 87 0
[pid=22481] ppid=22479 vsize=15144776 memory=30112 CPUtime=0.14 cores=1,3,5,7
/proc/22481/stat : 22481 (java) S 22479 22479 14983 0 -1 1077944320 5991 0 0 0 13 1 0 0 20 0 15 0 445080986 15508250624 7528 33554432000 4194304 4196468 140721087182976 140721087165520 140405121289975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
/proc/22481/statm: 3786194 7528 3181 1 0 3748377 0
[pid=22481/tid=22482] ppid=22479 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/22481/task/22482/stat : 22482 (java) R 22479 22479 14983 0 -1 4202560 3853 0 0 0 9 0 0 0 20 0 15 0 445080986 15508250624 7528 33554432000 4194304 4196468 140721087182976 140405125511248 140405105333605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22483] ppid=22479 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22483/stat : 22483 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080987 15508250624 7528 33554432000 4194304 4196468 140721087182976 140405032946704 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22484] ppid=22479 vsize=15144776 memory=139950864549504 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22484/stat : 22484 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080987 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404712270992 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22485] ppid=22479 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22485/stat : 22485 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080987 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404711217936 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22486] ppid=22479 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22486/stat : 22486 (java) S 22479 22479 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445080987 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404710165392 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22487] ppid=22479 vsize=15144776 memory=139950864549504 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22487/stat : 22487 (java) S 22479 22479 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445080988 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404589852912 140405121301122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22488] ppid=22479 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22488/stat : 22488 (java) S 22479 22479 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445080988 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404588799136 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22489] ppid=22479 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22489/stat : 22489 (java) S 22479 22479 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445080989 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404587746032 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22490] ppid=22479 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22490/stat : 22490 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445080991 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404586694608 140405121308571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22491] ppid=22479 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22491/stat : 22491 (java) R 22479 22479 14983 0 -1 4202560 305 0 0 0 0 0 0 0 20 0 15 0 445080991 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404585634240 140405101990081 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22492] ppid=22479 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22492/stat : 22492 (java) R 22479 22479 14983 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 445080991 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404584590288 140405121300181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22493] ppid=22479 vsize=15144776 memory=139950864549504 CPUtime=0.02 cores=1,3,5,7
/proc/22481/task/22493/stat : 22493 (java) R 22479 22479 14983 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 445080991 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404583535536 140405099965060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22494] ppid=22479 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22494/stat : 22494 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445080991 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404582484832 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22495] ppid=22479 vsize=15144776 memory=139950864549504 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22495/stat : 22495 (java) R 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080992 15508250624 7528 33554432000 4194304 4196468 140721087182976 140404581431856 140405121301122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31564 KiB
[startup+0.210993 s]*
/proc/loadavg: 8.31 8.32 8.39 7/236 22495
/proc/meminfo: memFree=29436324/32770624 swapFree=66997372/67108860
[pid=22479] ppid=22476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22479/stat : 22479 (xcsp3-exec) S 22476 22479 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445080985 115843072 363 33554432000 4194304 5098028 140735776785856 140735776783960 140117593301628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26050560 140735776789371 140735776789613 140735776789613 140735776792522 0
/proc/22479/statm: 28282 363 304 221 0 87 0
[pid=22481] ppid=22479 vsize=15144776 memory=41148 CPUtime=0.34 cores=1,3,5,7
/proc/22481/stat : 22481 (java) S 22479 22479 14983 0 -1 1077944320 9463 0 0 0 32 2 0 0 20 0 15 0 445080986 15508250624 10287 33554432000 4194304 4196468 140721087182976 140721087165520 140405121289975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
/proc/22481/statm: 3786194 10287 3306 1 0 3748377 0
[pid=22481/tid=22482] ppid=22479 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22481/task/22482/stat : 22482 (java) R 22479 22479 14983 0 -1 4202560 6656 0 0 0 18 2 0 0 20 0 15 0 445080986 15508250624 10287 33554432000 4194304 4196468 140721087182976 140405125524960 140405121311901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22483] ppid=22479 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22483/stat : 22483 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080987 15508250624 10287 33554432000 4194304 4196468 140721087182976 140405032946704 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22484] ppid=22479 vsize=15144776 memory=288370327016261248 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22484/stat : 22484 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080987 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404712270992 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22485] ppid=22479 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22485/stat : 22485 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080987 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404711217936 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22486] ppid=22479 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22486/stat : 22486 (java) S 22479 22479 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445080987 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404710165392 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22487] ppid=22479 vsize=15144776 memory=139950864549504 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22487/stat : 22487 (java) S 22479 22479 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445080988 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404589852912 140405121301122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22488] ppid=22479 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22488/stat : 22488 (java) S 22479 22479 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445080988 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404588799136 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22489] ppid=22479 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22489/stat : 22489 (java) S 22479 22479 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445080989 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404587746032 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22490] ppid=22479 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22490/stat : 22490 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445080991 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404586694608 140405121308571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22491] ppid=22479 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22481/task/22491/stat : 22491 (java) S 22479 22479 14983 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 445080991 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404585642736 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22492] ppid=22479 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/22481/task/22492/stat : 22492 (java) S 22479 22479 14983 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 445080991 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404584590192 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22493] ppid=22479 vsize=15144776 memory=139950864549504 CPUtime=0.08 cores=1,3,5,7
/proc/22481/task/22493/stat : 22493 (java) S 22479 22479 14983 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 445080991 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404583537136 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22494] ppid=22479 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22494/stat : 22494 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445080991 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404582484832 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22495] ppid=22479 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22495/stat : 22495 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080992 15508250624 10287 33554432000 4194304 4196468 140721087182976 140404581431856 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42600 KiB
[startup+0.318882 s]*
/proc/loadavg: 8.31 8.32 8.39 6/236 22495
/proc/meminfo: memFree=29420840/32770624 swapFree=66997372/67108860
[pid=22479] ppid=22476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22479/stat : 22479 (xcsp3-exec) S 22476 22479 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445080985 115843072 363 33554432000 4194304 5098028 140735776785856 140735776783960 140117593301628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26050560 140735776789371 140735776789613 140735776789613 140735776792522 0
/proc/22479/statm: 28282 363 304 221 0 87 0
[pid=22481] ppid=22479 vsize=15149032 memory=50656 CPUtime=0.54 cores=1,3,5,7
/proc/22481/stat : 22481 (java) S 22479 22479 14983 0 -1 1077944320 11010 0 0 0 51 3 0 0 20 0 15 0 445080986 15512608768 12664 33554432000 4194304 4196468 140721087182976 140721087165520 140405121289975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
/proc/22481/statm: 3787258 12664 3358 1 0 3748377 0
[pid=22481/tid=22482] ppid=22479 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/22481/task/22482/stat : 22482 (java) R 22479 22479 14983 0 -1 4202560 7942 0 0 0 28 3 0 0 20 0 15 0 445080986 15512608768 12664 33554432000 4194304 4196468 140721087182976 140405125524032 140405106463792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22483] ppid=22479 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22483/stat : 22483 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080987 15512608768 12664 33554432000 4194304 4196468 140721087182976 140405032946704 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22484] ppid=22479 vsize=15149032 memory=288230376155155389 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22484/stat : 22484 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080987 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404712270992 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22485] ppid=22479 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22485/stat : 22485 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080987 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404711217936 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22486] ppid=22479 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22486/stat : 22486 (java) S 22479 22479 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445080987 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404710165392 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22487] ppid=22479 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22487/stat : 22487 (java) S 22479 22479 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445080988 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404589852912 140405121301122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22488] ppid=22479 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22488/stat : 22488 (java) S 22479 22479 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445080988 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404588799136 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22489] ppid=22479 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22489/stat : 22489 (java) S 22479 22479 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445080989 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404587746032 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22490] ppid=22479 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22490/stat : 22490 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445080991 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404586694608 140405121308571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22491] ppid=22479 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22481/task/22491/stat : 22491 (java) R 22479 22479 14983 0 -1 4202560 487 0 0 0 4 0 0 0 20 0 15 0 445080991 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404585642736 140405121301910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22492] ppid=22479 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22481/task/22492/stat : 22492 (java) S 22479 22479 14983 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 15 0 445080991 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404584590192 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22493] ppid=22479 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22481/task/22493/stat : 22493 (java) R 22479 22479 14983 0 -1 4202560 857 0 0 0 12 0 0 0 20 0 15 0 445080991 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404583537136 140405121301910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22494] ppid=22479 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22494/stat : 22494 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445080991 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404582484832 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22495] ppid=22479 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22495/stat : 22495 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445080992 15512608768 12664 33554432000 4194304 4196468 140721087182976 140404581431856 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52108 KiB
[startup+0.705778 s]
/proc/loadavg: 8.31 8.32 8.39 9/236 22495
/proc/meminfo: memFree=29394016/32770624 swapFree=66997372/67108860
[pid=22479] ppid=22476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22479/stat : 22479 (xcsp3-exec) S 22476 22479 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445080985 115843072 363 33554432000 4194304 5098028 140735776785856 140735776783960 140117593301628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26050560 140735776789371 140735776789613 140735776789613 140735776792522 0
/proc/22479/statm: 28282 363 304 221 0 87 0
[pid=22481] ppid=22479 vsize=15417412 memory=97048 CPUtime=1.57 cores=1,3,5,7
/proc/22481/stat : 22481 (java) S 22479 22479 14983 0 -1 1077944320 15034 0 0 0 152 5 0 0 20 0 19 0 445080986 15787429888 24262 33554432000 4194304 4196468 140721087182976 140721087165520 140405121289975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
/proc/22481/statm: 3854353 24262 3454 1 0 3815453 0
[pid=22481/tid=22482] ppid=22479 vsize=15417412 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/22481/task/22482/stat : 22482 (java) S 22479 22479 14983 0 -1 1077944384 9298 0 0 0 63 3 0 0 20 0 19 0 445080986 15787429888 24262 33554432000 4194304 4196468 140721087182976 140405125530752 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22483] ppid=22479 vsize=15417412 memory=500 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22483/stat : 22483 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445080987 15787429888 24262 33554432000 4194304 4196468 140721087182976 140405032946704 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22484] ppid=22479 vsize=15417412 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22484/stat : 22484 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445080987 15787429888 24262 33554432000 4194304 4196468 140721087182976 140404712270992 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22485] ppid=22479 vsize=15417412 memory=932 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22485/stat : 22485 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445080987 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404711217936 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22486] ppid=22479 vsize=15417412 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22486/stat : 22486 (java) S 22479 22479 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445080987 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404710165392 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22487] ppid=22479 vsize=15417412 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22487/stat : 22487 (java) S 22479 22479 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445080988 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404589852912 140405121301122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22488] ppid=22479 vsize=15417412 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22488/stat : 22488 (java) S 22479 22479 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445080988 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404588799136 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22489] ppid=22479 vsize=15417412 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22489/stat : 22489 (java) S 22479 22479 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445080989 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404587746032 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22490] ppid=22479 vsize=15417412 memory=812 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22490/stat : 22490 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445080991 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404586694608 140405121308571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22491] ppid=22479 vsize=15417412 memory=1764 CPUtime=0.23 cores=1,3,5,7
/proc/22481/task/22491/stat : 22491 (java) S 22479 22479 14983 0 -1 1077944384 1119 0 0 0 23 0 0 0 20 0 19 0 445080991 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404585642736 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22492] ppid=22479 vsize=15417412 memory=111628 CPUtime=0.21 cores=1,3,5,7
/proc/22481/task/22492/stat : 22492 (java) S 22479 22479 14983 0 -1 1077944384 1093 0 0 0 21 0 0 0 20 0 19 0 445080991 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404584590192 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22493] ppid=22479 vsize=15417412 memory=796 CPUtime=0.41 cores=1,3,5,7
/proc/22481/task/22493/stat : 22493 (java) R 22479 22479 14983 0 -1 4202560 1994 0 0 0 41 0 0 0 20 0 19 0 445080991 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404583535096 140405114386811 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22494] ppid=22479 vsize=15417412 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22494/stat : 22494 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445080991 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404582484832 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22495] ppid=22479 vsize=15417412 memory=920 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22495/stat : 22495 (java) S 22479 22479 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445080992 15787429888 24774 33554432000 4194304 4196468 140721087182976 140404581431856 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 98500 KiB
[startup+1.50223 s]
/proc/loadavg: 8.31 8.32 8.39 13/240 22503
/proc/meminfo: memFree=29320728/32770624 swapFree=66997372/67108860
[pid=22479] ppid=22476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22479/stat : 22479 (xcsp3-exec) S 22476 22479 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445080985 115843072 363 33554432000 4194304 5098028 140735776785856 140735776783960 140117593301628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26050560 140735776789371 140735776789613 140735776789613 140735776792522 0
/proc/22479/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22481/task/22495/stat : 22495 (java) S 22479 22479 14983 0 -1 1077944384 323 0 0 0 0 1 0 0 20 0 19 0 445080992 15789527040 123512 33554432000 4194304 4196468 140721087182976 140404581431856 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 53 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22500] ppid=22479 vsize=15419460 memory=6791534058613427641 CPUtime=52.92 cores=1,3,5,7
/proc/22481/task/22500/stat : 22500 (java) R 22479 22479 14983 0 -1 4202560 842 0 0 0 5291 1 0 0 20 0 19 0 445081056 15789527040 123512 33554432000 4194304 4196468 140721087182976 140404571160672 140404719212897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22501] ppid=22479 vsize=15419460 memory=3224 CPUtime=52.35 cores=1,3,5,7
/proc/22481/task/22501/stat : 22501 (java) R 22479 22479 14983 0 -1 4202560 4039 0 0 0 5234 1 0 0 20 0 19 0 445081056 15789527040 123512 33554432000 4194304 4196468 140721087182976 140404570108888 140404718884247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22502] ppid=22479 vsize=15419460 memory=1448 CPUtime=53.01 cores=1,3,5,7
/proc/22481/task/22502/stat : 22502 (java) R 22479 22479 14983 0 -1 4202560 1922 0 0 0 5300 1 0 0 20 0 19 0 445081056 15789527040 123512 33554432000 4194304 4196468 140721087182976 140404572214224 140404719515230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22503] ppid=22479 vsize=15419460 memory=2229580 CPUtime=52.73 cores=1,3,5,7
/proc/22481/task/22503/stat : 22503 (java) R 22479 22479 14983 0 -1 1077944384 2760 0 0 0 5271 2 0 0 20 0 19 0 445081056 15789527040 123512 33554432000 4194304 4196468 140721087182976 140404569057952 140405121300181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
Current children cumulated CPU time: 218.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 495500 KiB
[startup+56.8106 s]
/proc/loadavg: 8.58 8.38 8.41 6/240 22506
/proc/meminfo: memFree=28788372/32770624 swapFree=66997372/67108860
[pid=22479] ppid=22476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22479/stat : 22479 (xcsp3-exec) S 22476 22479 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445080985 115843072 363 33554432000 4194304 5098028 140735776785856 140735776783960 140117593301628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26050560 140735776789371 140735776789613 140735776789613 140735776792522 0
/proc/22479/statm: 28282 363 304 221 0 87 0
[pid=22481] ppid=22479 vsize=15419460 memory=493536 CPUtime=221.23 cores=1,3,5,7
/proc/22481/stat : 22481 (java) S 22479 22479 14983 0 -1 1077944320 60229 0 0 0 22093 30 0 0 20 0 19 0 445080986 15789527040 123384 33554432000 4194304 4196468 140721087182976 140721087165520 140405121289975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
/proc/22481/statm: 3854865 123384 3514 1 0 3815965 0
[pid=22481/tid=22482] ppid=22479 vsize=15419460 memory=2628 CPUtime=0.66 cores=1,3,5,7
/proc/22481/task/22482/stat : 22482 (java) S 22479 22479 14983 0 -1 1077944384 9298 0 0 0 63 3 0 0 20 0 19 0 445080986 15789527040 123384 33554432000 4194304 4196468 140721087182976 140405125530752 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22483] ppid=22479 vsize=15419460 memory=4100 CPUtime=0.22 cores=1,3,5,7
/proc/22481/task/22483/stat : 22483 (java) S 22479 22479 14983 0 -1 1077944384 1478 0 0 0 19 3 0 0 20 0 19 0 445080987 15789527040 123384 33554432000 4194304 4196468 140721087182976 140405032946704 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22484] ppid=22479 vsize=15419460 memory=6791534058613427641 CPUtime=0.22 cores=1,3,5,7
/proc/22481/task/22484/stat : 22484 (java) S 22479 22479 14983 0 -1 1077944384 1341 0 0 0 19 3 0 0 20 0 19 0 445080987 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404712270992 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22485] ppid=22479 vsize=15419460 memory=111628 CPUtime=0.23 cores=1,3,5,7
/proc/22481/task/22485/stat : 22485 (java) S 22479 22479 14983 0 -1 1077944384 964 0 0 0 20 3 0 0 20 0 19 0 445080987 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404711217936 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22486] ppid=22479 vsize=15419460 memory=796 CPUtime=0.22 cores=1,3,5,7
/proc/22481/task/22486/stat : 22486 (java) S 22479 22479 14983 0 -1 1077944384 582 0 0 0 19 3 0 0 20 0 19 0 445080987 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404710165392 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22487] ppid=22479 vsize=15419460 memory=1808 CPUtime=0.16 cores=1,3,5,7
/proc/22481/task/22487/stat : 22487 (java) S 22479 22479 14983 0 -1 1077944384 1434 0 0 0 14 2 0 0 20 0 19 0 445080988 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404589852912 140405121301122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22488] ppid=22479 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22488/stat : 22488 (java) S 22479 22479 14983 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445080988 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404588799200 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22489] ppid=22479 vsize=15419460 memory=4713745541279610410 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22489/stat : 22489 (java) S 22479 22479 14983 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 445080989 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404587746048 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22490] ppid=22479 vsize=15419460 memory=-6520471753822164382 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22490/stat : 22490 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445080991 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404586694608 140405121308571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22491] ppid=22479 vsize=15419460 memory=-8253362762722141311 CPUtime=2.23 cores=1,3,5,7
/proc/22481/task/22491/stat : 22491 (java) S 22479 22479 14983 0 -1 1077944384 12766 0 0 0 222 1 0 0 20 0 19 0 445080991 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404585642736 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22492] ppid=22479 vsize=15419460 memory=500 CPUtime=2.23 cores=1,3,5,7
/proc/22481/task/22492/stat : 22492 (java) S 22479 22479 14983 0 -1 1077944384 15072 0 0 0 221 2 0 0 20 0 19 0 445080991 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404584590192 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22493] ppid=22479 vsize=15419460 memory=1560 CPUtime=0.71 cores=1,3,5,7
/proc/22481/task/22493/stat : 22493 (java) S 22479 22479 14983 0 -1 1077944384 5848 0 0 0 70 1 0 0 20 0 19 0 445080991 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404583537136 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22494] ppid=22479 vsize=15419460 memory=932 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22494/stat : 22494 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445080991 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404582484832 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22495] ppid=22479 vsize=15419460 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/22481/task/22495/stat : 22495 (java) S 22479 22479 14983 0 -1 1077944384 323 0 0 0 0 1 0 0 20 0 19 0 445080992 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404581431856 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 53 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22500] ppid=22479 vsize=15419460 memory=494048 CPUtime=53.71 cores=1,3,5,7
/proc/22481/task/22500/stat : 22500 (java) R 22479 22479 14983 0 -1 4202560 844 0 0 0 5370 1 0 0 20 0 19 0 445081056 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404571160672 140404719213718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22501] ppid=22479 vsize=15419460 memory=1452 CPUtime=53.13 cores=1,3,5,7
/proc/22481/task/22501/stat : 22501 (java) R 22479 22479 14983 0 -1 4202560 4039 0 0 0 5312 1 0 0 20 0 19 0 445081056 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404570110800 140404718752569 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22502] ppid=22479 vsize=15419460 memory=494560 CPUtime=53.8 cores=1,3,5,7
/proc/22481/task/22502/stat : 22502 (java) R 22479 22479 14983 0 -1 4202560 1923 0 0 0 5379 1 0 0 20 0 19 0 445081056 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404572214224 140405102696274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22503] ppid=22479 vsize=15419460 memory=1756 CPUtime=53.52 cores=1,3,5,7
/proc/22481/task/22503/stat : 22503 (java) R 22479 22479 14983 0 -1 4202560 2760 0 0 0 5350 2 0 0 20 0 19 0 445081056 15789527040 123384 33554432000 4194304 4196468 140721087182976 140404569054384 140404719556598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
Current children cumulated CPU time: 221.23 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 494988 KiB
[startup+57.6016 s]
/proc/loadavg: 8.58 8.38 8.41 10/240 22506
/proc/meminfo: memFree=28788744/32770624 swapFree=66997372/67108860
[pid=22479] ppid=22476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22479/stat : 22479 (xcsp3-exec) S 22476 22479 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445080985 115843072 363 33554432000 4194304 5098028 140735776785856 140735776783960 140117593301628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26050560 140735776789371 140735776789613 140735776789613 140735776792522 0
/proc/22479/statm: 28282 363 304 221 0 87 0
[pid=22481] ppid=22479 vsize=15419460 memory=493024 CPUtime=224.37 cores=1,3,5,7
/proc/22481/stat : 22481 (java) S 22479 22479 14983 0 -1 1077944320 60235 0 0 0 22407 30 0 0 20 0 19 0 445080986 15789527040 123256 33554432000 4194304 4196468 140721087182976 140721087165520 140405121289975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
/proc/22481/statm: 3854865 123256 3514 1 0 3815965 0
[pid=22481/tid=22482] ppid=22479 vsize=15419460 memory=430520 CPUtime=0.66 cores=1,3,5,7
/proc/22481/task/22482/stat : 22482 (java) S 22479 22479 14983 0 -1 1077944384 9298 0 0 0 63 3 0 0 20 0 19 0 445080986 15789527040 123256 33554432000 4194304 4196468 140721087182976 140405125530752 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22483] ppid=22479 vsize=15419460 memory=223 CPUtime=0.22 cores=1,3,5,7
/proc/22481/task/22483/stat : 22483 (java) S 22479 22479 14983 0 -1 1077944384 1478 0 0 0 19 3 0 0 20 0 19 0 445080987 15789527040 123256 33554432000 4194304 4196468 140721087182976 140405032946704 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22484] ppid=22479 vsize=15419460 memory=71 CPUtime=0.23 cores=1,3,5,7
/proc/22481/task/22484/stat : 22484 (java) S 22479 22479 14983 0 -1 1077944384 1341 0 0 0 20 3 0 0 20 0 19 0 445080987 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404712270992 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22485] ppid=22479 vsize=15419460 memory=1004 CPUtime=0.24 cores=1,3,5,7
/proc/22481/task/22485/stat : 22485 (java) S 22479 22479 14983 0 -1 1077944384 965 0 0 0 21 3 0 0 20 0 19 0 445080987 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404711217936 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22486] ppid=22479 vsize=15419460 memory=6036 CPUtime=0.23 cores=1,3,5,7
/proc/22481/task/22486/stat : 22486 (java) S 22479 22479 14983 0 -1 1077944384 582 0 0 0 20 3 0 0 20 0 19 0 445080987 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404710165392 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22487] ppid=22479 vsize=15419460 memory=14008 CPUtime=0.16 cores=1,3,5,7
/proc/22481/task/22487/stat : 22487 (java) S 22479 22479 14983 0 -1 1077944384 1434 0 0 0 14 2 0 0 20 0 19 0 445080988 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404589852912 140405121301122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22488] ppid=22479 vsize=15419460 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22488/stat : 22488 (java) S 22479 22479 14983 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445080988 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404588799200 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22489] ppid=22479 vsize=15419460 memory=26112 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22489/stat : 22489 (java) S 22479 22479 14983 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 445080989 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404587746048 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22490] ppid=22479 vsize=15419460 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22490/stat : 22490 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404586694608 140405121308571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22491] ppid=22479 vsize=15419460 memory=676 CPUtime=2.23 cores=1,3,5,7
/proc/22481/task/22491/stat : 22491 (java) S 22479 22479 14983 0 -1 1077944384 12766 0 0 0 222 1 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404585642736 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22492] ppid=22479 vsize=15419460 memory=1060 CPUtime=2.23 cores=1,3,5,7
/proc/22481/task/22492/stat : 22492 (java) S 22479 22479 14983 0 -1 1077944384 15072 0 0 0 221 2 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404584590192 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22493] ppid=22479 vsize=15419460 memory=1548 CPUtime=0.71 cores=1,3,5,7
/proc/22481/task/22493/stat : 22493 (java) S 22479 22479 14983 0 -1 1077944384 5848 0 0 0 70 1 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404583537136 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22494] ppid=22479 vsize=15419460 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22494/stat : 22494 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404582484832 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22495] ppid=22479 vsize=15419460 memory=1668 CPUtime=0.02 cores=1,3,5,7
/proc/22481/task/22495/stat : 22495 (java) S 22479 22479 14983 0 -1 1077944384 323 0 0 0 0 2 0 0 20 0 19 0 445080992 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404581431856 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 53 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22500] ppid=22479 vsize=15419460 memory=1112 CPUtime=54.5 cores=1,3,5,7
/proc/22481/task/22500/stat : 22500 (java) R 22479 22479 14983 0 -1 4202560 845 0 0 0 5449 1 0 0 20 0 19 0 445081056 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404571160808 140404717553230 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22501] ppid=22479 vsize=15419460 memory=1436 CPUtime=53.91 cores=1,3,5,7
/proc/22481/task/22501/stat : 22501 (java) R 22479 22479 14983 0 -1 4202560 4040 0 0 0 5390 1 0 0 20 0 19 0 445081056 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404570107984 140404718751060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22502] ppid=22479 vsize=15419460 memory=812 CPUtime=54.58 cores=1,3,5,7
/proc/22481/task/22502/stat : 22502 (java) R 22479 22479 14983 0 -1 4202560 1926 0 0 0 5457 1 0 0 20 0 19 0 445081056 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404572214224 140404717552354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22503] ppid=22479 vsize=15419460 memory=1764 CPUtime=54.3 cores=1,3,5,7
/proc/22481/task/22503/stat : 22503 (java) R 22479 22479 14983 0 -1 4202560 2760 0 0 0 5428 2 0 0 20 0 19 0 445081056 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404569057984 140404718975923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
Current children cumulated CPU time: 224.37 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 494476 KiB
[startup+58.0009 s]*
/proc/loadavg: 8.58 8.38 8.41 10/240 22506
/proc/meminfo: memFree=28789240/32770624 swapFree=66997372/67108860
[pid=22479] ppid=22476 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22479/stat : 22479 (xcsp3-exec) S 22476 22479 14983 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445080985 115843072 363 33554432000 4194304 5098028 140735776785856 140735776783960 140117593301628 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26050560 140735776789371 140735776789613 140735776789613 140735776792522 0
/proc/22479/statm: 28282 363 304 221 0 87 0
[pid=22481] ppid=22479 vsize=15419460 memory=493024 CPUtime=226.06 cores=1,3,5,7
/proc/22481/stat : 22481 (java) S 22479 22479 14983 0 -1 1077944320 60235 0 0 0 22576 30 0 0 20 0 19 0 445080986 15789527040 123256 33554432000 4194304 4196468 140721087182976 140721087165520 140405121289975 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
/proc/22481/statm: 3854865 123256 3514 1 0 3815965 0
[pid=22481/tid=22482] ppid=22479 vsize=15419460 memory=8317482817917895235 CPUtime=0.66 cores=1,3,5,7
/proc/22481/task/22482/stat : 22482 (java) S 22479 22479 14983 0 -1 1077944384 9298 0 0 0 63 3 0 0 20 0 19 0 445080986 15789527040 123256 33554432000 4194304 4196468 140721087182976 140405125530752 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22483] ppid=22479 vsize=15419460 memory=1808 CPUtime=0.22 cores=1,3,5,7
/proc/22481/task/22483/stat : 22483 (java) S 22479 22479 14983 0 -1 1077944384 1478 0 0 0 19 3 0 0 20 0 19 0 445080987 15789527040 123256 33554432000 4194304 4196468 140721087182976 140405032946704 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22484] ppid=22479 vsize=15419460 memory=920 CPUtime=0.23 cores=1,3,5,7
/proc/22481/task/22484/stat : 22484 (java) S 22479 22479 14983 0 -1 1077944384 1341 0 0 0 20 3 0 0 20 0 19 0 445080987 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404712270992 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22485] ppid=22479 vsize=15419460 memory=3844 CPUtime=0.24 cores=1,3,5,7
/proc/22481/task/22485/stat : 22485 (java) S 22479 22479 14983 0 -1 1077944384 965 0 0 0 21 3 0 0 20 0 19 0 445080987 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404711217936 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22486] ppid=22479 vsize=15419460 memory=4872558044660077418 CPUtime=0.23 cores=1,3,5,7
/proc/22481/task/22486/stat : 22486 (java) S 22479 22479 14983 0 -1 1077944384 582 0 0 0 20 3 0 0 20 0 19 0 445080987 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404710165392 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22487] ppid=22479 vsize=15419460 memory=1808 CPUtime=0.16 cores=1,3,5,7
/proc/22481/task/22487/stat : 22487 (java) S 22479 22479 14983 0 -1 1077944384 1434 0 0 0 14 2 0 0 20 0 19 0 445080988 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404589852912 140405121301122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22488] ppid=22479 vsize=15419460 memory=920 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22488/stat : 22488 (java) S 22479 22479 14983 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445080988 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404588799200 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22489] ppid=22479 vsize=15419460 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22489/stat : 22489 (java) S 22479 22479 14983 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 445080989 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404587746048 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22490] ppid=22479 vsize=15419460 memory=2612 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22490/stat : 22490 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404586694608 140405121308571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22491] ppid=22479 vsize=15419460 memory=2628 CPUtime=2.23 cores=1,3,5,7
/proc/22481/task/22491/stat : 22491 (java) S 22479 22479 14983 0 -1 1077944384 12766 0 0 0 222 1 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404585642736 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22492] ppid=22479 vsize=15419460 memory=4100 CPUtime=2.23 cores=1,3,5,7
/proc/22481/task/22492/stat : 22492 (java) S 22479 22479 14983 0 -1 1077944384 15072 0 0 0 221 2 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404584590192 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22493] ppid=22479 vsize=15419460 memory=1412 CPUtime=0.71 cores=1,3,5,7
/proc/22481/task/22493/stat : 22493 (java) S 22479 22479 14983 0 -1 1077944384 5848 0 0 0 70 1 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404583537136 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22494] ppid=22479 vsize=15419460 memory=3208 CPUtime=0 cores=1,3,5,7
/proc/22481/task/22494/stat : 22494 (java) S 22479 22479 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445080991 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404582484832 140405121300181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22495] ppid=22479 vsize=15419460 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/22481/task/22495/stat : 22495 (java) S 22479 22479 14983 0 -1 1077944384 323 0 0 0 0 2 0 0 20 0 19 0 445080992 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404581431856 140405121301122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 53 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22500] ppid=22479 vsize=15419460 memory=6791534058613427641 CPUtime=54.91 cores=1,3,5,7
/proc/22481/task/22500/stat : 22500 (java) R 22479 22479 14983 0 -1 4202560 845 0 0 0 5490 1 0 0 20 0 19 0 445081056 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404571160808 140404718882511 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22501] ppid=22479 vsize=15419460 memory=0 CPUtime=54.33 cores=1,3,5,7
/proc/22481/task/22501/stat : 22501 (java) R 22479 22479 14983 0 -1 4202560 4040 0 0 0 5432 1 0 0 20 0 19 0 445081056 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404570107984 140404718977153 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22502] ppid=22479 vsize=15419460 memory=0 CPUtime=55.01 cores=1,3,5,7
/proc/22481/task/22502/stat : 22502 (java) R 22479 22479 14983 0 -1 4202560 1926 0 0 0 5500 1 0 0 20 0 19 0 445081056 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404572214360 140404718323830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
[pid=22481/tid=22503] ppid=22479 vsize=15419460 memory=0 CPUtime=54.73 cores=1,3,5,7
/proc/22481/task/22503/stat : 22503 (java) R 22479 22479 14983 0 -1 4202560 2760 0 0 0 5471 2 0 0 20 0 19 0 445081056 15789527040 123256 33554432000 4194304 4196468 140721087182976 140404569057872 140404718977982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11382784 140721087185903 140721087186074 140721087186074 140721087188943 0
Current children cumulated CPU time: 226.06 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 494476 KiB
Child status: 0
Real time (s): 58.0708
CPU time (s): 226.222
CPU user time (s): 225.901
CPU system time (s): 0.32038
CPU usage (%): 389.562
Max. virtual memory (cumulated for all children) (KiB): 15534292
Max. memory (cumulated for all children) (KiB): 496012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.901
system time used= 0.32038
maximum resident set size= 494560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10473
involuntary context switches= 5474
# summary of solver processes directly reported to runsolver:
# pid: 22479
# total CPU time (s): 226.222
# total CPU user time (s): 225.901
# total CPU system time (s): 0.32038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.413302 second user time and 0.722834 second system time
The end