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 (14496 MiB free)
memory of node 1: 16384 MiB (15277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399290-1568698043/watcher-4399290-1568698043 -o /tmp/evaluation-result-4399290-1568698043/solver-4399290-1568698043 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19868 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 493252805 HOME/instance-4399290-1568698043.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=23442, runsolver pid=23439
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.20 8.44 8.21 8/234 23458
/proc/meminfo: memFree=30471744/32770624 swapFree=66922424/67108860
[pid=23442] ppid=23439 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23442/stat : 23442 (xcsp3-exec) S 23439 23442 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445742148 115843072 363 33554432000 4194304 5098028 140734211417712 140734211415816 140112254030460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19841024 140734211425147 140734211425389 140734211425389 140734211428298 0
/proc/23442/statm: 28282 363 304 221 0 87 0
[pid=23444] ppid=23442 vsize=15144776 memory=29300 CPUtime=0.13 cores=1,3,5,7
/proc/23444/stat : 23444 (java) S 23442 23442 19836 0 -1 1077944320 5774 0 0 0 12 1 0 0 20 0 15 0 445742148 15508250624 7325 33554432000 4194304 4196468 140730870054224 140730870036768 139737004498679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
/proc/23444/statm: 3786194 7325 3149 1 0 3748377 0
[pid=23444/tid=23445] ppid=23442 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=1,3,5,7
/proc/23444/task/23445/stat : 23445 (java) R 23442 23442 19836 0 -1 4202560 3656 0 0 0 9 0 0 0 20 0 15 0 445742148 15508250624 7325 33554432000 4194304 4196468 140730870054224 139737008728272 139736996740069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23446] ppid=23442 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23446/stat : 23446 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15508250624 7325 33554432000 4194304 4196468 140730870054224 139736596425360 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23447] ppid=23442 vsize=15144776 memory=139805979707008 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23447/stat : 23447 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15508250624 7325 33554432000 4194304 4196468 140730870054224 139736595372560 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23448] ppid=23442 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23448/stat : 23448 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15508250624 7325 33554432000 4194304 4196468 140730870054224 139736594319760 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23449] ppid=23442 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23449/stat : 23449 (java) S 23442 23442 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445742149 15508250624 7325 33554432000 4194304 4196468 140730870054224 139736593266960 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23450] ppid=23442 vsize=15144776 memory=139805979707008 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23450/stat : 23450 (java) S 23442 23442 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445742150 15508250624 7325 33554432000 4194304 4196468 140730870054224 139735878671216 139737004509826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23451] ppid=23442 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23451/stat : 23451 (java) S 23442 23442 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445742151 15508250624 7325 33554432000 4194304 4196468 140730870054224 139735877617184 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23452] ppid=23442 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23452/stat : 23452 (java) S 23442 23442 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445742151 15508250624 7325 33554432000 4194304 4196468 140730870054224 139735876564336 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23453] ppid=23442 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23453/stat : 23453 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445742153 15508250624 7325 33554432000 4194304 4196468 140730870054224 139735875512656 139737004517275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23454] ppid=23442 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23454/stat : 23454 (java) R 23442 23442 19836 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 15 0 445742153 15508250624 7325 33554432000 4194304 4196468 140730870054224 139735874460016 139737004509826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23455] ppid=23442 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23455/stat : 23455 (java) R 23442 23442 19836 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 15 0 445742153 15508250624 7325 33554432000 4194304 4196468 140730870054224 139735873407216 139736997483721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23456] ppid=23442 vsize=15144776 memory=139805979707008 CPUtime=0.02 cores=1,3,5,7
/proc/23444/task/23456/stat : 23456 (java) R 23442 23442 19836 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 445742153 15508250624 7325 33554432000 4194304 4196468 140730870054224 139735872354416 139737004510614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23457] ppid=23442 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23457/stat : 23457 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445742154 15508250624 7325 33554432000 4194304 4196468 140730870054224 139735871301856 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23458] ppid=23442 vsize=15144776 memory=139805979707008 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23458/stat : 23458 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742154 15508250624 7325 33554432000 4194304 4196468 140730870054224 139735870250160 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30752 KiB
[startup+0.212399 s]*
/proc/loadavg: 8.20 8.44 8.21 6/234 23458
/proc/meminfo: memFree=30458900/32770624 swapFree=66922424/67108860
[pid=23442] ppid=23439 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23442/stat : 23442 (xcsp3-exec) S 23439 23442 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445742148 115843072 363 33554432000 4194304 5098028 140734211417712 140734211415816 140112254030460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19841024 140734211425147 140734211425389 140734211425389 140734211428298 0
/proc/23442/statm: 28282 363 304 221 0 87 0
[pid=23444] ppid=23442 vsize=15144776 memory=41248 CPUtime=0.35 cores=1,3,5,7
/proc/23444/stat : 23444 (java) S 23442 23442 19836 0 -1 1077944320 9542 0 0 0 31 4 0 0 20 0 15 0 445742148 15508250624 10312 33554432000 4194304 4196468 140730870054224 140730870036768 139737004498679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
/proc/23444/statm: 3786194 10312 3306 1 0 3748377 0
[pid=23444/tid=23445] ppid=23442 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23444/task/23445/stat : 23445 (java) R 23442 23442 19836 0 -1 4202560 6670 0 0 0 18 2 0 0 20 0 15 0 445742148 15508250624 10312 33554432000 4194304 4196468 140730870054224 139737008733664 139736988579166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23446] ppid=23442 vsize=15144776 memory=2810770 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23446/stat : 23446 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15508250624 10312 33554432000 4194304 4196468 140730870054224 139736596425360 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23447] ppid=23442 vsize=15144776 memory=139805983010969 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23447/stat : 23447 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15508250624 10312 33554432000 4194304 4196468 140730870054224 139736595372560 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23448] ppid=23442 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23448/stat : 23448 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15508250624 10312 33554432000 4194304 4196468 140730870054224 139736594319760 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23449] ppid=23442 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23449/stat : 23449 (java) S 23442 23442 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445742149 15508250624 10312 33554432000 4194304 4196468 140730870054224 139736593266960 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23450] ppid=23442 vsize=15144776 memory=139805979707008 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23450/stat : 23450 (java) S 23442 23442 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445742150 15508250624 10312 33554432000 4194304 4196468 140730870054224 139735878671216 139737004509826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23451] ppid=23442 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23451/stat : 23451 (java) S 23442 23442 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445742151 15508250624 10312 33554432000 4194304 4196468 140730870054224 139735877617184 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23452] ppid=23442 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23452/stat : 23452 (java) S 23442 23442 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445742151 15508250624 10312 33554432000 4194304 4196468 140730870054224 139735876564336 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23453] ppid=23442 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23453/stat : 23453 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445742153 15508250624 10312 33554432000 4194304 4196468 140730870054224 139735875512656 139737004517275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23454] ppid=23442 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23444/task/23454/stat : 23454 (java) S 23442 23442 19836 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 15 0 445742153 15508250624 10312 33554432000 4194304 4196468 140730870054224 139735874460016 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23455] ppid=23442 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23444/task/23455/stat : 23455 (java) R 23442 23442 19836 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 445742153 15508250624 10312 33554432000 4194304 4196468 140730870054224 139735873407216 139737004509826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23456] ppid=23442 vsize=15144776 memory=139805979707008 CPUtime=0.08 cores=1,3,5,7
/proc/23444/task/23456/stat : 23456 (java) R 23442 23442 19836 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 15 0 445742153 15508250624 10312 33554432000 4194304 4196468 140730870054224 139735872354416 139737004520026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23457] ppid=23442 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23457/stat : 23457 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445742154 15508250624 10312 33554432000 4194304 4196468 140730870054224 139735871301856 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23458] ppid=23442 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23458/stat : 23458 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742154 15508250624 10312 33554432000 4194304 4196468 140730870054224 139735870250160 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42700 KiB
[startup+0.310617 s]*
/proc/loadavg: 8.20 8.44 8.21 7/234 23458
/proc/meminfo: memFree=30452296/32770624 swapFree=66922424/67108860
[pid=23442] ppid=23439 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23442/stat : 23442 (xcsp3-exec) S 23439 23442 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445742148 115843072 363 33554432000 4194304 5098028 140734211417712 140734211415816 140112254030460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19841024 140734211425147 140734211425389 140734211425389 140734211428298 0
/proc/23442/statm: 28282 363 304 221 0 87 0
[pid=23444] ppid=23442 vsize=15149032 memory=50580 CPUtime=0.53 cores=1,3,5,7
/proc/23444/stat : 23444 (java) S 23442 23442 19836 0 -1 1077944320 10952 0 0 0 49 4 0 0 20 0 15 0 445742148 15512608768 12645 33554432000 4194304 4196468 140730870054224 140730870036768 139737004498679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
/proc/23444/statm: 3787258 12645 3363 1 0 3748377 0
[pid=23444/tid=23445] ppid=23442 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/23444/task/23445/stat : 23445 (java) R 23442 23442 19836 0 -1 4202560 7857 0 0 0 27 2 0 0 20 0 15 0 445742148 15512608768 12645 33554432000 4194304 4196468 140730870054224 139737008729792 139736988579166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23446] ppid=23442 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23446/stat : 23446 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15512608768 12645 33554432000 4194304 4196468 140730870054224 139736596425360 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23447] ppid=23442 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23447/stat : 23447 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15512608768 12645 33554432000 4194304 4196468 140730870054224 139736595372560 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23448] ppid=23442 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23448/stat : 23448 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15512608768 12645 33554432000 4194304 4196468 140730870054224 139736594319760 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23449] ppid=23442 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23449/stat : 23449 (java) S 23442 23442 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445742149 15512608768 12645 33554432000 4194304 4196468 140730870054224 139736593266960 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23450] ppid=23442 vsize=15149032 memory=-7233795161087131807 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23450/stat : 23450 (java) S 23442 23442 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445742150 15512608768 12645 33554432000 4194304 4196468 140730870054224 139735878671216 139737004509826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23451] ppid=23442 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23451/stat : 23451 (java) S 23442 23442 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445742151 15512608768 12645 33554432000 4194304 4196468 140730870054224 139735877617184 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23452] ppid=23442 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23452/stat : 23452 (java) S 23442 23442 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445742151 15512608768 12645 33554432000 4194304 4196468 140730870054224 139735876564336 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23453] ppid=23442 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23453/stat : 23453 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445742153 15512608768 12645 33554432000 4194304 4196468 140730870054224 139735875512656 139737004517275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23454] ppid=23442 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/23444/task/23454/stat : 23454 (java) S 23442 23442 19836 0 -1 1077944384 488 0 0 0 4 0 0 0 20 0 15 0 445742153 15512608768 12645 33554432000 4194304 4196468 140730870054224 139735874460016 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23455] ppid=23442 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23444/task/23455/stat : 23455 (java) S 23442 23442 19836 0 -1 1077944384 480 0 0 0 4 0 0 0 20 0 15 0 445742153 15512608768 12645 33554432000 4194304 4196468 140730870054224 139735873407216 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23456] ppid=23442 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23444/task/23456/stat : 23456 (java) S 23442 23442 19836 0 -1 1077944384 824 0 0 0 12 0 0 0 20 0 15 0 445742153 15512608768 12645 33554432000 4194304 4196468 140730870054224 139735872354416 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23457] ppid=23442 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23457/stat : 23457 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445742154 15512608768 12645 33554432000 4194304 4196468 140730870054224 139735871301856 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23458] ppid=23442 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23458/stat : 23458 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742154 15512608768 12645 33554432000 4194304 4196468 140730870054224 139735870250160 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52032 KiB
[startup+0.701105 s]
/proc/loadavg: 8.20 8.44 8.21 9/234 23458
/proc/meminfo: memFree=30434496/32770624 swapFree=66922424/67108860
[pid=23442] ppid=23439 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23442/stat : 23442 (xcsp3-exec) S 23439 23442 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445742148 115843072 363 33554432000 4194304 5098028 140734211417712 140734211415816 140112254030460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19841024 140734211425147 140734211425389 140734211425389 140734211428298 0
/proc/23442/statm: 28282 363 304 221 0 87 0
[pid=23444] ppid=23442 vsize=15151156 memory=87500 CPUtime=1.65 cores=1,3,5,7
/proc/23444/stat : 23444 (java) S 23442 23442 19836 0 -1 1077944320 15042 0 0 0 158 7 0 0 20 0 15 0 445742148 15514783744 21875 33554432000 4194304 4196468 140730870054224 140730870036768 139737004498679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
/proc/23444/statm: 3787789 21875 3453 1 0 3748889 0
[pid=23444/tid=23445] ppid=23442 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/23444/task/23445/stat : 23445 (java) R 23442 23442 19836 0 -1 4202560 9333 0 0 0 64 3 0 0 20 0 15 0 445742148 15514783744 21875 33554432000 4194304 4196468 140730870054224 139737008733952 139737004520605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23446] ppid=23442 vsize=15151156 memory=32740 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23446/stat : 23446 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15514783744 21875 33554432000 4194304 4196468 140730870054224 139736596425360 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23447] ppid=23442 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23447/stat : 23447 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15514783744 21875 33554432000 4194304 4196468 140730870054224 139736595372560 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23448] ppid=23442 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23448/stat : 23448 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742149 15514783744 21875 33554432000 4194304 4196468 140730870054224 139736594319760 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23449] ppid=23442 vsize=15151156 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23449/stat : 23449 (java) S 23442 23442 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445742149 15514783744 21875 33554432000 4194304 4196468 140730870054224 139736593266960 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23450] ppid=23442 vsize=15151156 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23450/stat : 23450 (java) S 23442 23442 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445742150 15514783744 21875 33554432000 4194304 4196468 140730870054224 139735878671216 139737004509826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23451] ppid=23442 vsize=15151156 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23451/stat : 23451 (java) S 23442 23442 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445742151 15514783744 21875 33554432000 4194304 4196468 140730870054224 139735877617184 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23452] ppid=23442 vsize=15151156 memory=588 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23452/stat : 23452 (java) S 23442 23442 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445742151 15514783744 21875 33554432000 4194304 4196468 140730870054224 139735876564336 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23453] ppid=23442 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23453/stat : 23453 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445742153 15514783744 21875 33554432000 4194304 4196468 140730870054224 139735875512656 139737004517275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23454] ppid=23442 vsize=15151156 memory=1056 CPUtime=0.26 cores=1,3,5,7
/proc/23444/task/23454/stat : 23454 (java) R 23442 23442 19836 0 -1 1077944384 1122 0 0 0 25 1 0 0 20 0 15 0 445742153 15514783744 21875 33554432000 4194304 4196468 140730870054224 139735874445952 139737004508885 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23455] ppid=23442 vsize=15151156 memory=11620 CPUtime=0.26 cores=1,3,5,7
/proc/23444/task/23455/stat : 23455 (java) R 23442 23442 19836 0 -1 4202560 1169 0 0 0 26 0 0 0 20 0 15 0 445742153 15514783744 21875 33554432000 4194304 4196468 140730870054224 139735873395776 139736987909570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23456] ppid=23442 vsize=15151156 memory=3992 CPUtime=0.42 cores=1,3,5,7
/proc/23444/task/23456/stat : 23456 (java) R 23442 23442 19836 0 -1 4202560 2111 0 0 0 41 1 0 0 20 0 15 0 445742153 15514783744 21875 33554432000 4194304 4196468 140730870054224 139735872352208 139736984213468 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23457] ppid=23442 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23457/stat : 23457 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445742154 15514783744 21875 33554432000 4194304 4196468 140730870054224 139735871301856 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23458] ppid=23442 vsize=15151156 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23458/stat : 23458 (java) S 23442 23442 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445742154 15514783744 21875 33554432000 4194304 4196468 140730870054224 139735870250160 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 88952 KiB
[startup+1.50326 s]
/proc/loadavg: 8.20 8.44 8.21 10/239 23495
/proc/meminfo: memFree=30308336/32770624 swapFree=66922424/67108860
[pid=23442] ppid=23439 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23442/stat : 23442 (xcsp3-exec) S 23439 23442 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445742148 115843072 363 33554432000 4194304 5098028 140734211417712 140734211415816 140112254030460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19841024 140734211425147 140734211425389 140734211425389 140734211428298 0
/proc/23442/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/23444/task/23458/stat : 23458 (java) S 23442 23442 19836 0 -1 1077944384 828 0 0 0 0 0 0 0 20 0 19 0 445742154 15857688576 58093 33554432000 4194304 4196468 140730870054224 139735870250160 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23525] ppid=23442 vsize=15486024 memory=1412 CPUtime=6.55 cores=1,3,5,7
/proc/23444/task/23525/stat : 23525 (java) R 23442 23442 19836 0 -1 4202560 94 0 0 0 655 0 0 0 20 0 19 0 445742905 15857688576 58093 33554432000 4194304 4196468 140730870054224 139735857872000 139736649144711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23526] ppid=23442 vsize=15486024 memory=2816 CPUtime=6.53 cores=1,3,5,7
/proc/23444/task/23526/stat : 23526 (java) R 23442 23442 19836 0 -1 4202560 479 0 0 0 653 0 0 0 20 0 19 0 445742905 15857688576 58093 33554432000 4194304 4196468 140730870054224 139735854723352 139736650026846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23527] ppid=23442 vsize=15486024 memory=0 CPUtime=6.46 cores=1,3,5,7
/proc/23444/task/23527/stat : 23527 (java) R 23442 23442 19836 0 -1 4202560 396 0 0 0 646 0 0 0 20 0 19 0 445742905 15857688576 58093 33554432000 4194304 4196468 140730870054224 139735858926120 139736648035990 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23528] ppid=23442 vsize=15486024 memory=139805883760385 CPUtime=6.35 cores=1,3,5,7
/proc/23444/task/23528/stat : 23528 (java) R 23442 23442 19836 0 -1 4202560 170 0 0 0 635 0 0 0 20 0 19 0 445742905 15857688576 58093 33554432000 4194304 4196468 140730870054224 139735859978208 139736647504701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
Current children cumulated CPU time: 55.21 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 233824 KiB
[startup+16.0015 s]*
/proc/loadavg: 8.59 8.52 8.24 9/238 23642
/proc/meminfo: memFree=30458552/32770624 swapFree=66922424/67108860
[pid=23442] ppid=23439 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23442/stat : 23442 (xcsp3-exec) S 23439 23442 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445742148 115843072 363 33554432000 4194304 5098028 140734211417712 140734211415816 140112254030460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19841024 140734211425147 140734211425389 140734211425389 140734211428298 0
/proc/23442/statm: 28282 363 304 221 0 87 0
[pid=23444] ppid=23442 vsize=15486024 memory=234436 CPUtime=61.62 cores=1,3,5,7
/proc/23444/stat : 23444 (java) S 23442 23442 19836 0 -1 1077944320 50563 0 0 0 6149 13 0 0 20 0 19 0 445742148 15857688576 58609 33554432000 4194304 4196468 140730870054224 140730870036768 139737004498679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
/proc/23444/statm: 3871506 58609 3524 1 0 3832606 0
[pid=23444/tid=23445] ppid=23442 vsize=15486024 memory=7883944108235712103 CPUtime=0.69 cores=1,3,5,7
/proc/23444/task/23445/stat : 23445 (java) S 23442 23442 19836 0 -1 1077944384 9602 0 0 0 66 3 0 0 20 0 19 0 445742148 15857688576 58609 33554432000 4194304 4196468 140730870054224 139737008739456 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23446] ppid=23442 vsize=15486024 memory=234424 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23446/stat : 23446 (java) S 23442 23442 19836 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 58609 33554432000 4194304 4196468 140730870054224 139736596425360 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23447] ppid=23442 vsize=15486024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23447/stat : 23447 (java) S 23442 23442 19836 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 58609 33554432000 4194304 4196468 140730870054224 139736595372560 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23448] ppid=23442 vsize=15486024 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23448/stat : 23448 (java) S 23442 23442 19836 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 58609 33554432000 4194304 4196468 140730870054224 139736594319760 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23449] ppid=23442 vsize=15486024 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23449/stat : 23449 (java) S 23442 23442 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 58609 33554432000 4194304 4196468 140730870054224 139736593266960 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23450] ppid=23442 vsize=15486024 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23450/stat : 23450 (java) S 23442 23442 19836 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 19 0 445742150 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735878671216 139737004509826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23451] ppid=23442 vsize=15486024 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23451/stat : 23451 (java) S 23442 23442 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445742151 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735877617184 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23452] ppid=23442 vsize=15486024 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23452/stat : 23452 (java) S 23442 23442 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445742151 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735876564336 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23453] ppid=23442 vsize=15486024 memory=588 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23453/stat : 23453 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445742153 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735875512656 139737004517275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23454] ppid=23442 vsize=15486024 memory=780 CPUtime=3.5 cores=1,3,5,7
/proc/23444/task/23454/stat : 23454 (java) S 23442 23442 19836 0 -1 1077944384 12925 0 0 0 348 2 0 0 20 0 19 0 445742153 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735874460016 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23455] ppid=23442 vsize=15486024 memory=1056 CPUtime=4.15 cores=1,3,5,7
/proc/23444/task/23455/stat : 23455 (java) S 23442 23442 19836 0 -1 1077944384 15296 0 0 0 413 2 0 0 20 0 19 0 445742153 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735873407216 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23456] ppid=23442 vsize=15486024 memory=6791534058613427641 CPUtime=0.82 cores=1,3,5,7
/proc/23444/task/23456/stat : 23456 (java) S 23442 23442 19836 0 -1 1077944384 6078 0 0 0 81 1 0 0 20 0 19 0 445742153 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735872354416 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23457] ppid=23442 vsize=15486024 memory=3992 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23457/stat : 23457 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445742154 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735871301856 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23458] ppid=23442 vsize=15486024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23458/stat : 23458 (java) S 23442 23442 19836 0 -1 1077944384 830 0 0 0 0 0 0 0 20 0 19 0 445742154 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735870250160 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23525] ppid=23442 vsize=15486024 memory=234424 CPUtime=8.16 cores=1,3,5,7
/proc/23444/task/23525/stat : 23525 (java) R 23442 23442 19836 0 -1 4202560 104 0 0 0 816 0 0 0 20 0 19 0 445742905 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735857872000 139736649144684 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23526] ppid=23442 vsize=15486024 memory=528 CPUtime=8.14 cores=1,3,5,7
/proc/23444/task/23526/stat : 23526 (java) R 23442 23442 19836 0 -1 4202560 540 0 0 0 814 0 0 0 20 0 19 0 445742905 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735854723352 139736650764697 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23527] ppid=23442 vsize=15486024 memory=1560 CPUtime=8.02 cores=1,3,5,7
/proc/23444/task/23527/stat : 23527 (java) R 23442 23442 19836 0 -1 4202560 418 0 0 0 802 0 0 0 20 0 19 0 445742905 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735858926104 139736648038980 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23528] ppid=23442 vsize=15486024 memory=932 CPUtime=7.96 cores=1,3,5,7
/proc/23444/task/23528/stat : 23528 (java) R 23442 23442 19836 0 -1 4202560 315 0 0 0 796 0 0 0 20 0 19 0 445742905 15857688576 58609 33554432000 4194304 4196468 140730870054224 139735859978344 139736647504578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
Current children cumulated CPU time: 61.62 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 235888 KiB
[startup+16.4015 s]
/proc/loadavg: 8.59 8.52 8.24 9/238 23642
/proc/meminfo: memFree=30458552/32770624 swapFree=66922424/67108860
[pid=23442] ppid=23439 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23442/stat : 23442 (xcsp3-exec) S 23439 23442 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445742148 115843072 363 33554432000 4194304 5098028 140734211417712 140734211415816 140112254030460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19841024 140734211425147 140734211425389 140734211425389 140734211428298 0
/proc/23442/statm: 28282 363 304 221 0 87 0
[pid=23444] ppid=23442 vsize=15486024 memory=240816 CPUtime=63.17 cores=1,3,5,7
/proc/23444/stat : 23444 (java) S 23442 23442 19836 0 -1 1077944320 52997 0 0 0 6303 14 0 0 20 0 19 0 445742148 15857688576 60204 33554432000 4194304 4196468 140730870054224 140730870036768 139737004498679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
/proc/23444/statm: 3871506 60204 3533 1 0 3832606 0
[pid=23444/tid=23445] ppid=23442 vsize=15486024 memory=1560 CPUtime=0.69 cores=1,3,5,7
/proc/23444/task/23445/stat : 23445 (java) S 23442 23442 19836 0 -1 1077944384 9602 0 0 0 66 3 0 0 20 0 19 0 445742148 15857688576 60204 33554432000 4194304 4196468 140730870054224 139737008739456 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23446] ppid=23442 vsize=15486024 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23446/stat : 23446 (java) S 23442 23442 19836 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 60204 33554432000 4194304 4196468 140730870054224 139736596425360 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23447] ppid=23442 vsize=15486024 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23447/stat : 23447 (java) S 23442 23442 19836 0 -1 1077944384 935 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 60204 33554432000 4194304 4196468 140730870054224 139736595372560 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23448] ppid=23442 vsize=15486024 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23448/stat : 23448 (java) S 23442 23442 19836 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 60204 33554432000 4194304 4196468 140730870054224 139736594319760 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23449] ppid=23442 vsize=15486024 memory=2116 CPUtime=0.01 cores=1,3,5,7
/proc/23444/task/23449/stat : 23449 (java) S 23442 23442 19836 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 19 0 445742149 15857688576 60204 33554432000 4194304 4196468 140730870054224 139736593266960 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23450] ppid=23442 vsize=15486024 memory=13036 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23450/stat : 23450 (java) S 23442 23442 19836 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 19 0 445742150 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735878671216 139737004509826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23451] ppid=23442 vsize=15486024 memory=528 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23451/stat : 23451 (java) S 23442 23442 19836 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 445742151 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735877617248 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23452] ppid=23442 vsize=15486024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23452/stat : 23452 (java) S 23442 23442 19836 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 445742151 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735876564352 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23453] ppid=23442 vsize=15486024 memory=234436 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23453/stat : 23453 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445742153 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735875512656 139737004517275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23454] ppid=23442 vsize=15486024 memory=111636 CPUtime=3.5 cores=1,3,5,7
/proc/23444/task/23454/stat : 23454 (java) S 23442 23442 19836 0 -1 1077944384 13432 0 0 0 348 2 0 0 20 0 19 0 445742153 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735874460016 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23455] ppid=23442 vsize=15486024 memory=800 CPUtime=4.15 cores=1,3,5,7
/proc/23444/task/23455/stat : 23455 (java) S 23442 23442 19836 0 -1 1077944384 15298 0 0 0 413 2 0 0 20 0 19 0 445742153 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735873407216 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23456] ppid=23442 vsize=15486024 memory=1808 CPUtime=0.82 cores=1,3,5,7
/proc/23444/task/23456/stat : 23456 (java) S 23442 23442 19836 0 -1 1077944384 6231 0 0 0 81 1 0 0 20 0 19 0 445742153 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735872354416 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23457] ppid=23442 vsize=15486024 memory=920 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23457/stat : 23457 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445742154 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735871301856 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23458] ppid=23442 vsize=15486024 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23458/stat : 23458 (java) S 23442 23442 19836 0 -1 1077944384 830 0 0 0 0 0 0 0 20 0 19 0 445742154 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735870250160 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23525] ppid=23442 vsize=15486024 memory=2596 CPUtime=8.54 cores=1,3,5,7
/proc/23444/task/23525/stat : 23525 (java) R 23442 23442 19836 0 -1 4202560 108 0 0 0 854 0 0 0 20 0 19 0 445742905 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735857872152 139736650192786 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23526] ppid=23442 vsize=15486024 memory=0 CPUtime=8.52 cores=1,3,5,7
/proc/23444/task/23526/stat : 23526 (java) R 23442 23442 19836 0 -1 4202560 584 0 0 0 852 0 0 0 20 0 19 0 445742905 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735854726440 139736649146636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23527] ppid=23442 vsize=15486024 memory=31076 CPUtime=8.39 cores=1,3,5,7
/proc/23444/task/23527/stat : 23527 (java) R 23442 23442 19836 0 -1 4202560 482 0 0 0 839 0 0 0 20 0 19 0 445742905 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735858925456 139736648166542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23528] ppid=23442 vsize=15486024 memory=279611766408016 CPUtime=8.34 cores=1,3,5,7
/proc/23444/task/23528/stat : 23528 (java) R 23442 23442 19836 0 -1 4202560 322 0 0 0 834 0 0 0 20 0 19 0 445742905 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735859978952 139736989709792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
Current children cumulated CPU time: 63.17 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 242268 KiB
[startup+16.8015 s]
/proc/loadavg: 8.59 8.52 8.24 9/238 23642
/proc/meminfo: memFree=30458552/32770624 swapFree=66922424/67108860
[pid=23442] ppid=23439 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23442/stat : 23442 (xcsp3-exec) S 23439 23442 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445742148 115843072 363 33554432000 4194304 5098028 140734211417712 140734211415816 140112254030460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19841024 140734211425147 140734211425389 140734211425389 140734211428298 0
/proc/23442/statm: 28282 363 304 221 0 87 0
[pid=23444] ppid=23442 vsize=15486024 memory=240816 CPUtime=64.77 cores=1,3,5,7
/proc/23444/stat : 23444 (java) S 23442 23442 19836 0 -1 1077944320 52998 0 0 0 6463 14 0 0 20 0 19 0 445742148 15857688576 60204 33554432000 4194304 4196468 140730870054224 140730870036768 139737004498679 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
/proc/23444/statm: 3871506 60204 3533 1 0 3832606 0
[pid=23444/tid=23445] ppid=23442 vsize=15486024 memory=7367994820003914061 CPUtime=0.69 cores=1,3,5,7
/proc/23444/task/23445/stat : 23445 (java) S 23442 23442 19836 0 -1 1077944384 9602 0 0 0 66 3 0 0 20 0 19 0 445742148 15857688576 60204 33554432000 4194304 4196468 140730870054224 139737008739456 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23446] ppid=23442 vsize=15486024 memory=-7957962119327172001 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23446/stat : 23446 (java) S 23442 23442 19836 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 60204 33554432000 4194304 4196468 140730870054224 139736596425360 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23447] ppid=23442 vsize=15486024 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23447/stat : 23447 (java) S 23442 23442 19836 0 -1 1077944384 935 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 60204 33554432000 4194304 4196468 140730870054224 139736595372560 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23448] ppid=23442 vsize=15486024 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23448/stat : 23448 (java) S 23442 23442 19836 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445742149 15857688576 60204 33554432000 4194304 4196468 140730870054224 139736594319760 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23449] ppid=23442 vsize=15486024 memory=14136632290838955 CPUtime=0.01 cores=1,3,5,7
/proc/23444/task/23449/stat : 23449 (java) S 23442 23442 19836 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 19 0 445742149 15857688576 60204 33554432000 4194304 4196468 140730870054224 139736593266960 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23450] ppid=23442 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23450/stat : 23450 (java) S 23442 23442 19836 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 19 0 445742150 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735878671216 139737004509826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23451] ppid=23442 vsize=15486024 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23451/stat : 23451 (java) S 23442 23442 19836 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 445742151 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735877617248 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23452] ppid=23442 vsize=15486024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23452/stat : 23452 (java) S 23442 23442 19836 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 445742151 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735876564352 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23453] ppid=23442 vsize=15486024 memory=234440 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23453/stat : 23453 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445742153 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735875512656 139737004517275 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23454] ppid=23442 vsize=15486024 memory=1448 CPUtime=3.5 cores=1,3,5,7
/proc/23444/task/23454/stat : 23454 (java) S 23442 23442 19836 0 -1 1077944384 13432 0 0 0 348 2 0 0 20 0 19 0 445742153 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735874460016 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23455] ppid=23442 vsize=15486024 memory=1980 CPUtime=4.15 cores=1,3,5,7
/proc/23444/task/23455/stat : 23455 (java) S 23442 23442 19836 0 -1 1077944384 15298 0 0 0 413 2 0 0 20 0 19 0 445742153 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735873407216 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23456] ppid=23442 vsize=15486024 memory=2432 CPUtime=0.82 cores=1,3,5,7
/proc/23444/task/23456/stat : 23456 (java) S 23442 23442 19836 0 -1 1077944384 6231 0 0 0 81 1 0 0 20 0 19 0 445742153 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735872354416 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23457] ppid=23442 vsize=15486024 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23457/stat : 23457 (java) S 23442 23442 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445742154 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735871301856 139737004508885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23458] ppid=23442 vsize=15486024 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23444/task/23458/stat : 23458 (java) S 23442 23442 19836 0 -1 1077944384 830 0 0 0 0 0 0 0 20 0 19 0 445742154 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735870250160 139737004509826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23525] ppid=23442 vsize=15486024 memory=2012 CPUtime=8.94 cores=1,3,5,7
/proc/23444/task/23525/stat : 23525 (java) R 23442 23442 19836 0 -1 4202560 108 0 0 0 894 0 0 0 20 0 19 0 445742905 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735857872152 139736648358147 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23526] ppid=23442 vsize=15486024 memory=1324 CPUtime=8.92 cores=1,3,5,7
/proc/23444/task/23526/stat : 23526 (java) R 23442 23442 19836 0 -1 4202560 585 0 0 0 892 0 0 0 20 0 19 0 445742905 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735854726440 139736648357657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23527] ppid=23442 vsize=15486024 memory=1704 CPUtime=8.79 cores=1,3,5,7
/proc/23444/task/23527/stat : 23527 (java) R 23442 23442 19836 0 -1 4202560 482 0 0 0 879 0 0 0 20 0 19 0 445742905 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735858925456 139736650764682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
[pid=23444/tid=23528] ppid=23442 vsize=15486024 memory=5972 CPUtime=8.74 cores=1,3,5,7
/proc/23444/task/23528/stat : 23528 (java) R 23442 23442 19836 0 -1 4202560 322 0 0 0 874 0 0 0 20 0 19 0 445742905 15857688576 60204 33554432000 4194304 4196468 140730870054224 139735859978952 139736648377752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29990912 140730870055919 140730870056090 140730870056090 140730870058959 0
Current children cumulated CPU time: 64.77 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 242268 KiB
Child status: 0
Real time (s): 16.8596
CPU time (s): 64.9884
CPU user time (s): 64.8325
CPU system time (s): 0.155899
CPU usage (%): 385.469
Max. virtual memory (cumulated for all children) (KiB): 15601128
Max. memory (cumulated for all children) (KiB): 242268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.8325
system time used= 0.155899
maximum resident set size= 240816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3627
involuntary context switches= 2049
# summary of solver processes directly reported to runsolver:
# pid: 23442
# total CPU time (s): 64.9884
# total CPU user time (s): 64.8325
# total CPU system time (s): 0.155899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.118302 second user time and 0.231633 second system time
The end