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 (14914 MiB free)
memory of node 1: 16384 MiB (14999 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271914-1502829341/watcher-4271914-1502829341 -o /tmp/evaluation-result-4271914-1502829341/solver-4271914-1502829341 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2136837307 HOME/instance-4271914-1502829341.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10348, runsolver pid=10345
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 1.75 1.87 1.93 2/200 10349
/proc/meminfo: memFree=30632468/32770624 swapFree=67108860/67108860
[pid=10348] ppid=10345 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/10348/stat : 10348 (runsolver) D 10345 10348 897 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 85154673 34791424 114 18446744073709551615 4194304 4346622 140725936361104 140725936357736 140211339612887 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6446216 6449568 11407360 140725936365622 140725936366116 140725936366116 140725936369610 0
/proc/10348/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209283 s]*
/proc/loadavg: 1.75 1.87 1.93 2/214 10363
/proc/meminfo: memFree=30621172/32770624 swapFree=67108860/67108860
[pid=10348] ppid=10345 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10348/stat : 10348 (xcsp3-exec) S 10345 10348 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 85154673 9740288 344 18446744073709551615 4194304 5098028 140720644234432 140720644232536 140341159051900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 19591168 140720644235640 140720644235845 140720644235845 140720644239339 0
/proc/10348/statm: 2378 344 289 221 0 87 0
[pid=10350] ppid=10348 vsize=13907304 memory=22144 CPUtime=0.05 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10348 10348 897 0 -1 1077944320 4937 0 0 0 4 1 0 0 20 0 14 0 85154685 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140724385691152 140007683387127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
/proc/10350/statm: 3476826 5536 2577 1 0 3466323 0
[pid=10350/tid=10351] ppid=10348 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/10350/task/10351/stat : 10351 (java) D 10348 10348 897 0 -1 4202560 3104 0 0 0 4 0 0 0 20 0 14 0 85154685 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007687624608 140007683409149 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10352] ppid=10348 vsize=13907304 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 85154686 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007617821072 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10353] ppid=10348 vsize=13907304 memory=140211342573481 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 85154686 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007616768272 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10354] ppid=10348 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 85154686 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007615715984 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10355] ppid=10348 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10348 10348 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 85154686 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007614663184 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10356] ppid=10348 vsize=13907304 memory=140211342562944 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10348 10348 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 85154687 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007161830000 140007683398274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10357] ppid=10348 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10348 10348 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 85154688 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007160775968 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10358] ppid=10348 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10348 10348 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 85154688 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007159723632 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10359] ppid=10348 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 85154691 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007158671952 140007683405723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10360] ppid=10348 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10348 10348 897 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 14 0 85154691 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007157618800 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10361] ppid=10348 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 85154691 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007156566000 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10362] ppid=10348 vsize=13907304 memory=140211342562944 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10348 10348 897 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 85154691 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007155513712 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10363] ppid=10348 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 85154691 14241079296 5536 18446744073709551615 4194304 4196468 140724385708608 140007154461152 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23520 KiB
[startup+0.31102 s]*
/proc/loadavg: 1.75 1.87 1.93 3/215 10364
/proc/meminfo: memFree=30613216/32770624 swapFree=67108860/67108860
[pid=10348] ppid=10345 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10348/stat : 10348 (xcsp3-exec) S 10345 10348 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 85154673 9740288 344 18446744073709551615 4194304 5098028 140720644234432 140720644232536 140341159051900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 19591168 140720644235640 140720644235845 140720644235845 140720644239339 0
/proc/10348/statm: 2378 344 289 221 0 87 0
[pid=10350] ppid=10348 vsize=13975376 memory=33128 CPUtime=0.22 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10348 10348 897 0 -1 1077944320 6666 0 0 0 20 2 0 0 20 0 15 0 85154685 14310785024 8216 18446744073709551615 4194304 4196468 140724385708608 140724385691152 140007683387127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
/proc/10350/statm: 3493844 8216 2981 1 0 3483220 0
[pid=10350/tid=10351] ppid=10348 vsize=13976336 memory=-8774313645642428999 CPUtime=0.13 cores=0,2,4,6
/proc/10350/task/10351/stat : 10351 (java) R 10348 10348 897 0 -1 4202560 3980 0 0 0 12 1 0 0 20 0 15 0 85154685 14311768064 8348 18446744073709551615 4194304 4196468 140724385708608 140007687609504 140007676066845 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10352] ppid=10348 vsize=13976336 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85154686 14311768064 8348 18446744073709551615 4194304 4196468 140724385708608 140007617821072 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10353] ppid=10348 vsize=13976336 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85154686 14311768064 8348 18446744073709551615 4194304 4196468 140724385708608 140007616768272 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10354] ppid=10348 vsize=13976336 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85154686 14311768064 8348 18446744073709551615 4194304 4196468 140724385708608 140007615715984 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10355] ppid=10348 vsize=13976336 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10348 10348 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85154686 14311768064 8414 18446744073709551615 4194304 4196468 140724385708608 140007614663184 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10356] ppid=10348 vsize=13976336 memory=140211342562944 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10348 10348 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85154687 14311768064 8414 18446744073709551615 4194304 4196468 140724385708608 140007161830000 140007683398274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10357] ppid=10348 vsize=13976336 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10348 10348 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85154688 14311768064 8414 18446744073709551615 4194304 4196468 140724385708608 140007160775968 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10358] ppid=10348 vsize=13976336 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10348 10348 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85154688 14311768064 8414 18446744073709551615 4194304 4196468 140724385708608 140007159723632 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10359] ppid=10348 vsize=13976336 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14311768064 8480 18446744073709551615 4194304 4196468 140724385708608 140007158671952 140007683405723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10360] ppid=10348 vsize=13976336 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10348 10348 897 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 15 0 85154691 14311768064 8480 18446744073709551615 4194304 4196468 140724385708608 140007157618800 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10361] ppid=10348 vsize=13976336 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10348 10348 897 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 85154691 14311768064 8480 18446744073709551615 4194304 4196468 140724385708608 140007156566000 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10362] ppid=10348 vsize=13976336 memory=140211342562944 CPUtime=0.05 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10348 10348 897 0 -1 1077944384 690 0 0 0 5 0 0 0 20 0 15 0 85154691 14311768064 8480 18446744073709551615 4194304 4196468 140724385708608 140007155513712 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10363] ppid=10348 vsize=13976336 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14311768064 8480 18446744073709551615 4194304 4196468 140724385708608 140007154461152 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10364] ppid=10348 vsize=13976336 memory=140211342562944 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85154696 14311768064 8480 18446744073709551615 4194304 4196468 140724385708608 140007153408944 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 34504 KiB
[startup+0.701487 s]
/proc/loadavg: 1.75 1.87 1.93 4/215 10364
/proc/meminfo: memFree=30597560/32770624 swapFree=67108860/67108860
[pid=10348] ppid=10345 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10348/stat : 10348 (xcsp3-exec) S 10345 10348 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 85154673 9740288 344 18446744073709551615 4194304 5098028 140720644234432 140720644232536 140341159051900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 19591168 140720644235640 140720644235845 140720644235845 140720644239339 0
/proc/10348/statm: 2378 344 289 221 0 87 0
[pid=10350] ppid=10348 vsize=13978684 memory=74808 CPUtime=1.16 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10348 10348 897 0 -1 1077944320 12364 0 0 0 111 5 0 0 20 0 15 0 85154685 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140724385691152 140007683387127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
/proc/10350/statm: 3494671 18702 3154 1 0 3482964 0
[pid=10350/tid=10351] ppid=10348 vsize=13978684 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/10350/task/10351/stat : 10351 (java) R 10348 10348 897 0 -1 4202560 7901 0 0 0 48 3 0 0 20 0 15 0 85154685 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007687621856 140007648727928 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10352] ppid=10348 vsize=13978684 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85154686 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007617821072 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10353] ppid=10348 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85154686 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007616768272 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10354] ppid=10348 vsize=13978684 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85154686 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007615715984 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10355] ppid=10348 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10348 10348 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 85154686 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007614663184 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10356] ppid=10348 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10348 10348 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 85154687 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007161830000 140007683398274 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10357] ppid=10348 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10348 10348 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 85154688 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007160775968 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10358] ppid=10348 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10348 10348 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 85154688 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007159723632 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10359] ppid=10348 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007158671952 140007683405723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10360] ppid=10348 vsize=13978684 memory=140211220686768 CPUtime=0.21 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) R 10348 10348 897 0 -1 4202560 956 0 0 0 21 0 0 0 20 0 15 0 85154691 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007157605648 140007668268360 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10361] ppid=10348 vsize=13978684 memory=140213502347518 CPUtime=0.19 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) R 10348 10348 897 0 -1 4202560 948 0 0 0 19 0 0 0 20 0 15 0 85154691 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007156547408 140007668494834 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10362] ppid=10348 vsize=13978684 memory=2164 CPUtime=0.22 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10348 10348 897 0 -1 1077944384 1252 0 0 0 22 0 0 0 20 0 15 0 85154691 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007155513712 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10363] ppid=10348 vsize=13978684 memory=2772 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007154461152 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10364] ppid=10348 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10348 10348 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 85154696 14314172416 18702 18446744073709551615 4194304 4196468 140724385708608 140007153408944 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 76184 KiB
[startup+1.50077 s]
/proc/loadavg: 1.75 1.87 1.93 5/215 10364
/proc/meminfo: memFree=30493336/32770624 swapFree=67108860/67108860
[pid=10348] ppid=10345 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10348/stat : 10348 (xcsp3-exec) S 10345 10348 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 85154673 9740288 344 18446744073709551615 4194304 5098028 140720644234432 140720644232536 140341159051900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 19591168 140720644235640 140720644235845 140720644235845 140720644239339 0
/proc/10348/statm: 2378 344 289 221 0 87 0
[pid=10350] ppid=10348 vsize=13983284 memory=228568 CPUtime=3.61 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10348 10348 897 0 -1 1077944320 29856 0 0 0 352 9 0 0 20 0 15 0 85154685 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140724385691152 140007683387127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
/proc/10350/statm: 3495821 57142 3207 1 0 3484114 0
[pid=10350/tid=10351] ppid=10348 vsize=13983284 memory=2321 CPUtime=1.29 cores=0,2,4,6
/proc/10350/task/10351/stat : 10351 (java) R 10348 10348 897 0 -1 4202560 9753 0 0 0 124 5 0 0 20 0 15 0 85154685 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007687623304 140007293873632 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10352] ppid=10348 vsize=13983284 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) S 10348 10348 897 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 85154686 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007617821072 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10353] ppid=10348 vsize=13983284 memory=280422441292640 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10348 10348 897 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 85154686 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007616768272 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10354] ppid=10348 vsize=13983284 memory=-2276395272229541278 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10348 10348 897 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 85154686 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007615715984 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10355] ppid=10348 vsize=13983284 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10348 10348 897 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 85154686 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007614663184 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10356] ppid=10348 vsize=13983284 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10348 10348 897 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 85154687 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007161830000 140007683398274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10357] ppid=10348 vsize=13983284 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10348 10348 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 85154688 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007160775968 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10358] ppid=10348 vsize=13983284 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10348 10348 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 85154688 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007159723632 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10359] ppid=10348 vsize=13983284 memory=796 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007158671952 140007683405723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10360] ppid=10348 vsize=13983284 memory=5788 CPUtime=0.95 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) R 10348 10348 897 0 -1 4202560 9129 0 0 0 95 0 0 0 20 0 15 0 85154691 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007157604472 140007668510688 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10361] ppid=10348 vsize=13983284 memory=1712 CPUtime=0.91 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) R 10348 10348 897 0 -1 4202560 5720 0 0 0 90 1 0 0 20 0 15 0 85154691 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007156555600 140007664931664 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10362] ppid=10348 vsize=13983284 memory=4616 CPUtime=0.39 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10348 10348 897 0 -1 1077944384 3195 0 0 0 39 0 0 0 20 0 15 0 85154691 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007155513712 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10363] ppid=10348 vsize=13983284 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007154461152 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10364] ppid=10348 vsize=13983284 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10348 10348 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 85154696 14318882816 57142 18446744073709551615 4194304 4196468 140724385708608 140007153408944 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 13992796 KiB
################
# More data... #
################
/proc/10350/task/10358/stat : 10358 (java) S 10348 10348 897 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 85154688 14316269568 108283 18446744073709551615 4194304 4196468 140724385708608 140007159723648 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10359] ppid=10348 vsize=13980732 memory=433132 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14316269568 108283 18446744073709551615 4194304 4196468 140724385708608 140007158671952 140007683405723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10360] ppid=10348 vsize=13980732 memory=433132 CPUtime=5.63 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10348 10348 897 0 -1 1077944384 38699 0 0 0 559 4 0 0 20 0 15 0 85154691 14316269568 108283 18446744073709551615 4194304 4196468 140724385708608 140007157618800 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10361] ppid=10348 vsize=13980732 memory=4116 CPUtime=4.58 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10348 10348 897 0 -1 1077944384 27363 0 0 0 455 3 0 0 20 0 15 0 85154691 14316269568 108283 18446744073709551615 4194304 4196468 140724385708608 140007156566000 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10362] ppid=10348 vsize=13980732 memory=433644 CPUtime=0.85 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10348 10348 897 0 -1 1077944384 12001 0 0 0 83 2 0 0 20 0 15 0 85154691 14316269568 108283 18446744073709551615 4194304 4196468 140724385708608 140007155513712 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10363] ppid=10348 vsize=13980732 memory=433644 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14316269568 108283 18446744073709551615 4194304 4196468 140724385708608 140007154461152 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10364] ppid=10348 vsize=13980732 memory=400 CPUtime=1.3 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10348 10348 897 0 -1 1077944384 1220 0 0 0 62 68 0 0 20 0 15 0 85154696 14316269568 108283 18446744073709551615 4194304 4196468 140724385708608 140007153408944 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
Current children cumulated CPU time: 2405.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 434508 KiB
[startup+2442.3 s]
/proc/loadavg: 1.89 1.81 1.62 3/214 10608
/proc/meminfo: memFree=29281792/32770624 swapFree=67108860/67108860
[pid=10348] ppid=10345 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10348/stat : 10348 (xcsp3-exec) S 10345 10348 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 85154673 9740288 344 18446744073709551615 4194304 5098028 140720644234432 140720644232536 140341159051900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 19591168 140720644235640 140720644235845 140720644235845 140720644239339 0
/proc/10348/statm: 2378 344 289 221 0 87 0
[pid=10350] ppid=10348 vsize=13980732 memory=424052 CPUtime=2466.46 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10348 10348 897 0 -1 1077944320 220725 0 0 0 246399 247 0 0 20 0 15 0 85154685 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140724385691152 140007683387127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
/proc/10350/statm: 3495183 106013 3257 1 0 3483476 0
[pid=10350/tid=10351] ppid=10348 vsize=13980732 memory=425076 CPUtime=2436.05 cores=0,2,4,6
/proc/10350/task/10351/stat : 10351 (java) R 10348 10348 897 0 -1 4202560 64526 0 0 0 243590 15 0 0 20 0 15 0 85154685 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007687626496 140007298151358 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10352] ppid=10348 vsize=13980732 memory=1376 CPUtime=4.14 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) S 10348 10348 897 0 -1 1077944384 14394 0 0 0 374 40 0 0 20 0 15 0 85154686 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007617821072 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10353] ppid=10348 vsize=13980732 memory=424052 CPUtime=4.17 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10348 10348 897 0 -1 1077944384 14509 0 0 0 378 39 0 0 20 0 15 0 85154686 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007616768272 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10354] ppid=10348 vsize=13980732 memory=1376 CPUtime=4.15 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10348 10348 897 0 -1 1077944384 14886 0 0 0 373 42 0 0 20 0 15 0 85154686 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007615715984 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10355] ppid=10348 vsize=13980732 memory=424052 CPUtime=4.17 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10348 10348 897 0 -1 1077944384 15785 0 0 0 377 40 0 0 20 0 15 0 85154686 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007614663184 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10356] ppid=10348 vsize=13980732 memory=1376 CPUtime=1.27 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10348 10348 897 0 -1 1077944384 15723 0 0 0 110 17 0 0 20 0 15 0 85154687 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007161830000 140007683398274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10357] ppid=10348 vsize=13980732 memory=424052 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10348 10348 897 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 85154688 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007160776032 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10358] ppid=10348 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10348 10348 897 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 85154688 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007159723648 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10359] ppid=10348 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007158671952 140007683405723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10360] ppid=10348 vsize=13980732 memory=1376 CPUtime=5.65 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10348 10348 897 0 -1 1077944384 38844 0 0 0 561 4 0 0 20 0 15 0 85154691 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007157618800 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10361] ppid=10348 vsize=13980732 memory=1376 CPUtime=4.58 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10348 10348 897 0 -1 1077944384 27401 0 0 0 455 3 0 0 20 0 15 0 85154691 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007156566000 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10362] ppid=10348 vsize=13980732 memory=4116 CPUtime=0.85 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10348 10348 897 0 -1 1077944384 12003 0 0 0 83 2 0 0 20 0 15 0 85154691 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007155513712 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10363] ppid=10348 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007154461152 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10364] ppid=10348 vsize=13980732 memory=424052 CPUtime=1.33 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10348 10348 897 0 -1 1077944384 1238 0 0 0 64 69 0 0 20 0 15 0 85154696 14316269568 106013 18446744073709551615 4194304 4196468 140724385708608 140007153408944 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
Current children cumulated CPU time: 2466.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 425428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.7 s]
/proc/loadavg: 1.62 1.75 1.61 3/211 10609
/proc/meminfo: memFree=29284836/32770624 swapFree=67108860/67108860
[pid=10348] ppid=10345 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10348/stat : 10348 (xcsp3-exec) S 10345 10348 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 85154673 9740288 344 18446744073709551615 4194304 5098028 140720644234432 140720644232536 140341159051900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 19591168 140720644235640 140720644235845 140720644235845 140720644239339 0
/proc/10348/statm: 2378 344 289 221 0 87 0
[pid=10350] ppid=10348 vsize=13980732 memory=421792 CPUtime=2520.03 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10348 10348 897 0 -1 1077944320 222470 0 0 0 251753 250 0 0 20 0 15 0 85154685 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140724385691152 140007683387127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
/proc/10350/statm: 3495183 105448 3257 1 0 3483476 0
[pid=10350/tid=10351] ppid=10348 vsize=13980732 memory=421792 CPUtime=2489.36 cores=0,2,4,6
/proc/10350/task/10351/stat : 10351 (java) R 10348 10348 897 0 -1 4202560 64851 0 0 0 248920 16 0 0 20 0 15 0 85154685 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007687626176 140007298151276 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10352] ppid=10348 vsize=13980732 memory=421792 CPUtime=4.2 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) S 10348 10348 897 0 -1 1077944384 14687 0 0 0 379 41 0 0 20 0 15 0 85154686 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007617821072 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10353] ppid=10348 vsize=13980732 memory=1012 CPUtime=4.22 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10348 10348 897 0 -1 1077944384 14751 0 0 0 383 39 0 0 20 0 15 0 85154686 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007616768272 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10354] ppid=10348 vsize=13980732 memory=1376 CPUtime=4.2 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10348 10348 897 0 -1 1077944384 15333 0 0 0 378 42 0 0 20 0 15 0 85154686 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007615715984 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10355] ppid=10348 vsize=13980732 memory=421792 CPUtime=4.22 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10348 10348 897 0 -1 1077944384 16017 0 0 0 382 40 0 0 20 0 15 0 85154686 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007614663184 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10356] ppid=10348 vsize=13980732 memory=421792 CPUtime=1.3 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10348 10348 897 0 -1 1077944384 15901 0 0 0 113 17 0 0 20 0 15 0 85154687 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007161830000 140007683398274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10357] ppid=10348 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10348 10348 897 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 85154688 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007160776032 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10358] ppid=10348 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10348 10348 897 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 85154688 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007159723648 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10359] ppid=10348 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007158671952 140007683405723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10360] ppid=10348 vsize=13980732 memory=46912 CPUtime=5.65 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10348 10348 897 0 -1 1077944384 38846 0 0 0 561 4 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007157618800 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10361] ppid=10348 vsize=13980732 memory=1376 CPUtime=4.58 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10348 10348 897 0 -1 1077944384 27403 0 0 0 455 3 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007156566000 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10362] ppid=10348 vsize=13980732 memory=4116 CPUtime=0.85 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10348 10348 897 0 -1 1077944384 12006 0 0 0 83 2 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007155513712 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10363] ppid=10348 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007154461152 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10364] ppid=10348 vsize=13980732 memory=46912 CPUtime=1.36 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10348 10348 897 0 -1 1077944384 1259 0 0 0 65 71 0 0 20 0 15 0 85154696 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007153408944 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 423168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.71 s]
# the end of solver process 10348 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001719 s, system=0.00094 s
[startup+2495.71 s]
# the end of solver process 10350 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.55 s, system=2.50652 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2495.7 s]
/proc/loadavg: 1.62 1.75 1.61 3/211 10609
/proc/meminfo: memFree=29284836/32770624 swapFree=67108860/67108860
[pid=10348] ppid=10345 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10348/stat : 10348 (xcsp3-exec) S 10345 10348 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 85154673 9740288 344 18446744073709551615 4194304 5098028 140720644234432 140720644232536 140341159051900 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 12 0 0 7196144 7232144 19591168 140720644235640 140720644235845 140720644235845 140720644239339 0
/proc/10348/statm: 2378 344 289 221 0 87 0
[pid=10350] ppid=10348 vsize=13980732 memory=421792 CPUtime=2520.03 cores=0,2,4,6
/proc/10350/stat : 10350 (java) S 10348 10348 897 0 -1 1077944320 222470 0 0 0 251753 250 0 0 20 0 15 0 85154685 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140724385691152 140007683387127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
/proc/10350/statm: 3495183 105448 3257 1 0 3483476 0
[pid=10350/tid=10351] ppid=10348 vsize=13980732 memory=421792 CPUtime=2489.36 cores=0,2,4,6
/proc/10350/task/10351/stat : 10351 (java) R 10348 10348 897 0 -1 4202560 64851 0 0 0 248920 16 0 0 20 0 15 0 85154685 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007687626176 140007298151276 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10352] ppid=10348 vsize=13980732 memory=421792 CPUtime=4.2 cores=0,2,4,6
/proc/10350/task/10352/stat : 10352 (java) S 10348 10348 897 0 -1 1077944384 14687 0 0 0 379 41 0 0 20 0 15 0 85154686 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007617821072 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10353] ppid=10348 vsize=13980732 memory=1012 CPUtime=4.22 cores=0,2,4,6
/proc/10350/task/10353/stat : 10353 (java) S 10348 10348 897 0 -1 1077944384 14751 0 0 0 383 39 0 0 20 0 15 0 85154686 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007616768272 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10354] ppid=10348 vsize=13980732 memory=1376 CPUtime=4.2 cores=0,2,4,6
/proc/10350/task/10354/stat : 10354 (java) S 10348 10348 897 0 -1 1077944384 15333 0 0 0 378 42 0 0 20 0 15 0 85154686 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007615715984 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10355] ppid=10348 vsize=13980732 memory=421792 CPUtime=4.22 cores=0,2,4,6
/proc/10350/task/10355/stat : 10355 (java) S 10348 10348 897 0 -1 1077944384 16017 0 0 0 382 40 0 0 20 0 15 0 85154686 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007614663184 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10356] ppid=10348 vsize=13980732 memory=421792 CPUtime=1.3 cores=0,2,4,6
/proc/10350/task/10356/stat : 10356 (java) S 10348 10348 897 0 -1 1077944384 15901 0 0 0 113 17 0 0 20 0 15 0 85154687 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007161830000 140007683398274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10357] ppid=10348 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10357/stat : 10357 (java) S 10348 10348 897 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 85154688 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007160776032 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10358] ppid=10348 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10358/stat : 10358 (java) S 10348 10348 897 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 85154688 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007159723648 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10359] ppid=10348 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10359/stat : 10359 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007158671952 140007683405723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10360] ppid=10348 vsize=13980732 memory=46912 CPUtime=5.65 cores=0,2,4,6
/proc/10350/task/10360/stat : 10360 (java) S 10348 10348 897 0 -1 1077944384 38846 0 0 0 561 4 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007157618800 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10361] ppid=10348 vsize=13980732 memory=1376 CPUtime=4.58 cores=0,2,4,6
/proc/10350/task/10361/stat : 10361 (java) S 10348 10348 897 0 -1 1077944384 27403 0 0 0 455 3 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007156566000 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10362] ppid=10348 vsize=13980732 memory=4116 CPUtime=0.85 cores=0,2,4,6
/proc/10350/task/10362/stat : 10362 (java) S 10348 10348 897 0 -1 1077944384 12006 0 0 0 83 2 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007155513712 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10363] ppid=10348 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/10350/task/10363/stat : 10363 (java) S 10348 10348 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 85154691 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007154461152 140007683397333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
[pid=10350/tid=10364] ppid=10348 vsize=13980732 memory=46912 CPUtime=1.36 cores=0,2,4,6
/proc/10350/task/10364/stat : 10364 (java) S 10348 10348 897 0 -1 1077944384 1259 0 0 0 65 71 0 0 20 0 15 0 85154696 14316269568 105448 18446744073709551615 4194304 4196468 140724385708608 140007153408944 140007683398274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 9318400 140724385714609 140724385714785 140724385714785 140724385718223 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 423168 KiB
Child status: 143
Real time (s): 2495.71
CPU time (s): 2520.06
CPU user time (s): 2517.55
CPU system time (s): 2.50652
CPU usage (%): 100.975
Max. virtual memory (cumulated for all children) (KiB): 13992848
Max. memory (cumulated for all children) (KiB): 624888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.55
system time used= 2.50652
maximum resident set size= 624060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83243
involuntary context switches= 3224
# summary of solver processes directly reported to runsolver:
# pid: 10348,10350
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.55
# total CPU system time (s): 2.50652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3623 second user time and 19.6574 second system time
The end