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 (15262 MiB free)
memory of node 1: 16384 MiB (15320 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400374-1568674733/watcher-4400374-1568674733 -o /tmp/evaluation-result-4400374-1568674733/solver-4400374-1568674733 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 44979452 HOME/instance-4400374-1568674733.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=1589, runsolver pid=1586
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 8.34 8.53 7.16 7/233 1605
/proc/meminfo: memFree=31299980/32770624 swapFree=66997368/67108860
[pid=1589] ppid=1586 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (xcsp3-exec) S 1586 1589 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443726326 115843072 362 33554432000 4194304 5098028 140732968664032 140732968662136 139628930323068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9961472 140732968665980 140732968666221 140732968666221 140732968669130 0
/proc/1589/statm: 28282 362 304 221 0 87 0
[pid=1591] ppid=1589 vsize=15144776 memory=29868 CPUtime=0.12 cores=0,2,4,6
/proc/1591/stat : 1591 (java) S 1589 1589 32513 0 -1 1077944320 5938 0 0 0 11 1 0 0 20 0 15 0 443726326 15508250624 7467 33554432000 4194304 4196468 140723099357152 140723099339696 140198626529015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
/proc/1591/statm: 3786194 7467 3117 1 0 3748377 0
[pid=1591/tid=1592] ppid=1589 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/1591/task/1592/stat : 1592 (java) R 1589 1589 32513 0 -1 4202560 3865 0 0 0 8 1 0 0 20 0 15 0 443726326 15508250624 7533 33554432000 4194304 4196468 140723099357152 140198630760336 140198618766142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1593] ppid=1589 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1593/stat : 1593 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726327 15508250624 7533 33554432000 4194304 4196468 140723099357152 140198538184976 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1594] ppid=1589 vsize=15144776 memory=139716875376256 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1594/stat : 1594 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726327 15508250624 7533 33554432000 4194304 4196468 140723099357152 140198218295696 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1595] ppid=1589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1595/stat : 1595 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726327 15508250624 7533 33554432000 4194304 4196468 140723099357152 140198217243152 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1596] ppid=1589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1596/stat : 1596 (java) S 1589 1589 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443726327 15508250624 7533 33554432000 4194304 4196468 140723099357152 140198216190608 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1597] ppid=1589 vsize=15144776 memory=139716875376256 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1597/stat : 1597 (java) S 1589 1589 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443726329 15508250624 7533 33554432000 4194304 4196468 140723099357152 140197960878576 140198626540162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1598] ppid=1589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1598/stat : 1598 (java) S 1589 1589 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443726329 15508250624 7533 33554432000 4194304 4196468 140723099357152 140197959824800 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1599] ppid=1589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1599/stat : 1599 (java) S 1589 1589 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 443726329 15508250624 7533 33554432000 4194304 4196468 140723099357152 140197958772208 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1600] ppid=1589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1600/stat : 1600 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443726332 15508250624 7533 33554432000 4194304 4196468 140723099357152 140197957720784 140198626547611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1601] ppid=1589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1601/stat : 1601 (java) R 1589 1589 32513 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 443726332 15508250624 7533 33554432000 4194304 4196468 140723099357152 140197956667376 140198626540162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1602] ppid=1589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1602/stat : 1602 (java) R 1589 1589 32513 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 15 0 443726332 15508250624 7533 33554432000 4194304 4196468 140723099357152 140197955614832 140198609940276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1603] ppid=1589 vsize=15144776 memory=139716875376256 CPUtime=0.02 cores=0,2,4,6
/proc/1591/task/1603/stat : 1603 (java) R 1589 1589 32513 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 443726332 15508250624 7533 33554432000 4194304 4196468 140723099357152 140197954562288 140198605483738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1604] ppid=1589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1604/stat : 1604 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443726332 15508250624 7533 33554432000 4194304 4196468 140723099357152 140197953509984 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1605] ppid=1589 vsize=15144776 memory=139716875376256 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1605/stat : 1605 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726332 15508250624 7533 33554432000 4194304 4196468 140723099357152 140197952457520 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31316 KiB
[startup+0.21356 s]*
/proc/loadavg: 8.34 8.53 7.16 6/233 1605
/proc/meminfo: memFree=31287060/32770624 swapFree=66997368/67108860
[pid=1589] ppid=1586 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (xcsp3-exec) S 1586 1589 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443726326 115843072 362 33554432000 4194304 5098028 140732968664032 140732968662136 139628930323068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9961472 140732968665980 140732968666221 140732968666221 140732968669130 0
/proc/1589/statm: 28282 362 304 221 0 87 0
[pid=1591] ppid=1589 vsize=15144776 memory=40692 CPUtime=0.34 cores=0,2,4,6
/proc/1591/stat : 1591 (java) S 1589 1589 32513 0 -1 1077944320 9360 0 0 0 32 2 0 0 20 0 15 0 443726326 15508250624 10173 33554432000 4194304 4196468 140723099357152 140723099339696 140198626529015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
/proc/1591/statm: 3786194 10173 3310 1 0 3748377 0
[pid=1591/tid=1592] ppid=1589 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1591/task/1592/stat : 1592 (java) R 1589 1589 32513 0 -1 4202560 6672 0 0 0 18 2 0 0 20 0 15 0 443726326 15508250624 10173 33554432000 4194304 4196468 140723099357152 140198630762464 140198626550941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1593] ppid=1589 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1593/stat : 1593 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726327 15508250624 10173 33554432000 4194304 4196468 140723099357152 140198538184976 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1594] ppid=1589 vsize=15144776 memory=139716875403869 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1594/stat : 1594 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726327 15508250624 10173 33554432000 4194304 4196468 140723099357152 140198218295696 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1595] ppid=1589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1595/stat : 1595 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726327 15508250624 10173 33554432000 4194304 4196468 140723099357152 140198217243152 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1596] ppid=1589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1596/stat : 1596 (java) S 1589 1589 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443726327 15508250624 10173 33554432000 4194304 4196468 140723099357152 140198216190608 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1597] ppid=1589 vsize=15144776 memory=139716875376256 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1597/stat : 1597 (java) S 1589 1589 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443726329 15508250624 10173 33554432000 4194304 4196468 140723099357152 140197960878576 140198626540162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1598] ppid=1589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1598/stat : 1598 (java) S 1589 1589 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443726329 15508250624 10173 33554432000 4194304 4196468 140723099357152 140197959824800 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1599] ppid=1589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1599/stat : 1599 (java) S 1589 1589 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 443726329 15508250624 10173 33554432000 4194304 4196468 140723099357152 140197958772208 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1600] ppid=1589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1600/stat : 1600 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443726332 15508250624 10173 33554432000 4194304 4196468 140723099357152 140197957720784 140198626547611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1601] ppid=1589 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1591/task/1601/stat : 1601 (java) S 1589 1589 32513 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 443726332 15508250624 10173 33554432000 4194304 4196468 140723099357152 140197956667376 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1602] ppid=1589 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/1591/task/1602/stat : 1602 (java) S 1589 1589 32513 0 -1 1077944384 279 0 0 0 3 0 0 0 20 0 15 0 443726332 15508250624 10173 33554432000 4194304 4196468 140723099357152 140197955614832 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1603] ppid=1589 vsize=15144776 memory=139716875376256 CPUtime=0.08 cores=0,2,4,6
/proc/1591/task/1603/stat : 1603 (java) S 1589 1589 32513 0 -1 1077944384 765 0 0 0 8 0 0 0 20 0 15 0 443726332 15508250624 10173 33554432000 4194304 4196468 140723099357152 140197954562288 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1604] ppid=1589 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1604/stat : 1604 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443726332 15508250624 10173 33554432000 4194304 4196468 140723099357152 140197953509984 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1605] ppid=1589 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1605/stat : 1605 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726332 15508250624 10173 33554432000 4194304 4196468 140723099357152 140197952457520 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42140 KiB
[startup+0.310504 s]*
/proc/loadavg: 8.34 8.53 7.16 8/233 1605
/proc/meminfo: memFree=31280928/32770624 swapFree=66997368/67108860
[pid=1589] ppid=1586 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (xcsp3-exec) S 1586 1589 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443726326 115843072 362 33554432000 4194304 5098028 140732968664032 140732968662136 139628930323068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9961472 140732968665980 140732968666221 140732968666221 140732968669130 0
/proc/1589/statm: 28282 362 304 221 0 87 0
[pid=1591] ppid=1589 vsize=15149032 memory=49936 CPUtime=0.53 cores=0,2,4,6
/proc/1591/stat : 1591 (java) S 1589 1589 32513 0 -1 1077944320 10811 0 0 0 50 3 0 0 20 0 15 0 443726326 15512608768 12484 33554432000 4194304 4196468 140723099357152 140723099339696 140198626529015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
/proc/1591/statm: 3787258 12484 3359 1 0 3748377 0
[pid=1591/tid=1592] ppid=1589 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1591/task/1592/stat : 1592 (java) R 1589 1589 32513 0 -1 4202560 7821 0 0 0 27 2 0 0 20 0 15 0 443726326 15512608768 12484 33554432000 4194304 4196468 140723099357152 140198630762320 140198610609502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1593] ppid=1589 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1593/stat : 1593 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726327 15512608768 12484 33554432000 4194304 4196468 140723099357152 140198538184976 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1594] ppid=1589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1594/stat : 1594 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726327 15512608768 12484 33554432000 4194304 4196468 140723099357152 140198218295696 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1595] ppid=1589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1595/stat : 1595 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726327 15512608768 12484 33554432000 4194304 4196468 140723099357152 140198217243152 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1596] ppid=1589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1596/stat : 1596 (java) S 1589 1589 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443726327 15512608768 12484 33554432000 4194304 4196468 140723099357152 140198216190608 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1597] ppid=1589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1597/stat : 1597 (java) S 1589 1589 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443726329 15512608768 12484 33554432000 4194304 4196468 140723099357152 140197960878576 140198626540162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1598] ppid=1589 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1598/stat : 1598 (java) S 1589 1589 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443726329 15512608768 12484 33554432000 4194304 4196468 140723099357152 140197959824800 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1599] ppid=1589 vsize=15149032 memory=3833746603143278640 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1599/stat : 1599 (java) S 1589 1589 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 443726329 15512608768 12549 33554432000 4194304 4196468 140723099357152 140197958772208 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1600] ppid=1589 vsize=15149032 memory=7959395632135221304 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1600/stat : 1600 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443726332 15512608768 12549 33554432000 4194304 4196468 140723099357152 140197957720784 140198626547611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1601] ppid=1589 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1591/task/1601/stat : 1601 (java) R 1589 1589 32513 0 -1 4202560 508 0 0 0 4 0 0 0 20 0 15 0 443726332 15512608768 12549 33554432000 4194304 4196468 140723099357152 140197956667376 140198611458413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1602] ppid=1589 vsize=15149032 memory=3467824627879784501 CPUtime=0.04 cores=0,2,4,6
/proc/1591/task/1602/stat : 1602 (java) S 1589 1589 32513 0 -1 1077944384 305 0 0 0 4 0 0 0 20 0 15 0 443726332 15512608768 12549 33554432000 4194304 4196468 140723099357152 140197955614832 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1603] ppid=1589 vsize=15149032 memory=3756202524897244848 CPUtime=0.13 cores=0,2,4,6
/proc/1591/task/1603/stat : 1603 (java) S 1589 1589 32513 0 -1 1077944384 919 0 0 0 13 0 0 0 20 0 15 0 443726332 15512608768 12549 33554432000 4194304 4196468 140723099357152 140197954562288 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1604] ppid=1589 vsize=15149032 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1604/stat : 1604 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443726332 15512608768 12549 33554432000 4194304 4196468 140723099357152 140197953509984 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1605] ppid=1589 vsize=15149032 memory=3977720011256624820 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1605/stat : 1605 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443726332 15512608768 12549 33554432000 4194304 4196468 140723099357152 140197952457520 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51384 KiB
[startup+0.702412 s]
/proc/loadavg: 8.34 8.53 7.16 9/233 1605
/proc/meminfo: memFree=31265704/32770624 swapFree=66997368/67108860
[pid=1589] ppid=1586 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (xcsp3-exec) S 1586 1589 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443726326 115843072 362 33554432000 4194304 5098028 140732968664032 140732968662136 139628930323068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9961472 140732968665980 140732968666221 140732968666221 140732968669130 0
/proc/1589/statm: 28282 362 304 221 0 87 0
[pid=1591] ppid=1589 vsize=15419460 memory=89024 CPUtime=1.53 cores=0,2,4,6
/proc/1591/stat : 1591 (java) S 1589 1589 32513 0 -1 1077944320 14521 0 0 0 147 6 0 0 20 0 19 0 443726326 15789527040 22256 33554432000 4194304 4196468 140723099357152 140723099339696 140198626529015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
/proc/1591/statm: 3854865 22256 3454 1 0 3815965 0
[pid=1591/tid=1592] ppid=1589 vsize=15419460 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/1591/task/1592/stat : 1592 (java) S 1589 1589 32513 0 -1 1077944384 9494 0 0 0 63 3 0 0 20 0 19 0 443726326 15789527040 22256 33554432000 4194304 4196468 140723099357152 140198630769792 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1593] ppid=1589 vsize=15419460 memory=51 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1593/stat : 1593 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443726327 15789527040 22256 33554432000 4194304 4196468 140723099357152 140198538184976 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1594] ppid=1589 vsize=15419460 memory=110 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1594/stat : 1594 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443726327 15789527040 22256 33554432000 4194304 4196468 140723099357152 140198218295696 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1595] ppid=1589 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1595/stat : 1595 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443726327 15789527040 22256 33554432000 4194304 4196468 140723099357152 140198217243152 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1596] ppid=1589 vsize=15419460 memory=3 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1596/stat : 1596 (java) S 1589 1589 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443726327 15789527040 22256 33554432000 4194304 4196468 140723099357152 140198216190608 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1597] ppid=1589 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1597/stat : 1597 (java) S 1589 1589 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 443726329 15789527040 22256 33554432000 4194304 4196468 140723099357152 140197960878576 140198626540162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1598] ppid=1589 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1598/stat : 1598 (java) S 1589 1589 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443726329 15789527040 22256 33554432000 4194304 4196468 140723099357152 140197959824800 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1599] ppid=1589 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1599/stat : 1599 (java) S 1589 1589 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 443726329 15789527040 22272 33554432000 4194304 4196468 140723099357152 140197958772208 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1600] ppid=1589 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1600/stat : 1600 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443726332 15789527040 22272 33554432000 4194304 4196468 140723099357152 140197957720784 140198626547611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1601] ppid=1589 vsize=15419460 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/1591/task/1601/stat : 1601 (java) R 1589 1589 32513 0 -1 4202560 901 0 0 0 19 0 0 0 20 0 19 0 443726332 15789527040 22272 33554432000 4194304 4196468 140723099357152 140197956666560 140198604765401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1602] ppid=1589 vsize=15419460 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/1591/task/1602/stat : 1602 (java) R 1589 1589 32513 0 -1 1077944384 871 0 0 0 19 0 0 0 20 0 19 0 443726332 15789527040 22272 33554432000 4194304 4196468 140723099357152 140197955614832 140198626540162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1603] ppid=1589 vsize=15419460 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/1591/task/1603/stat : 1603 (java) R 1589 1589 32513 0 -1 4202560 1772 0 0 0 40 0 0 0 20 0 19 0 443726332 15789527040 22272 33554432000 4194304 4196468 140723099357152 140197954558240 140198610219304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1604] ppid=1589 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1604/stat : 1604 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443726332 15789527040 22272 33554432000 4194304 4196468 140723099357152 140197953509984 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1605] ppid=1589 vsize=15419460 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1605/stat : 1605 (java) S 1589 1589 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443726332 15789527040 22272 33554432000 4194304 4196468 140723099357152 140197952457520 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 90472 KiB
[startup+1.50139 s]
/proc/loadavg: 8.34 8.53 7.16 12/237 1613
/proc/meminfo: memFree=31226628/32770624 swapFree=66997368/67108860
[pid=1589] ppid=1586 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (xcsp3-exec) S 1586 1589 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443726326 115843072 362 33554432000 4194304 5098028 140732968664032 140732968662136 139628930323068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9961472 140732968665980 140732968666221 140732968666221 140732968669130 0
/proc/1589/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 164380 KiB
[startup+54.4014 s]
/proc/loadavg: 8.67 8.60 7.26 9/237 1862
/proc/meminfo: memFree=31156080/32770624 swapFree=66997368/67108860
[pid=1589] ppid=1586 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (xcsp3-exec) S 1586 1589 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443726326 115843072 362 33554432000 4194304 5098028 140732968664032 140732968662136 139628930323068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9961472 140732968665980 140732968666221 140732968666221 140732968669130 0
/proc/1589/statm: 28282 362 304 221 0 87 0
[pid=1591] ppid=1589 vsize=15553616 memory=162420 CPUtime=214.02 cores=0,2,4,6
/proc/1591/stat : 1591 (java) S 1589 1589 32513 0 -1 1077944320 86021 0 0 0 21381 21 0 0 20 0 19 0 443726326 15926902784 40605 33554432000 4194304 4196468 140723099357152 140723099339696 140198626529015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
/proc/1591/statm: 3888404 40605 3532 1 0 3849504 0
[pid=1591/tid=1592] ppid=1589 vsize=15553616 memory=1448 CPUtime=0.69 cores=0,2,4,6
/proc/1591/task/1592/stat : 1592 (java) S 1589 1589 32513 0 -1 1077944384 10444 0 0 0 65 4 0 0 20 0 19 0 443726326 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198630769792 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1593] ppid=1589 vsize=15553616 memory=164460 CPUtime=0.03 cores=0,2,4,6
/proc/1591/task/1593/stat : 1593 (java) S 1589 1589 32513 0 -1 1077944384 1359 0 0 0 3 0 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198538184976 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1594] ppid=1589 vsize=15553616 memory=3504 CPUtime=0.04 cores=0,2,4,6
/proc/1591/task/1594/stat : 1594 (java) S 1589 1589 32513 0 -1 1077944384 2056 0 0 0 4 0 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198218295696 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1595] ppid=1589 vsize=15553616 memory=8112282956445269571 CPUtime=0.05 cores=0,2,4,6
/proc/1591/task/1595/stat : 1595 (java) S 1589 1589 32513 0 -1 1077944384 925 0 0 0 4 1 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198217243152 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1596] ppid=1589 vsize=15553616 memory=1388 CPUtime=0.03 cores=0,2,4,6
/proc/1591/task/1596/stat : 1596 (java) S 1589 1589 32513 0 -1 1077944384 2302 0 0 0 3 0 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198216190608 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1597] ppid=1589 vsize=15553616 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/1591/task/1597/stat : 1597 (java) S 1589 1589 32513 0 -1 1077944384 2573 0 0 0 4 1 0 0 20 0 19 0 443726329 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197960878576 140198626540162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1598] ppid=1589 vsize=15553616 memory=234044 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1598/stat : 1598 (java) S 1589 1589 32513 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 443726329 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197959824864 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1599] ppid=1589 vsize=15553616 memory=776 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1599/stat : 1599 (java) S 1589 1589 32513 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 443726329 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197958772224 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1600] ppid=1589 vsize=15553616 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1600/stat : 1600 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197957720784 140198626547611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1601] ppid=1589 vsize=15553616 memory=2828 CPUtime=3.9 cores=0,2,4,6
/proc/1591/task/1601/stat : 1601 (java) S 1589 1589 32513 0 -1 1077944384 19060 0 0 0 387 3 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197956667376 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1602] ppid=1589 vsize=15553616 memory=676 CPUtime=4.23 cores=0,2,4,6
/proc/1591/task/1602/stat : 1602 (java) S 1589 1589 32513 0 -1 1077944384 20011 0 0 0 421 2 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197955614832 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1603] ppid=1589 vsize=15553616 memory=162932 CPUtime=0.79 cores=0,2,4,6
/proc/1591/task/1603/stat : 1603 (java) S 1589 1589 32513 0 -1 1077944384 10106 0 0 0 78 1 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197954562288 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1604] ppid=1589 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1604/stat : 1604 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197953509984 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1605] ppid=1589 vsize=15553616 memory=4854972110510188854 CPUtime=0.01 cores=0,2,4,6
/proc/1591/task/1605/stat : 1605 (java) S 1589 1589 32513 0 -1 1077944384 1485 0 0 0 0 1 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197952457520 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1858] ppid=1589 vsize=15553616 memory=7594871528071129190 CPUtime=13.59 cores=0,2,4,6
/proc/1591/task/1858/stat : 1858 (java) R 1589 1589 32513 0 -1 4202560 286 0 0 0 1359 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197943237616 140198223278732 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1859] ppid=1589 vsize=15553616 memory=1060 CPUtime=13.55 cores=0,2,4,6
/proc/1591/task/1859/stat : 1859 (java) R 1589 1589 32513 0 -1 4202560 988 0 0 0 1355 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197939039488 140198224403215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1860] ppid=1589 vsize=15553616 memory=1548 CPUtime=13.64 cores=0,2,4,6
/proc/1591/task/1860/stat : 1860 (java) R 1589 1589 32513 0 -1 4202560 366 0 0 0 1364 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197935879184 140198225824825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1861] ppid=1589 vsize=15553616 memory=8560 CPUtime=13.58 cores=0,2,4,6
/proc/1591/task/1861/stat : 1861 (java) R 1589 1589 32513 0 -1 4202560 730 0 0 0 1358 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197940087928 140198221983945 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
Current children cumulated CPU time: 214.02 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 163868 KiB
[startup+55.2014 s]
/proc/loadavg: 8.69 8.60 7.27 9/238 1864
/proc/meminfo: memFree=31154656/32770624 swapFree=66997368/67108860
[pid=1589] ppid=1586 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (xcsp3-exec) S 1586 1589 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443726326 115843072 362 33554432000 4194304 5098028 140732968664032 140732968662136 139628930323068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9961472 140732968665980 140732968666221 140732968666221 140732968669130 0
/proc/1589/statm: 28282 362 304 221 0 87 0
[pid=1591] ppid=1589 vsize=15553616 memory=162420 CPUtime=217.2 cores=0,2,4,6
/proc/1591/stat : 1591 (java) S 1589 1589 32513 0 -1 1077944320 86032 0 0 0 21699 21 0 0 20 0 19 0 443726326 15926902784 40605 33554432000 4194304 4196468 140723099357152 140723099339696 140198626529015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
/proc/1591/statm: 3888404 40605 3532 1 0 3849504 0
[pid=1591/tid=1592] ppid=1589 vsize=15553616 memory=1448 CPUtime=0.69 cores=0,2,4,6
/proc/1591/task/1592/stat : 1592 (java) S 1589 1589 32513 0 -1 1077944384 10444 0 0 0 65 4 0 0 20 0 19 0 443726326 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198630769792 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1593] ppid=1589 vsize=15553616 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/1591/task/1593/stat : 1593 (java) S 1589 1589 32513 0 -1 1077944384 1359 0 0 0 3 0 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198538184976 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1594] ppid=1589 vsize=15553616 memory=3028 CPUtime=0.05 cores=0,2,4,6
/proc/1591/task/1594/stat : 1594 (java) S 1589 1589 32513 0 -1 1077944384 2058 0 0 0 4 1 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198218295696 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1595] ppid=1589 vsize=15553616 memory=2012 CPUtime=0.05 cores=0,2,4,6
/proc/1591/task/1595/stat : 1595 (java) S 1589 1589 32513 0 -1 1077944384 925 0 0 0 4 1 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198217243152 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1596] ppid=1589 vsize=15553616 memory=1412 CPUtime=0.04 cores=0,2,4,6
/proc/1591/task/1596/stat : 1596 (java) S 1589 1589 32513 0 -1 1077944384 2303 0 0 0 4 0 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198216190608 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1597] ppid=1589 vsize=15553616 memory=3120 CPUtime=0.05 cores=0,2,4,6
/proc/1591/task/1597/stat : 1597 (java) S 1589 1589 32513 0 -1 1077944384 2577 0 0 0 4 1 0 0 20 0 19 0 443726329 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197960878576 140198626540162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1598] ppid=1589 vsize=15553616 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1598/stat : 1598 (java) S 1589 1589 32513 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 443726329 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197959824864 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1599] ppid=1589 vsize=15553616 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1599/stat : 1599 (java) S 1589 1589 32513 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 443726329 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197958772224 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1600] ppid=1589 vsize=15553616 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1600/stat : 1600 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197957720784 140198626547611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1601] ppid=1589 vsize=15553616 memory=2012 CPUtime=3.9 cores=0,2,4,6
/proc/1591/task/1601/stat : 1601 (java) S 1589 1589 32513 0 -1 1077944384 19060 0 0 0 387 3 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197956667376 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1602] ppid=1589 vsize=15553616 memory=1412 CPUtime=4.23 cores=0,2,4,6
/proc/1591/task/1602/stat : 1602 (java) S 1589 1589 32513 0 -1 1077944384 20011 0 0 0 421 2 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197955614832 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1603] ppid=1589 vsize=15553616 memory=3156 CPUtime=0.79 cores=0,2,4,6
/proc/1591/task/1603/stat : 1603 (java) S 1589 1589 32513 0 -1 1077944384 10106 0 0 0 78 1 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197954562288 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1604] ppid=1589 vsize=15553616 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1604/stat : 1604 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197953509984 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1605] ppid=1589 vsize=15553616 memory=1388 CPUtime=0.01 cores=0,2,4,6
/proc/1591/task/1605/stat : 1605 (java) S 1589 1589 32513 0 -1 1077944384 1485 0 0 0 0 1 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197952457520 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1858] ppid=1589 vsize=15553616 memory=1452 CPUtime=14.37 cores=0,2,4,6
/proc/1591/task/1858/stat : 1858 (java) R 1589 1589 32513 0 -1 4202560 287 0 0 0 1437 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197943238344 140198223180832 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1859] ppid=1589 vsize=15553616 memory=234944 CPUtime=14.35 cores=0,2,4,6
/proc/1591/task/1859/stat : 1859 (java) R 1589 1589 32513 0 -1 4202560 989 0 0 0 1435 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197939036552 140198218639141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1860] ppid=1589 vsize=15553616 memory=776 CPUtime=14.44 cores=0,2,4,6
/proc/1591/task/1860/stat : 1860 (java) R 1589 1589 32513 0 -1 4202560 366 0 0 0 1444 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197935881904 140198219453400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1861] ppid=1589 vsize=15553616 memory=3992 CPUtime=14.38 cores=0,2,4,6
/proc/1591/task/1861/stat : 1861 (java) R 1589 1589 32513 0 -1 4202560 732 0 0 0 1438 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197940087824 140198223279919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
Current children cumulated CPU time: 217.2 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 163868 KiB
[startup+55.4014 s]
/proc/loadavg: 8.69 8.60 7.27 9/238 1864
/proc/meminfo: memFree=31154656/32770624 swapFree=66997368/67108860
[pid=1589] ppid=1586 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (xcsp3-exec) S 1586 1589 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443726326 115843072 362 33554432000 4194304 5098028 140732968664032 140732968662136 139628930323068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9961472 140732968665980 140732968666221 140732968666221 140732968669130 0
/proc/1589/statm: 28282 362 304 221 0 87 0
[pid=1591] ppid=1589 vsize=15553616 memory=162420 CPUtime=218 cores=0,2,4,6
/proc/1591/stat : 1591 (java) S 1589 1589 32513 0 -1 1077944320 86032 0 0 0 21779 21 0 0 20 0 19 0 443726326 15926902784 40605 33554432000 4194304 4196468 140723099357152 140723099339696 140198626529015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
/proc/1591/statm: 3888404 40605 3532 1 0 3849504 0
[pid=1591/tid=1592] ppid=1589 vsize=15553616 memory=1060 CPUtime=0.69 cores=0,2,4,6
/proc/1591/task/1592/stat : 1592 (java) S 1589 1589 32513 0 -1 1077944384 10444 0 0 0 65 4 0 0 20 0 19 0 443726326 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198630769792 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1593] ppid=1589 vsize=15553616 memory=1548 CPUtime=0.03 cores=0,2,4,6
/proc/1591/task/1593/stat : 1593 (java) S 1589 1589 32513 0 -1 1077944384 1359 0 0 0 3 0 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198538184976 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1594] ppid=1589 vsize=15553616 memory=8560 CPUtime=0.05 cores=0,2,4,6
/proc/1591/task/1594/stat : 1594 (java) S 1589 1589 32513 0 -1 1077944384 2058 0 0 0 4 1 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198218295696 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1595] ppid=1589 vsize=15553616 memory=1668 CPUtime=0.05 cores=0,2,4,6
/proc/1591/task/1595/stat : 1595 (java) S 1589 1589 32513 0 -1 1077944384 925 0 0 0 4 1 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198217243152 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1596] ppid=1589 vsize=15553616 memory=1112 CPUtime=0.04 cores=0,2,4,6
/proc/1591/task/1596/stat : 1596 (java) S 1589 1589 32513 0 -1 1077944384 2303 0 0 0 4 0 0 0 20 0 19 0 443726327 15926902784 40605 33554432000 4194304 4196468 140723099357152 140198216190608 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1597] ppid=1589 vsize=15553616 memory=288230574492221466 CPUtime=0.05 cores=0,2,4,6
/proc/1591/task/1597/stat : 1597 (java) S 1589 1589 32513 0 -1 1077944384 2577 0 0 0 4 1 0 0 20 0 19 0 443726329 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197960878576 140198626540162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1598] ppid=1589 vsize=15553616 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1598/stat : 1598 (java) S 1589 1589 32513 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 443726329 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197959824864 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1599] ppid=1589 vsize=15553616 memory=15825503609161824 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1599/stat : 1599 (java) S 1589 1589 32513 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 443726329 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197958772224 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1600] ppid=1589 vsize=15553616 memory=15825503609162137 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1600/stat : 1600 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197957720784 140198626547611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1601] ppid=1589 vsize=15553616 memory=920 CPUtime=3.9 cores=0,2,4,6
/proc/1591/task/1601/stat : 1601 (java) S 1589 1589 32513 0 -1 1077944384 19060 0 0 0 387 3 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197956667376 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1602] ppid=1589 vsize=15553616 memory=3848 CPUtime=4.23 cores=0,2,4,6
/proc/1591/task/1602/stat : 1602 (java) S 1589 1589 32513 0 -1 1077944384 20011 0 0 0 421 2 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197955614832 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1603] ppid=1589 vsize=15553616 memory=2596 CPUtime=0.79 cores=0,2,4,6
/proc/1591/task/1603/stat : 1603 (java) S 1589 1589 32513 0 -1 1077944384 10106 0 0 0 78 1 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197954562288 140198626540162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1604] ppid=1589 vsize=15553616 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/1591/task/1604/stat : 1604 (java) S 1589 1589 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197953509984 140198626539221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1605] ppid=1589 vsize=15553616 memory=6935054825532540783 CPUtime=0.01 cores=0,2,4,6
/proc/1591/task/1605/stat : 1605 (java) R 1589 1589 32513 0 -1 1077944384 1485 0 0 0 0 1 0 0 20 0 19 0 443726332 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197952457520 140198626540162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1858] ppid=1589 vsize=15553616 memory=4126316290023845779 CPUtime=14.57 cores=0,2,4,6
/proc/1591/task/1858/stat : 1858 (java) R 1589 1589 32513 0 -1 4202560 287 0 0 0 1457 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197943238344 140198227039620 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1859] ppid=1589 vsize=15553616 memory=0 CPUtime=14.55 cores=0,2,4,6
/proc/1591/task/1859/stat : 1859 (java) R 1589 1589 32513 0 -1 4202560 989 0 0 0 1455 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197939036552 140198226260018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1860] ppid=1589 vsize=15553616 memory=0 CPUtime=14.64 cores=0,2,4,6
/proc/1591/task/1860/stat : 1860 (java) R 1589 1589 32513 0 -1 4202560 366 0 0 0 1464 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197935881904 140198226140432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
[pid=1591/tid=1861] ppid=1589 vsize=15553616 memory=139716763746864 CPUtime=14.58 cores=0,2,4,6
/proc/1591/task/1861/stat : 1861 (java) R 1589 1589 32513 0 -1 4202560 732 0 0 0 1458 0 0 0 20 0 19 0 443730393 15926902784 40605 33554432000 4194304 4196468 140723099357152 140197940087824 140198223182077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21524480 140723099362287 140723099362458 140723099362458 140723099365327 0
Current children cumulated CPU time: 218 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 163868 KiB
[startup+55.5008 s]
/proc/loadavg: 8.69 8.60 7.27 9/238 1864
/proc/meminfo: memFree=31154656/32770624 swapFree=66997368/67108860
[pid=1589] ppid=1586 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1589/stat : 1589 (xcsp3-exec) S 1586 1589 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443726326 115843072 362 33554432000 4194304 5098028 140732968664032 140732968662136 139628930323068 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9961472 140732968665980 140732968666221 140732968666221 140732968669130 0
/proc/1589/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 55.5056
CPU time (s): 218.4
CPU user time (s): 218.173
CPU system time (s): 0.2273
CPU usage (%): 393.474
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 243560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.173
system time used= 0.2273
maximum resident set size= 242248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87757
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= 7928
involuntary context switches= 5608
# summary of solver processes directly reported to runsolver:
# pid: 1589
# total CPU time (s): 218.4
# total CPU user time (s): 218.173
# total CPU system time (s): 0.2273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.380222 second user time and 0.632139 second system time
The end