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 (15278 MiB free)
memory of node 1: 16384 MiB (15480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283281-1503221497/watcher-4283281-1503221497 -o /tmp/evaluation-result-4283281-1503221497/solver-4283281-1503221497 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1148534800 HOME/instance-4283281-1503221497.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=7052, runsolver pid=7049
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 2.46 2.19 2.04 3/202 7059
/proc/meminfo: memFree=31489732/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20559436 9740288 345 18446744073709551615 4194304 5098028 140731066615200 140731066613304 140370395685500 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 40640512 140731066622329 140731066622534 140731066622534 140731066626027 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13574484 memory=17520 CPUtime=0.02 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 16431 0 -1 1077944320 3706 0 0 0 2 0 0 0 20 0 9 0 20559443 13900271616 4380 18446744073709551615 4194304 4196468 140732492303616 140732492286160 139692180229879 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
/proc/7054/statm: 3393621 4380 2064 1 0 3383118 0
[pid=7054/tid=7055] ppid=7052 vsize=13574484 memory=1404226546386182794 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 16431 0 -1 4202560 2413 0 0 0 2 0 0 0 20 0 9 0 20559444 13900271616 4380 18446744073709551615 4194304 4196468 140732492303616 139692184465928 139692165912405 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7056] ppid=7052 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 20559444 13900271616 4380 18446744073709551615 4194304 4196468 140732492303616 139692137195920 139692180240085 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7057] ppid=7052 vsize=13574484 memory=139976458098304 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 20559444 13900271616 4380 18446744073709551615 4194304 4196468 140732492303616 139692136143120 139692180240085 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7058] ppid=7052 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 20559444 13900271616 4380 18446744073709551615 4194304 4196468 140732492303616 139692135090832 139692180240085 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7059] ppid=7052 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 20559444 13900271616 4380 18446744073709551615 4194304 4196468 140732492303616 139691777255952 139692180240085 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7060] ppid=7052 vsize=13574484 memory=139976458098304 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 20559446 13900271616 4380 18446744073709551615 4194304 4196468 140732492303616 139691365526128 139692180241026 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7061] ppid=7052 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 20559446 13900271616 4380 18446744073709551615 4194304 4196468 140732492303616 139691364472096 139692180240085 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7062] ppid=7052 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 20559446 13900271616 4380 18446744073709551615 4194304 4196468 140732492303616 139691363419824 139692180240085 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18900 KiB
[startup+0.211142 s]*
/proc/loadavg: 2.46 2.19 2.04 3/211 7068
/proc/meminfo: memFree=31482792/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20559436 9740288 345 18446744073709551615 4194304 5098028 140731066615200 140731066613304 140370395685500 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 40640512 140731066622329 140731066622534 140731066622534 140731066626027 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13974352 memory=26920 CPUtime=0.1 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 16431 0 -1 1077944320 5165 0 0 0 9 1 0 0 20 0 15 0 20559443 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 140732492286160 139692180229879 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
/proc/7054/statm: 3493588 6730 2757 1 0 3482964 0
[pid=7054/tid=7055] ppid=7052 vsize=13974352 memory=1404226546386182794 CPUtime=0.08 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 16431 0 -1 4202560 3296 0 0 0 7 1 0 0 20 0 15 0 20559444 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139692184460800 139692180251805 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7056] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139692137195920 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7057] ppid=7052 vsize=13974352 memory=139976458098304 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20559444 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139692136143120 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7058] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139692135090832 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7059] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691777255952 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7060] ppid=7052 vsize=13974352 memory=139976458098304 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559446 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691365526128 139692180241026 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7061] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20559446 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691364472096 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7062] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20559446 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691363419760 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7063] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691362368080 139692180248475 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7064] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 16431 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 20559449 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691361314928 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7065] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691360262128 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7066] ppid=7052 vsize=13974352 memory=139976458098304 CPUtime=0.01 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 16431 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 20559449 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691359209840 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7067] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691358157280 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7068] ppid=7052 vsize=13974352 memory=139976458098304 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20559454 14309736448 6730 18446744073709551615 4194304 4196468 140732492303616 139691357105072 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28300 KiB
[startup+0.311377 s]*
/proc/loadavg: 2.46 2.19 2.04 3/211 7068
/proc/meminfo: memFree=31470728/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20559436 9740288 345 18446744073709551615 4194304 5098028 140731066615200 140731066613304 140370395685500 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 40640512 140731066622329 140731066622534 140731066622534 140731066626027 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13974352 memory=39448 CPUtime=0.3 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 16431 0 -1 1077944320 9011 0 0 0 27 3 0 0 20 0 15 0 20559443 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 140732492286160 139692180229879 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
/proc/7054/statm: 3493588 9862 3015 1 0 3482964 0
[pid=7054/tid=7055] ppid=7052 vsize=13974352 memory=6933928925625698159 CPUtime=0.18 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 16431 0 -1 4202560 6111 0 0 0 16 2 0 0 20 0 15 0 20559444 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139692184459840 139691814890792 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7056] ppid=7052 vsize=13974352 memory=7523371275010925410 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139692137195920 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7057] ppid=7052 vsize=13974352 memory=6944656592452807326 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20559444 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139692136143120 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7058] ppid=7052 vsize=13974352 memory=-8918987556599313462 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139692135090832 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7059] ppid=7052 vsize=13974352 memory=-7247262161690712702 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691777255952 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7060] ppid=7052 vsize=13974352 memory=8328162156141927054 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559446 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691365526128 139692180241026 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7061] ppid=7052 vsize=13974352 memory=-7299339441649872004 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20559446 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691364472096 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7062] ppid=7052 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20559446 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691363419760 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7063] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691362368080 139692180248475 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7064] ppid=7052 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 16431 0 -1 1077944384 658 0 0 0 2 0 0 0 20 0 15 0 20559449 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691361314928 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7065] ppid=7052 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) R 7052 7052 16431 0 -1 4202560 215 0 0 0 1 0 0 0 20 0 15 0 20559449 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691360243144 139692172519328 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7066] ppid=7052 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) R 7052 7052 16431 0 -1 4202560 722 0 0 0 6 0 0 0 20 0 15 0 20559449 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691359209840 139692180241814 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7067] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691358157280 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7068] ppid=7052 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20559454 14309736448 9862 18446744073709551615 4194304 4196468 140732492303616 139691357105072 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40828 KiB
[startup+0.700811 s]
/proc/loadavg: 2.46 2.19 2.04 5/211 7068
/proc/meminfo: memFree=31458992/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20559436 9740288 345 18446744073709551615 4194304 5098028 140731066615200 140731066613304 140370395685500 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 40640512 140731066622329 140731066622534 140731066622534 140731066626027 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=102440 CPUtime=1.27 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 16431 0 -1 1077944320 13500 0 0 0 121 6 0 0 20 0 15 0 20559443 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 140732492286160 139692180229879 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
/proc/7054/statm: 3495183 25610 3161 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=6451477254208981395 CPUtime=0.55 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 16431 0 -1 4202560 8458 0 0 0 51 4 0 0 20 0 15 0 20559444 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139692184452752 139692180251805 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=-7886167514736700194 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139692137195920 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=5864918620180207719 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20559444 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139692136143120 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=7597685182856913236 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139692135090832 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=8514726395714825875 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691777255952 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=8390361644446492005 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691365526128 139692180241026 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=4137282616176384387 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691364472096 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=6944656592452807323 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691363419760 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=279952679243120 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691362368080 139692180248475 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=6944656592455360604 CPUtime=0.19 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 16431 0 -1 1077944384 1364 0 0 0 19 0 0 0 20 0 15 0 20559449 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691361314928 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=279952679534800 CPUtime=0.19 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) R 7052 7052 16431 0 -1 4202560 929 0 0 0 19 0 0 0 20 0 15 0 20559449 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691360248672 139692161751279 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=288230613214036277 CPUtime=0.3 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 16431 0 -1 1077944384 1439 0 0 0 30 0 0 0 20 0 15 0 20559449 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691359209840 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=13571496182286043 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691358157280 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20559454 14316269568 25610 18446744073709551615 4194304 4196468 140732492303616 139691357105072 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 103820 KiB
[startup+1.5008 s]
/proc/loadavg: 2.46 2.19 2.04 5/211 7068
/proc/meminfo: memFree=31383276/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20559436 9740288 345 18446744073709551615 4194304 5098028 140731066615200 140731066613304 140370395685500 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 40640512 140731066622329 140731066622534 140731066622534 140731066626027 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=166932 CPUtime=3.87 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 16431 0 -1 1077944320 31342 0 0 0 380 7 0 0 20 0 15 0 20559443 14316269568 41733 18446744073709551615 4194304 4196468 140732492303616 140732492286160 139692180229879 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
/proc/7054/statm: 3495183 41733 3184 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=6655300316396806240 CPUtime=1.35 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 16431 0 -1 4202560 9175 0 0 0 131 4 0 0 20 0 15 0 20559444 14316269568 41733 18446744073709551615 4194304 4196468 140732492303616 139692184461136 139691819774178 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14316269568 41733 18446744073709551615 4194304 4196468 140732492303616 139692137195920 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20559444 14316269568 41733 18446744073709551615 4194304 4196468 140732492303616 139692136143120 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=136292 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20559444 14316269568 41733 18446744073709551615 4194304 4196468 140732492303616 139692135090832 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 16431 0 -1 1077944384 861 0 0 0 17 7 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692136143120 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=-8253362762722141311 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 16431 0 -1 1077944384 1149 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692135090832 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=2764 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 16431 0 -1 1077944384 855 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691777255952 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=3004 CPUtime=0.01 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 16431 0 -1 1077944384 822 0 0 0 1 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691365526128 139692180241026 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691364472096 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 16431 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691363419760 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691362368080 139692180248475 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=2008 CPUtime=3.62 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 16431 0 -1 1077944384 17085 0 0 0 360 2 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691361314928 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=1228 CPUtime=4.17 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 16431 0 -1 1077944384 20778 0 0 0 415 2 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691360262128 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=5368 CPUtime=0.83 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 16431 0 -1 1077944384 8697 0 0 0 82 1 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691359209840 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691358157280 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=1444 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 16431 0 -1 1077944384 581 0 0 0 1 1 0 0 20 0 15 0 20559454 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691357105072 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
Current children cumulated CPU time: 78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 406300 KiB
[startup+70.4008 s]
/proc/loadavg: 1.99 2.11 2.02 3/211 7071
/proc/meminfo: memFree=30998780/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20559436 9740288 345 18446744073709551615 4194304 5098028 140731066615200 140731066613304 140370395685500 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 40640512 140731066622329 140731066622534 140731066622534 140731066626027 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=404920 CPUtime=79.6 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 16431 0 -1 1077944320 67139 0 0 0 7920 40 0 0 20 0 15 0 20559443 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 140732492286160 139692180229879 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
/proc/7054/statm: 3495183 101230 3233 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=7680170660397595203 CPUtime=69.95 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 16431 0 -1 4202560 13661 0 0 0 6990 5 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692184468728 139691823470167 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=1008 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 16431 0 -1 1077944384 1226 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692137195920 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=792 CPUtime=0.24 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 16431 0 -1 1077944384 861 0 0 0 17 7 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692136143120 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=2008 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 16431 0 -1 1077944384 1149 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692135090832 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=1228 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 16431 0 -1 1077944384 855 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691777255952 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=5368 CPUtime=0.01 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 16431 0 -1 1077944384 822 0 0 0 1 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691365526128 139692180241026 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=408368 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691364472096 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 16431 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691363419760 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=408368 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691362368080 139692180248475 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=2008 CPUtime=3.62 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 16431 0 -1 1077944384 17154 0 0 0 360 2 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691361314928 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=1228 CPUtime=4.17 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 16431 0 -1 1077944384 20778 0 0 0 415 2 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691360262128 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=5368 CPUtime=0.83 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 16431 0 -1 1077944384 8697 0 0 0 82 1 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691359209840 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691358157280 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=406312 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 16431 0 -1 1077944384 583 0 0 0 1 1 0 0 20 0 15 0 20559454 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691357105072 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
Current children cumulated CPU time: 79.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 406300 KiB
[startup+70.8008 s]
/proc/loadavg: 1.99 2.11 2.02 3/211 7071
/proc/meminfo: memFree=30998780/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20559436 9740288 345 18446744073709551615 4194304 5098028 140731066615200 140731066613304 140370395685500 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 40640512 140731066622329 140731066622534 140731066622534 140731066626027 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=404920 CPUtime=80 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 16431 0 -1 1077944320 67139 0 0 0 7960 40 0 0 20 0 15 0 20559443 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 140732492286160 139692180229879 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
/proc/7054/statm: 3495183 101230 3233 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=7680170660397595203 CPUtime=70.35 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 16431 0 -1 4202560 13661 0 0 0 7030 5 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692184468728 139691819068953 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=404920 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 16431 0 -1 1077944384 1226 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692137195920 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=1200 CPUtime=0.24 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 16431 0 -1 1077944384 861 0 0 0 17 7 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692136143120 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=1720 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 16431 0 -1 1077944384 1149 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692135090832 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=15872 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 16431 0 -1 1077944384 855 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691777255952 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=16448 CPUtime=0.01 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 16431 0 -1 1077944384 822 0 0 0 1 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691365526128 139692180241026 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691364472096 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=401340 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 16431 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691363419760 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=-6205556075959836032 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691362368080 139692180248475 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=1152 CPUtime=3.62 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 16431 0 -1 1077944384 17154 0 0 0 360 2 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691361314928 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=2852 CPUtime=4.17 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 16431 0 -1 1077944384 20778 0 0 0 415 2 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691360262128 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=1380 CPUtime=0.83 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 16431 0 -1 1077944384 8697 0 0 0 82 1 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691359209840 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=330324 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691358157280 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=1156 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 16431 0 -1 1077944384 583 0 0 0 1 1 0 0 20 0 15 0 20559454 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691357105072 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
Current children cumulated CPU time: 80 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 406300 KiB
[startup+71.0008 s]*
/proc/loadavg: 1.99 2.11 2.02 3/211 7071
/proc/meminfo: memFree=30988680/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20559436 9740288 345 18446744073709551615 4194304 5098028 140731066615200 140731066613304 140370395685500 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 40640512 140731066622329 140731066622534 140731066622534 140731066626027 0
/proc/7052/statm: 2378 345 289 221 0 87 0
[pid=7054] ppid=7052 vsize=13980732 memory=404920 CPUtime=80.21 cores=0,2,4,6
/proc/7054/stat : 7054 (java) S 7052 7052 16431 0 -1 1077944320 67139 0 0 0 7981 40 0 0 20 0 15 0 20559443 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 140732492286160 139692180229879 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
/proc/7054/statm: 3495183 101230 3233 1 0 3483476 0
[pid=7054/tid=7055] ppid=7052 vsize=13980732 memory=6933928925625698159 CPUtime=70.55 cores=0,2,4,6
/proc/7054/task/7055/stat : 7055 (java) R 7052 7052 16431 0 -1 4202560 13661 0 0 0 7050 5 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692184468728 139691819331855 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7056] ppid=7052 vsize=13980732 memory=3004 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7056/stat : 7056 (java) S 7052 7052 16431 0 -1 1077944384 1226 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692137195920 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7057] ppid=7052 vsize=13980732 memory=1380 CPUtime=0.24 cores=0,2,4,6
/proc/7054/task/7057/stat : 7057 (java) S 7052 7052 16431 0 -1 1077944384 861 0 0 0 17 7 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692136143120 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7058] ppid=7052 vsize=13980732 memory=404920 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7058/stat : 7058 (java) S 7052 7052 16431 0 -1 1077944384 1149 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139692135090832 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7059] ppid=7052 vsize=13980732 memory=1380 CPUtime=0.22 cores=0,2,4,6
/proc/7054/task/7059/stat : 7059 (java) S 7052 7052 16431 0 -1 1077944384 855 0 0 0 16 6 0 0 20 0 15 0 20559444 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691777255952 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7060] ppid=7052 vsize=13980732 memory=404920 CPUtime=0.01 cores=0,2,4,6
/proc/7054/task/7060/stat : 7060 (java) S 7052 7052 16431 0 -1 1077944384 822 0 0 0 1 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691365526128 139692180241026 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7061] ppid=7052 vsize=13980732 memory=139976339657842 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7061/stat : 7061 (java) S 7052 7052 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691364472096 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7062] ppid=7052 vsize=13980732 memory=279952679323904 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7062/stat : 7062 (java) S 7052 7052 16431 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 20559446 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691363419760 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7063] ppid=7052 vsize=13980732 memory=7301857172715104592 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7063/stat : 7063 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691362368080 139692180248475 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7064] ppid=7052 vsize=13980732 memory=7013623321884518738 CPUtime=3.62 cores=0,2,4,6
/proc/7054/task/7064/stat : 7064 (java) S 7052 7052 16431 0 -1 1077944384 17154 0 0 0 360 2 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691361314928 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7065] ppid=7052 vsize=13980732 memory=8100380778139637076 CPUtime=4.17 cores=0,2,4,6
/proc/7054/task/7065/stat : 7065 (java) S 7052 7052 16431 0 -1 1077944384 20778 0 0 0 415 2 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691360262128 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7066] ppid=7052 vsize=13980732 memory=7517751692589755751 CPUtime=0.83 cores=0,2,4,6
/proc/7054/task/7066/stat : 7066 (java) S 7052 7052 16431 0 -1 1077944384 8697 0 0 0 82 1 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691359209840 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7067] ppid=7052 vsize=13980732 memory=7882800642583515495 CPUtime=0 cores=0,2,4,6
/proc/7054/task/7067/stat : 7067 (java) S 7052 7052 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20559449 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691358157280 139692180240085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
[pid=7054/tid=7068] ppid=7052 vsize=13980732 memory=6082796732077994089 CPUtime=0.02 cores=0,2,4,6
/proc/7054/task/7068/stat : 7068 (java) S 7052 7052 16431 0 -1 1077944384 583 0 0 0 1 1 0 0 20 0 15 0 20559454 14316269568 101230 18446744073709551615 4194304 4196468 140732492303616 139691357105072 139692180241026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 29868032 140732492308914 140732492309090 140732492309090 140732492312527 0
Current children cumulated CPU time: 80.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 406300 KiB
[startup+71.1101 s]
/proc/loadavg: 1.99 2.11 2.02 3/211 7071
/proc/meminfo: memFree=30988680/32770624 swapFree=67108860/67108860
[pid=7052] ppid=7049 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7052/stat : 7052 (xcsp3-exec) S 7049 7052 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20559436 9740288 345 18446744073709551615 4194304 5098028 140731066615200 140731066613304 140370395685500 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 40640512 140731066622329 140731066622534 140731066622534 140731066626027 0
/proc/7052/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 0
Real time (s): 71.1119
CPU time (s): 80.3155
CPU user time (s): 79.9028
CPU system time (s): 0.412693
CPU usage (%): 112.942
Max. virtual memory (cumulated for all children) (KiB): 13991976
Max. memory (cumulated for all children) (KiB): 409748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.9028
system time used= 0.412693
maximum resident set size= 415164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68169
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4843
involuntary context switches= 132
# summary of solver processes directly reported to runsolver:
# pid: 7052
# total CPU time (s): 80.3155
# total CPU user time (s): 79.9028
# total CPU system time (s): 0.412693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.438116 second user time and 0.724147 second system time
The end