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 (13554 MiB free)
memory of node 1: 16384 MiB (14023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400555-1568695828/watcher-4400555-1568695828 -o /tmp/evaluation-result-4400555-1568695828/solver-4400555-1568695828 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22971 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 275020014 HOME/instance-4400555-1568695828.xml
running on 4 cores: 1,3,5,7
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=29385, runsolver pid=29382
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.53 8.52 7.34 7/234 29401
/proc/meminfo: memFree=28222980/32770624 swapFree=66959728/67108860
[pid=29385] ppid=29382 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29385/stat : 29385 (xcsp3-exec) S 29382 29385 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445523026 115843072 362 33554432000 4194304 5098028 140720949756144 140720949754248 140452229358204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10338304 140720949760891 140720949761133 140720949761133 140720949764042 0
/proc/29385/statm: 28282 362 304 221 0 87 0
[pid=29387] ppid=29385 vsize=15144776 memory=29136 CPUtime=0.13 cores=1,3,5,7
/proc/29387/stat : 29387 (java) S 29385 29385 22939 0 -1 1077944320 5709 0 0 0 13 0 0 0 20 0 15 0 445523026 15508250624 7284 33554432000 4194304 4196468 140734373646544 140734373629088 139755766927095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
/proc/29387/statm: 3786194 7284 3155 1 0 3748377 0
[pid=29387/tid=29388] ppid=29385 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/29387/task/29388/stat : 29388 (java) R 29385 29385 22939 0 -1 4202560 3585 0 0 0 9 0 0 0 20 0 15 0 445523027 15508250624 7284 33554432000 4194304 4196468 140734373646544 139755771159824 139755766939030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29389] ppid=29385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29389/stat : 29389 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523027 15508250624 7284 33554432000 4194304 4196468 140734373646544 139755694967568 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29390] ppid=29385 vsize=15144776 memory=140218486371968 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29390/stat : 29390 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523027 15508250624 7284 33554432000 4194304 4196468 140734373646544 139755693915024 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29391] ppid=29385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29391/stat : 29391 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523027 15508250624 7284 33554432000 4194304 4196468 140734373646544 139755692862480 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29392] ppid=29385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29392/stat : 29392 (java) S 29385 29385 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445523027 15508250624 7284 33554432000 4194304 4196468 140734373646544 139755691809936 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29393] ppid=29385 vsize=15144776 memory=140218486371968 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29393/stat : 29393 (java) S 29385 29385 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445523029 15508250624 7284 33554432000 4194304 4196468 140734373646544 139754640771056 139755766938242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29394] ppid=29385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29394/stat : 29394 (java) S 29385 29385 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445523029 15508250624 7284 33554432000 4194304 4196468 140734373646544 139754639717280 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29395] ppid=29385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29395/stat : 29395 (java) S 29385 29385 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445523029 15508250624 7284 33554432000 4194304 4196468 140734373646544 139754638664688 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29396] ppid=29385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29396/stat : 29396 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15508250624 7284 33554432000 4194304 4196468 140734373646544 139754637613264 139755766945691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29397] ppid=29385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29397/stat : 29397 (java) R 29385 29385 22939 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 445523032 15508250624 7284 33554432000 4194304 4196468 140734373646544 139754636560880 139755766938242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29398] ppid=29385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29398/stat : 29398 (java) R 29385 29385 22939 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 445523032 15508250624 7284 33554432000 4194304 4196468 140734373646544 139754635508336 139755746787769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29399] ppid=29385 vsize=15144776 memory=140218486371968 CPUtime=0.02 cores=1,3,5,7
/proc/29387/task/29399/stat : 29399 (java) R 29385 29385 22939 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 445523032 15508250624 7284 33554432000 4194304 4196468 140734373646544 139754634455792 139755745876987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29400] ppid=29385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29400/stat : 29400 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15508250624 7284 33554432000 4194304 4196468 140734373646544 139754633403488 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29401] ppid=29385 vsize=15144776 memory=140218486371968 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29401/stat : 29401 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523032 15508250624 7284 33554432000 4194304 4196468 140734373646544 139754632350000 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30584 KiB
[startup+0.210946 s]*
/proc/loadavg: 8.53 8.52 7.34 8/234 29401
/proc/meminfo: memFree=28210488/32770624 swapFree=66959728/67108860
[pid=29385] ppid=29382 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29385/stat : 29385 (xcsp3-exec) S 29382 29385 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445523026 115843072 362 33554432000 4194304 5098028 140720949756144 140720949754248 140452229358204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10338304 140720949760891 140720949761133 140720949761133 140720949764042 0
/proc/29385/statm: 28282 362 304 221 0 87 0
[pid=29387] ppid=29385 vsize=15144776 memory=40980 CPUtime=0.34 cores=1,3,5,7
/proc/29387/stat : 29387 (java) S 29385 29385 22939 0 -1 1077944320 9471 0 0 0 32 2 0 0 20 0 15 0 445523026 15508250624 10245 33554432000 4194304 4196468 140734373646544 140734373629088 139755766927095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
/proc/29387/statm: 3786194 10245 3253 1 0 3748377 0
[pid=29387/tid=29388] ppid=29385 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29387/task/29388/stat : 29388 (java) R 29385 29385 22939 0 -1 4202560 6658 0 0 0 18 2 0 0 20 0 15 0 445523027 15508250624 10245 33554432000 4194304 4196468 140734373646544 139755771164320 139755751007582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29389] ppid=29385 vsize=15144776 memory=1965946 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29389/stat : 29389 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523027 15508250624 10245 33554432000 4194304 4196468 140734373646544 139755694967568 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29390] ppid=29385 vsize=15144776 memory=140218489724981 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29390/stat : 29390 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523027 15508250624 10245 33554432000 4194304 4196468 140734373646544 139755693915024 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29391] ppid=29385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29391/stat : 29391 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523027 15508250624 10245 33554432000 4194304 4196468 140734373646544 139755692862480 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29392] ppid=29385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29392/stat : 29392 (java) S 29385 29385 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445523027 15508250624 10245 33554432000 4194304 4196468 140734373646544 139755691809936 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29393] ppid=29385 vsize=15144776 memory=140218486371968 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29393/stat : 29393 (java) S 29385 29385 22939 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445523029 15508250624 10245 33554432000 4194304 4196468 140734373646544 139754640771056 139755766938242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29394] ppid=29385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29394/stat : 29394 (java) S 29385 29385 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445523029 15508250624 10245 33554432000 4194304 4196468 140734373646544 139754639717280 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29395] ppid=29385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29395/stat : 29395 (java) S 29385 29385 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445523029 15508250624 10245 33554432000 4194304 4196468 140734373646544 139754638664688 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29396] ppid=29385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29396/stat : 29396 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15508250624 10245 33554432000 4194304 4196468 140734373646544 139754637613264 139755766945691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29397] ppid=29385 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29387/task/29397/stat : 29397 (java) S 29385 29385 22939 0 -1 1077944384 725 0 0 0 3 0 0 0 20 0 15 0 445523032 15508250624 10245 33554432000 4194304 4196468 140734373646544 139754636560880 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29398] ppid=29385 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29387/task/29398/stat : 29398 (java) S 29385 29385 22939 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 445523032 15508250624 10245 33554432000 4194304 4196468 140734373646544 139754635508336 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29399] ppid=29385 vsize=15144776 memory=140218486371968 CPUtime=0.08 cores=1,3,5,7
/proc/29387/task/29399/stat : 29399 (java) S 29385 29385 22939 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 15 0 445523032 15508250624 10245 33554432000 4194304 4196468 140734373646544 139754634455792 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29400] ppid=29385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29400/stat : 29400 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15508250624 10245 33554432000 4194304 4196468 140734373646544 139754633403488 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29401] ppid=29385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29401/stat : 29401 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523032 15508250624 10245 33554432000 4194304 4196468 140734373646544 139754632350000 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42428 KiB
[startup+0.315373 s]*
/proc/loadavg: 8.53 8.52 7.34 7/234 29401
/proc/meminfo: memFree=28201840/32770624 swapFree=66959728/67108860
[pid=29385] ppid=29382 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29385/stat : 29385 (xcsp3-exec) S 29382 29385 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445523026 115843072 362 33554432000 4194304 5098028 140720949756144 140720949754248 140452229358204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10338304 140720949760891 140720949761133 140720949761133 140720949764042 0
/proc/29385/statm: 28282 362 304 221 0 87 0
[pid=29387] ppid=29385 vsize=15149032 memory=50628 CPUtime=0.54 cores=1,3,5,7
/proc/29387/stat : 29387 (java) S 29385 29385 22939 0 -1 1077944320 10973 0 0 0 51 3 0 0 20 0 15 0 445523026 15512608768 12657 33554432000 4194304 4196468 140734373646544 140734373629088 139755766927095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
/proc/29387/statm: 3787258 12657 3365 1 0 3748377 0
[pid=29387/tid=29388] ppid=29385 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/29387/task/29388/stat : 29388 (java) R 29385 29385 22939 0 -1 4202560 7912 0 0 0 28 2 0 0 20 0 15 0 445523027 15512608768 12657 33554432000 4194304 4196468 140734373646544 139755771154864 139755751007582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29389] ppid=29385 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29389/stat : 29389 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523027 15512608768 12657 33554432000 4194304 4196468 140734373646544 139755694967568 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29390] ppid=29385 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29390/stat : 29390 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523027 15512608768 12657 33554432000 4194304 4196468 140734373646544 139755693915024 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29391] ppid=29385 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29391/stat : 29391 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523027 15512608768 12657 33554432000 4194304 4196468 140734373646544 139755692862480 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29392] ppid=29385 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29392/stat : 29392 (java) S 29385 29385 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445523027 15512608768 12657 33554432000 4194304 4196468 140734373646544 139755691809936 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29393] ppid=29385 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29393/stat : 29393 (java) S 29385 29385 22939 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445523029 15512608768 12657 33554432000 4194304 4196468 140734373646544 139754640771056 139755766938242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29394] ppid=29385 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29394/stat : 29394 (java) S 29385 29385 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445523029 15512608768 12657 33554432000 4194304 4196468 140734373646544 139754639717280 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29395] ppid=29385 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29395/stat : 29395 (java) S 29385 29385 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445523029 15512608768 12657 33554432000 4194304 4196468 140734373646544 139754638664688 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29396] ppid=29385 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29396/stat : 29396 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15512608768 12657 33554432000 4194304 4196468 140734373646544 139754637613264 139755766945691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29397] ppid=29385 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/29387/task/29397/stat : 29397 (java) S 29385 29385 22939 0 -1 1077944384 744 0 0 0 5 0 0 0 20 0 15 0 445523032 15512608768 12657 33554432000 4194304 4196468 140734373646544 139754636560880 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29398] ppid=29385 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29387/task/29398/stat : 29398 (java) S 29385 29385 22939 0 -1 1077944384 166 0 0 0 4 0 0 0 20 0 15 0 445523032 15512608768 12657 33554432000 4194304 4196468 140734373646544 139754635508336 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29399] ppid=29385 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29387/task/29399/stat : 29399 (java) S 29385 29385 22939 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 445523032 15512608768 12657 33554432000 4194304 4196468 140734373646544 139754634455792 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29400] ppid=29385 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29400/stat : 29400 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15512608768 12657 33554432000 4194304 4196468 140734373646544 139754633403488 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29401] ppid=29385 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29401/stat : 29401 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523032 15512608768 12657 33554432000 4194304 4196468 140734373646544 139754632350000 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52076 KiB
[startup+0.701333 s]
/proc/loadavg: 8.53 8.52 7.34 9/234 29401
/proc/meminfo: memFree=28061324/32770624 swapFree=66959728/67108860
[pid=29385] ppid=29382 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29385/stat : 29385 (xcsp3-exec) S 29382 29385 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445523026 115843072 362 33554432000 4194304 5098028 140720949756144 140720949754248 140452229358204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10338304 140720949760891 140720949761133 140720949761133 140720949764042 0
/proc/29385/statm: 28282 362 304 221 0 87 0
[pid=29387] ppid=29385 vsize=15149108 memory=321628 CPUtime=1.23 cores=1,3,5,7
/proc/29387/stat : 29387 (java) S 29385 29385 22939 0 -1 1077944320 11971 0 0 0 102 21 0 0 20 0 15 0 445523026 15512686592 80407 33554432000 4194304 4196468 140734373646544 140734373629088 139755766927095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
/proc/29387/statm: 3787277 80407 3428 1 0 3748377 0
[pid=29387/tid=29388] ppid=29385 vsize=15149108 memory=33 CPUtime=0.61 cores=1,3,5,7
/proc/29387/task/29388/stat : 29388 (java) R 29385 29385 22939 0 -1 4202560 8317 0 0 0 55 6 0 0 20 0 15 0 445523027 15512686592 80407 33554432000 4194304 4196468 140734373646544 139755771162136 139755368827857 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29389] ppid=29385 vsize=15149108 memory=-7082918048272507482 CPUtime=0.05 cores=1,3,5,7
/proc/29387/task/29389/stat : 29389 (java) S 29385 29385 22939 0 -1 1077944384 69 0 0 0 2 3 0 0 20 0 15 0 445523027 15512686592 80407 33554432000 4194304 4196468 140734373646544 139755694967568 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29390] ppid=29385 vsize=15149108 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29387/task/29390/stat : 29390 (java) S 29385 29385 22939 0 -1 1077944384 52 0 0 0 2 2 0 0 20 0 15 0 445523027 15512686592 80407 33554432000 4194304 4196468 140734373646544 139755693915024 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29391] ppid=29385 vsize=15149108 memory=1660 CPUtime=0.05 cores=1,3,5,7
/proc/29387/task/29391/stat : 29391 (java) S 29385 29385 22939 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 445523027 15512686592 80407 33554432000 4194304 4196468 140734373646544 139755692862480 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29392] ppid=29385 vsize=15149108 memory=48296 CPUtime=0.05 cores=1,3,5,7
/proc/29387/task/29392/stat : 29392 (java) S 29385 29385 22939 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 15 0 445523027 15512686592 80407 33554432000 4194304 4196468 140734373646544 139755691809936 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29393] ppid=29385 vsize=15149108 memory=988 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29393/stat : 29393 (java) S 29385 29385 22939 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 445523029 15512686592 80407 33554432000 4194304 4196468 140734373646544 139754640771056 139755766938242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29394] ppid=29385 vsize=15149108 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29394/stat : 29394 (java) S 29385 29385 22939 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 445523029 15512686592 80407 33554432000 4194304 4196468 140734373646544 139754639717280 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29395] ppid=29385 vsize=15149108 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29395/stat : 29395 (java) S 29385 29385 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445523029 15512686592 80407 33554432000 4194304 4196468 140734373646544 139754638664688 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29396] ppid=29385 vsize=15149108 memory=580 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29396/stat : 29396 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15512686592 80407 33554432000 4194304 4196468 140734373646544 139754637613264 139755766945691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29397] ppid=29385 vsize=15149108 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/29387/task/29397/stat : 29397 (java) S 29385 29385 22939 0 -1 1077944384 798 0 0 0 8 0 0 0 20 0 15 0 445523032 15512686592 80407 33554432000 4194304 4196468 140734373646544 139754636560880 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29398] ppid=29385 vsize=15149108 memory=10604 CPUtime=0.08 cores=1,3,5,7
/proc/29387/task/29398/stat : 29398 (java) S 29385 29385 22939 0 -1 1077944384 240 0 0 0 8 0 0 0 20 0 15 0 445523032 15512686592 80407 33554432000 4194304 4196468 140734373646544 139754635508336 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29399] ppid=29385 vsize=15149108 memory=4160 CPUtime=0.18 cores=1,3,5,7
/proc/29387/task/29399/stat : 29399 (java) S 29385 29385 22939 0 -1 1077944384 989 0 0 0 18 0 0 0 20 0 15 0 445523032 15512686592 80407 33554432000 4194304 4196468 140734373646544 139754634455792 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29400] ppid=29385 vsize=15149108 memory=776 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29400/stat : 29400 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15512686592 80407 33554432000 4194304 4196468 140734373646544 139754633403488 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29401] ppid=29385 vsize=15149108 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29401/stat : 29401 (java) S 29385 29385 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445523032 15512686592 80407 33554432000 4194304 4196468 140734373646544 139754632350000 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 323076 KiB
[startup+1.50085 s]
/proc/loadavg: 8.25 8.46 7.33 8/234 29401
/proc/meminfo: memFree=27166480/32770624 swapFree=66959728/67108860
[pid=29385] ppid=29382 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29385/stat : 29385 (xcsp3-exec) S 29382 29385 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445523026 115843072 362 33554432000 4194304 5098028 140720949756144 140720949754248 140452229358204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10338304 140720949760891 140720949761133 140720949761133 140720949764042 0
/proc/29385/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/29387/task/29391/stat : 29391 (java) R 29385 29385 22939 0 -1 4202560 138591 0 0 0 19566 313 0 0 20 0 15 0 445523027 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139755692862288 139755759555303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29392] ppid=29385 vsize=15151156 memory=12588408 CPUtime=198.6 cores=1,3,5,7
/proc/29387/task/29392/stat : 29392 (java) R 29385 29385 22939 0 -1 4202560 87216 0 0 0 19559 301 0 0 20 0 15 0 445523027 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139755691810136 139755751626872 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29393] ppid=29385 vsize=15151156 memory=1448 CPUtime=33.58 cores=1,3,5,7
/proc/29387/task/29393/stat : 29393 (java) S 29385 29385 22939 0 -1 1077944384 61402 0 0 0 3354 4 0 0 20 0 15 0 445523029 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754640769600 139755766937301 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29394] ppid=29385 vsize=15151156 memory=12588408 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29394/stat : 29394 (java) S 29385 29385 22939 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 445523029 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754639717344 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29395] ppid=29385 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29395/stat : 29395 (java) S 29385 29385 22939 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 445523029 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754638664704 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29396] ppid=29385 vsize=15151156 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29396/stat : 29396 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754637613264 139755766945691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29397] ppid=29385 vsize=15151156 memory=1660 CPUtime=0.47 cores=1,3,5,7
/proc/29387/task/29397/stat : 29397 (java) S 29385 29385 22939 0 -1 1077944384 2568 0 0 0 46 1 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754636560880 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29398] ppid=29385 vsize=15151156 memory=48308 CPUtime=0.45 cores=1,3,5,7
/proc/29387/task/29398/stat : 29398 (java) S 29385 29385 22939 0 -1 1077944384 1999 0 0 0 45 0 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754635508336 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29399] ppid=29385 vsize=15151156 memory=988 CPUtime=0.33 cores=1,3,5,7
/proc/29387/task/29399/stat : 29399 (java) S 29385 29385 22939 0 -1 1077944384 2320 0 0 0 33 0 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754634455792 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29400] ppid=29385 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29400/stat : 29400 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754633403488 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29401] ppid=29385 vsize=15151156 memory=1436 CPUtime=0.1 cores=1,3,5,7
/proc/29387/task/29401/stat : 29401 (java) S 29385 29385 22939 0 -1 1077944384 510 0 0 0 2 8 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754632350000 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
Current children cumulated CPU time: 842.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12589872 KiB
[startup+248.001 s]*
/proc/loadavg: 7.62 8.11 7.46 9/234 29508
/proc/meminfo: memFree=15653772/32770624 swapFree=66959728/67108860
[pid=29385] ppid=29382 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29385/stat : 29385 (xcsp3-exec) S 29382 29385 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445523026 115843072 362 33554432000 4194304 5098028 140720949756144 140720949754248 140452229358204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10338304 140720949760891 140720949761133 140720949761133 140720949764042 0
/proc/29385/statm: 28282 362 304 221 0 87 0
[pid=29387] ppid=29385 vsize=15151156 memory=12588424 CPUtime=849 cores=1,3,5,7
/proc/29387/stat : 29387 (java) S 29385 29385 22939 0 -1 1077944320 503283 0 0 0 83633 1267 0 0 20 0 15 0 445523026 15514783744 3147106 33554432000 4194304 4196468 140734373646544 140734373629088 139755766927095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
/proc/29387/statm: 3787789 3147106 3497 1 0 3748889 0
[pid=29387/tid=29388] ppid=29385 vsize=15151156 memory=6791534058613427641 CPUtime=12.69 cores=1,3,5,7
/proc/29387/task/29388/stat : 29388 (java) S 29385 29385 22939 0 -1 1077944384 27327 0 0 0 1249 20 0 0 20 0 15 0 445523027 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139755771168688 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29389] ppid=29385 vsize=15151156 memory=4126316290023845779 CPUtime=200.18 cores=1,3,5,7
/proc/29387/task/29389/stat : 29389 (java) R 29385 29385 22939 0 -1 4202560 54366 0 0 0 19693 325 0 0 20 0 15 0 445523027 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139755694967688 139755750310130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29390] ppid=29385 vsize=15151156 memory=1448 CPUtime=200.58 cores=1,3,5,7
/proc/29387/task/29390/stat : 29390 (java) R 29385 29385 22939 0 -1 4202560 125256 0 0 0 19761 297 0 0 20 0 15 0 445523027 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139755693915144 139755759555303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29391] ppid=29385 vsize=15151156 memory=12588424 CPUtime=200.35 cores=1,3,5,7
/proc/29387/task/29391/stat : 29391 (java) R 29385 29385 22939 0 -1 4202560 138591 0 0 0 19721 314 0 0 20 0 15 0 445523027 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139755692862600 139755759555303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29392] ppid=29385 vsize=15151156 memory=1412 CPUtime=200.18 cores=1,3,5,7
/proc/29387/task/29392/stat : 29392 (java) R 29385 29385 22939 0 -1 4202560 87594 0 0 0 19717 301 0 0 20 0 15 0 445523027 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139755691810136 139755751916573 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29393] ppid=29385 vsize=15151156 memory=3288 CPUtime=33.58 cores=1,3,5,7
/proc/29387/task/29393/stat : 29393 (java) S 29385 29385 22939 0 -1 1077944384 61402 0 0 0 3354 4 0 0 20 0 15 0 445523029 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754640769600 139755766937301 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29394] ppid=29385 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29394/stat : 29394 (java) S 29385 29385 22939 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 445523029 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754639717344 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29395] ppid=29385 vsize=15151156 memory=153756 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29395/stat : 29395 (java) S 29385 29385 22939 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 445523029 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754638664704 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29396] ppid=29385 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29396/stat : 29396 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754637613264 139755766945691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29397] ppid=29385 vsize=15151156 memory=4126316290023845779 CPUtime=0.47 cores=1,3,5,7
/proc/29387/task/29397/stat : 29397 (java) S 29385 29385 22939 0 -1 1077944384 2568 0 0 0 46 1 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754636560880 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29398] ppid=29385 vsize=15151156 memory=580 CPUtime=0.45 cores=1,3,5,7
/proc/29387/task/29398/stat : 29398 (java) S 29385 29385 22939 0 -1 1077944384 1999 0 0 0 45 0 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754635508336 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29399] ppid=29385 vsize=15151156 memory=1720 CPUtime=0.33 cores=1,3,5,7
/proc/29387/task/29399/stat : 29399 (java) S 29385 29385 22939 0 -1 1077944384 2320 0 0 0 33 0 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754634455792 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29400] ppid=29385 vsize=15151156 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29400/stat : 29400 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754633403488 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29401] ppid=29385 vsize=15151156 memory=4160 CPUtime=0.11 cores=1,3,5,7
/proc/29387/task/29401/stat : 29401 (java) S 29385 29385 22939 0 -1 1077944384 510 0 0 0 3 8 0 0 20 0 15 0 445523032 15514783744 3147106 33554432000 4194304 4196468 140734373646544 139754632350000 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
Current children cumulated CPU time: 849 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12589872 KiB
[startup+248.801 s]
/proc/loadavg: 7.62 8.11 7.46 9/234 29508
/proc/meminfo: memFree=15653772/32770624 swapFree=66959728/67108860
[pid=29385] ppid=29382 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29385/stat : 29385 (xcsp3-exec) S 29382 29385 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445523026 115843072 362 33554432000 4194304 5098028 140720949756144 140720949754248 140452229358204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10338304 140720949760891 140720949761133 140720949761133 140720949764042 0
/proc/29385/statm: 28282 362 304 221 0 87 0
[pid=29387] ppid=29385 vsize=15217720 memory=12588424 CPUtime=850.8 cores=1,3,5,7
/proc/29387/stat : 29387 (java) S 29385 29385 22939 0 -1 1077944320 503329 0 0 0 83813 1267 0 0 20 0 16 0 445523026 15582945280 3147106 33554432000 4194304 4196468 140734373646544 140734373629088 139755766927095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
/proc/29387/statm: 3804430 3147106 3497 1 0 3765530 0
[pid=29387/tid=29388] ppid=29385 vsize=15217720 memory=2828 CPUtime=12.69 cores=1,3,5,7
/proc/29387/task/29388/stat : 29388 (java) S 29385 29385 22939 0 -1 1077944384 27336 0 0 0 1249 20 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755771167776 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29389] ppid=29385 vsize=15217720 memory=1448 CPUtime=200.51 cores=1,3,5,7
/proc/29387/task/29389/stat : 29389 (java) R 29385 29385 22939 0 -1 4202560 54366 0 0 0 19726 325 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755694967456 139755751624734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29390] ppid=29385 vsize=15217720 memory=6791534058613427641 CPUtime=200.91 cores=1,3,5,7
/proc/29387/task/29390/stat : 29390 (java) R 29385 29385 22939 0 -1 4202560 125260 0 0 0 19794 297 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755693915224 139755751878088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29391] ppid=29385 vsize=15217720 memory=500 CPUtime=200.69 cores=1,3,5,7
/proc/29387/task/29391/stat : 29391 (java) R 29385 29385 22939 0 -1 4202560 138595 0 0 0 19755 314 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755692862680 139755751878304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29392] ppid=29385 vsize=15217720 memory=1556 CPUtime=200.52 cores=1,3,5,7
/proc/29387/task/29392/stat : 29392 (java) R 29385 29385 22939 0 -1 4202560 87594 0 0 0 19751 301 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755691810136 139755751877700 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29393] ppid=29385 vsize=15217720 memory=928 CPUtime=34.02 cores=1,3,5,7
/proc/29387/task/29393/stat : 29393 (java) S 29385 29385 22939 0 -1 1077944384 61402 0 0 0 3398 4 0 0 20 0 16 0 445523029 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754640769376 139755766937301 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29394] ppid=29385 vsize=15217720 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29394/stat : 29394 (java) S 29385 29385 22939 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 445523029 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754639717344 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29395] ppid=29385 vsize=15217720 memory=12588424 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29395/stat : 29395 (java) S 29385 29385 22939 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 445523029 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754638664704 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29396] ppid=29385 vsize=15217720 memory=988 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29396/stat : 29396 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754637613264 139755766945691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29397] ppid=29385 vsize=15217720 memory=2008 CPUtime=0.47 cores=1,3,5,7
/proc/29387/task/29397/stat : 29397 (java) S 29385 29385 22939 0 -1 1077944384 2568 0 0 0 46 1 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754636560880 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29398] ppid=29385 vsize=15217720 memory=1436 CPUtime=0.45 cores=1,3,5,7
/proc/29387/task/29398/stat : 29398 (java) S 29385 29385 22939 0 -1 1077944384 1999 0 0 0 45 0 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754635508336 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29399] ppid=29385 vsize=15217720 memory=580 CPUtime=0.33 cores=1,3,5,7
/proc/29387/task/29399/stat : 29399 (java) S 29385 29385 22939 0 -1 1077944384 2320 0 0 0 33 0 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754634455792 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29400] ppid=29385 vsize=15217720 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29400/stat : 29400 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754633403488 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29401] ppid=29385 vsize=15217720 memory=10604 CPUtime=0.11 cores=1,3,5,7
/proc/29387/task/29401/stat : 29401 (java) S 29385 29385 22939 0 -1 1077944384 510 0 0 0 3 8 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754632350000 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
Current children cumulated CPU time: 850.8 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12589872 KiB
[startup+249.601 s]
/proc/loadavg: 7.62 8.11 7.46 9/235 29509
/proc/meminfo: memFree=15654048/32770624 swapFree=66959728/67108860
[pid=29385] ppid=29382 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29385/stat : 29385 (xcsp3-exec) S 29382 29385 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445523026 115843072 362 33554432000 4194304 5098028 140720949756144 140720949754248 140452229358204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10338304 140720949760891 140720949761133 140720949761133 140720949764042 0
/proc/29385/statm: 28282 362 304 221 0 87 0
[pid=29387] ppid=29385 vsize=15217720 memory=12588424 CPUtime=853.98 cores=1,3,5,7
/proc/29387/stat : 29387 (java) S 29385 29385 22939 0 -1 1077944320 503460 0 0 0 84130 1268 0 0 20 0 16 0 445523026 15582945280 3147106 33554432000 4194304 4196468 140734373646544 140734373629088 139755766927095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
/proc/29387/statm: 3804430 3147106 3497 1 0 3765530 0
[pid=29387/tid=29388] ppid=29385 vsize=15217720 memory=2008 CPUtime=12.69 cores=1,3,5,7
/proc/29387/task/29388/stat : 29388 (java) S 29385 29385 22939 0 -1 1077944384 27336 0 0 0 1249 20 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755771167776 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29389] ppid=29385 vsize=15217720 memory=303430223234596890 CPUtime=201.31 cores=1,3,5,7
/proc/29387/task/29389/stat : 29389 (java) R 29385 29385 22939 0 -1 4202560 54406 0 0 0 19806 325 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755694967376 139755759555303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29390] ppid=29385 vsize=15217720 memory=288230583166042426 CPUtime=201.71 cores=1,3,5,7
/proc/29387/task/29390/stat : 29390 (java) R 29385 29385 22939 0 -1 4202560 125348 0 0 0 19874 297 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755693915224 139755751923476 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29391] ppid=29385 vsize=15217720 memory=15261432686053804 CPUtime=201.48 cores=1,3,5,7
/proc/29387/task/29391/stat : 29391 (java) R 29385 29385 22939 0 -1 4202560 138595 0 0 0 19834 314 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755692862680 139755751626384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29392] ppid=29385 vsize=15217720 memory=0 CPUtime=201.29 cores=1,3,5,7
/proc/29387/task/29392/stat : 29392 (java) R 29385 29385 22939 0 -1 4202560 87594 0 0 0 19828 301 0 0 20 0 16 0 445523027 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139755691809824 139755751923741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29393] ppid=29385 vsize=15217720 memory=6944656592455360604 CPUtime=34.03 cores=1,3,5,7
/proc/29387/task/29393/stat : 29393 (java) S 29385 29385 22939 0 -1 1077944384 61404 0 0 0 3399 4 0 0 20 0 16 0 445523029 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754640769600 139755766937301 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29394] ppid=29385 vsize=15217720 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29394/stat : 29394 (java) S 29385 29385 22939 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 445523029 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754639717344 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29395] ppid=29385 vsize=15217720 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29395/stat : 29395 (java) S 29385 29385 22939 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 445523029 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754638664704 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29396] ppid=29385 vsize=15217720 memory=25824 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29396/stat : 29396 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754637613264 139755766945691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29397] ppid=29385 vsize=15217720 memory=14048 CPUtime=0.47 cores=1,3,5,7
/proc/29387/task/29397/stat : 29397 (java) S 29385 29385 22939 0 -1 1077944384 2569 0 0 0 46 1 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754636560640 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29398] ppid=29385 vsize=15217720 memory=2124 CPUtime=0.45 cores=1,3,5,7
/proc/29387/task/29398/stat : 29398 (java) S 29385 29385 22939 0 -1 1077944384 1999 0 0 0 45 0 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754635508384 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29399] ppid=29385 vsize=15217720 memory=6791534058613427641 CPUtime=0.33 cores=1,3,5,7
/proc/29387/task/29399/stat : 29399 (java) S 29385 29385 22939 0 -1 1077944384 2320 0 0 0 33 0 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754634455840 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29400] ppid=29385 vsize=15217720 memory=776 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29400/stat : 29400 (java) S 29385 29385 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754633403488 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29401] ppid=29385 vsize=15217720 memory=1564 CPUtime=0.11 cores=1,3,5,7
/proc/29387/task/29401/stat : 29401 (java) S 29385 29385 22939 0 -1 1077944384 510 0 0 0 3 8 0 0 20 0 16 0 445523032 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754632350000 139755766938242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
[pid=29387/tid=29509] ppid=29385 vsize=15217720 memory=6060 CPUtime=0 cores=1,3,5,7
/proc/29387/task/29509/stat : 29509 (java) S 29385 29385 22939 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 445547880 15582945280 3147106 33554432000 4194304 4196468 140734373646544 139754623372480 139755766937301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140734373655535 140734373655706 140734373655706 140734373658575 0
Current children cumulated CPU time: 853.98 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12589872 KiB
[startup+249.806 s]
/proc/loadavg: 7.62 8.11 7.46 9/235 29509
/proc/meminfo: memFree=15654048/32770624 swapFree=66959728/67108860
[pid=29385] ppid=29382 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29385/stat : 29385 (xcsp3-exec) S 29382 29385 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445523026 115843072 362 33554432000 4194304 5098028 140720949756144 140720949754248 140452229358204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10338304 140720949760891 140720949761133 140720949761133 140720949764042 0
/proc/29385/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: 1
Real time (s): 249.828
CPU time (s): 854.317
CPU user time (s): 841.576
CPU system time (s): 12.7415
CPU usage (%): 341.962
Max. virtual memory (cumulated for all children) (KiB): 15330848
Max. memory (cumulated for all children) (KiB): 12589872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 841.576
system time used= 12.7415
maximum resident set size= 12588776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14724
involuntary context switches= 20910
# summary of solver processes directly reported to runsolver:
# pid: 29385
# total CPU time (s): 854.317
# total CPU user time (s): 841.576
# total CPU system time (s): 12.7415
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60946 second user time and 2.66898 second system time
The end