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 (15112 MiB free)
memory of node 1: 16384 MiB (15104 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269911-1502869353/watcher-4269911-1502869353 -o /tmp/evaluation-result-4269911-1502869353/solver-4269911-1502869353 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502868496-10027 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 413615374 HOME/instance-4269911-1502869353.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
Current StackSize limit: 8192 KiB
solver pid=10224, runsolver pid=10221
[startup+0.100144 s]*
/proc/loadavg: 0.99 0.81 0.97 3/207 10232
/proc/meminfo: memFree=30933500/32770624 swapFree=67108860/67108860
[pid=10224] ppid=10221 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10224/stat : 10224 (xcsp3-exec) S 10221 10224 8289 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 134750448 9740288 345 18446744073709551615 4194304 5098028 140731674494080 140731674492184 139739258167932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 35999744 140731674501497 140731674501701 140731674501701 140731674505195 0
/proc/10224/statm: 2378 345 289 221 0 87 0
[pid=10226] ppid=10224 vsize=13574484 memory=17724 CPUtime=0.03 cores=0,2,4,6
/proc/10226/stat : 10226 (java) S 10224 10224 8289 0 -1 1077944320 3763 0 0 0 2 1 0 0 20 0 9 0 134750455 13900271616 4431 18446744073709551615 4194304 4196468 140732898109888 140732898092432 140178308775671 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
/proc/10226/statm: 3393621 4431 2064 1 0 3383118 0
[pid=10226/tid=10227] ppid=10224 vsize=13574484 memory=-8713483618642983523 CPUtime=0.01 cores=0,2,4,6
/proc/10226/task/10227/stat : 10227 (java) R 10224 10224 8289 0 -1 4202560 2480 0 0 0 1 0 0 0 20 0 9 0 134750455 13900271616 4431 18446744073709551615 4194304 4196468 140732898109888 140178313011400 140178294868832 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10228] ppid=10224 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10228/stat : 10228 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 134750456 13900271616 4431 18446744073709551615 4194304 4196468 140732898109888 140178271882128 140178308785877 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10229] ppid=10224 vsize=13574484 memory=140461183035008 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10229/stat : 10229 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 134750456 13900271616 4496 18446744073709551615 4194304 4196468 140732898109888 140177907727120 140178308785877 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10230] ppid=10224 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10230/stat : 10230 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 134750456 13900271616 4496 18446744073709551615 4194304 4196468 140732898109888 140177906674832 140178308785877 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10231] ppid=10224 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10231/stat : 10231 (java) S 10224 10224 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 134750456 13900271616 4496 18446744073709551615 4194304 4196468 140732898109888 140177905622032 140178308785877 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10232] ppid=10224 vsize=13574484 memory=140461183035008 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10232/stat : 10232 (java) S 10224 10224 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 134750458 13900271616 4496 18446744073709551615 4194304 4196468 140732898109888 140177787250800 140178308786818 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10233] ppid=10224 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10233/stat : 10233 (java) S 10224 10224 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 134750458 13900271616 4496 18446744073709551615 4194304 4196468 140732898109888 140177786196768 140178308785877 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10234] ppid=10224 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10234/stat : 10234 (java) S 10224 10224 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 134750458 13900271616 4496 18446744073709551615 4194304 4196468 140732898109888 140177785144496 140178308785877 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19104 KiB
[startup+0.210394 s]*
/proc/loadavg: 0.99 0.81 0.97 4/215 10240
/proc/meminfo: memFree=30925880/32770624 swapFree=67108860/67108860
[pid=10224] ppid=10221 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10224/stat : 10224 (xcsp3-exec) S 10221 10224 8289 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 134750448 9740288 345 18446744073709551615 4194304 5098028 140731674494080 140731674492184 139739258167932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 35999744 140731674501497 140731674501701 140731674501701 140731674505195 0
/proc/10224/statm: 2378 345 289 221 0 87 0
[pid=10226] ppid=10224 vsize=13974352 memory=27820 CPUtime=0.11 cores=0,2,4,6
/proc/10226/stat : 10226 (java) S 10224 10224 8289 0 -1 1077944320 5377 0 0 0 10 1 0 0 20 0 15 0 134750455 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140732898092432 140178308775671 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
/proc/10226/statm: 3493588 6955 2852 1 0 3482964 0
[pid=10226/tid=10227] ppid=10224 vsize=13974352 memory=-6871798056524144002 CPUtime=0.09 cores=0,2,4,6
/proc/10226/task/10227/stat : 10227 (java) R 10224 10224 8289 0 -1 4202560 3394 0 0 0 8 1 0 0 20 0 15 0 134750455 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140178313000000 140178308787606 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10228] ppid=10224 vsize=13974352 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10228/stat : 10228 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140178271882128 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10229] ppid=10224 vsize=13974352 memory=140461183035008 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10229/stat : 10229 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177907727120 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10230] ppid=10224 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10230/stat : 10230 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177906674832 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10231] ppid=10224 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10231/stat : 10231 (java) S 10224 10224 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134750456 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177905622032 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10232] ppid=10224 vsize=13974352 memory=140461183035008 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10232/stat : 10232 (java) S 10224 10224 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134750458 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177787250800 140178308786818 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10233] ppid=10224 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10233/stat : 10233 (java) S 10224 10224 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134750458 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177786196768 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10234] ppid=10224 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10234/stat : 10234 (java) S 10224 10224 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134750458 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177785144432 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10235] ppid=10224 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10235/stat : 10235 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177784092752 140178308794267 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10236] ppid=10224 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10236/stat : 10236 (java) S 10224 10224 8289 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 134750461 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177783040624 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10237] ppid=10224 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10237/stat : 10237 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750461 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177781987824 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10238] ppid=10224 vsize=13974352 memory=140461183035008 CPUtime=0.01 cores=0,2,4,6
/proc/10226/task/10238/stat : 10238 (java) R 10224 10224 8289 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 134750461 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177780935536 140178289019953 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10239] ppid=10224 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10239/stat : 10239 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177779882976 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10240] ppid=10224 vsize=13974352 memory=140461183035008 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10240/stat : 10240 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750465 14309736448 6955 18446744073709551615 4194304 4196468 140732898109888 140177778829744 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29200 KiB
[startup+0.310646 s]*
/proc/loadavg: 0.99 0.81 0.97 4/215 10240
/proc/meminfo: memFree=30912480/32770624 swapFree=67108860/67108860
[pid=10224] ppid=10221 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10224/stat : 10224 (xcsp3-exec) S 10221 10224 8289 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 134750448 9740288 345 18446744073709551615 4194304 5098028 140731674494080 140731674492184 139739258167932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 35999744 140731674501497 140731674501701 140731674501701 140731674505195 0
/proc/10224/statm: 2378 345 289 221 0 87 0
[pid=10226] ppid=10224 vsize=13974352 memory=39996 CPUtime=0.32 cores=0,2,4,6
/proc/10226/stat : 10226 (java) S 10224 10224 8289 0 -1 1077944320 9167 0 0 0 28 4 0 0 20 0 15 0 134750455 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140732898092432 140178308775671 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
/proc/10226/statm: 3493588 9999 3036 1 0 3482964 0
[pid=10226/tid=10227] ppid=10224 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/10226/task/10227/stat : 10227 (java) R 10224 10224 8289 0 -1 4202560 6285 0 0 0 16 2 0 0 20 0 15 0 134750455 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140178313012432 140178292819301 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10228] ppid=10224 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10228/stat : 10228 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140178271882128 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10229] ppid=10224 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10229/stat : 10229 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177907727120 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10230] ppid=10224 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10230/stat : 10230 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177906674832 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10231] ppid=10224 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10231/stat : 10231 (java) S 10224 10224 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134750456 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177905622032 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10232] ppid=10224 vsize=13974352 memory=140461183042001 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10232/stat : 10232 (java) S 10224 10224 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134750458 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177787250800 140178308786818 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10233] ppid=10224 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10233/stat : 10233 (java) S 10224 10224 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134750458 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177786196768 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10234] ppid=10224 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10234/stat : 10234 (java) S 10224 10224 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134750458 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177785144432 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10235] ppid=10224 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10235/stat : 10235 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177784092752 140178308794267 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10236] ppid=10224 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10226/task/10236/stat : 10236 (java) S 10224 10224 8289 0 -1 1077944384 666 0 0 0 2 0 0 0 20 0 15 0 134750461 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177783040624 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10237] ppid=10224 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10226/task/10237/stat : 10237 (java) S 10224 10224 8289 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 15 0 134750461 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177781987824 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10238] ppid=10224 vsize=13974352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10226/task/10238/stat : 10238 (java) R 10224 10224 8289 0 -1 4202560 781 0 0 0 7 0 0 0 20 0 15 0 134750461 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177780935536 140178287141979 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10239] ppid=10224 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10239/stat : 10239 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177779882976 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10240] ppid=10224 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10240/stat : 10240 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750465 14309736448 9999 18446744073709551615 4194304 4196468 140732898109888 140177778829744 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41376 KiB
[startup+0.701544 s]
/proc/loadavg: 0.99 0.81 0.97 6/215 10240
/proc/meminfo: memFree=30903772/32770624 swapFree=67108860/67108860
[pid=10224] ppid=10221 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10224/stat : 10224 (xcsp3-exec) S 10221 10224 8289 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 134750448 9740288 345 18446744073709551615 4194304 5098028 140731674494080 140731674492184 139739258167932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 35999744 140731674501497 140731674501701 140731674501701 140731674505195 0
/proc/10224/statm: 2378 345 289 221 0 87 0
[pid=10226] ppid=10224 vsize=13980732 memory=87156 CPUtime=1.13 cores=0,2,4,6
/proc/10226/stat : 10226 (java) S 10224 10224 8289 0 -1 1077944320 11883 0 0 0 108 5 0 0 20 0 15 0 134750455 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140732898092432 140178308775671 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
/proc/10226/statm: 3495183 21789 3157 1 0 3483476 0
[pid=10226/tid=10227] ppid=10224 vsize=13980732 memory=8242257093008633910 CPUtime=0.56 cores=0,2,4,6
/proc/10226/task/10227/stat : 10227 (java) R 10224 10224 8289 0 -1 4202560 8011 0 0 0 53 3 0 0 20 0 15 0 134750455 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140178313011544 140177949554248 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10228] ppid=10224 vsize=13980732 memory=7156877733537071201 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10228/stat : 10228 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140178271882128 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10229] ppid=10224 vsize=13980732 memory=6440526044203406950 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10229/stat : 10229 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177907727120 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10230] ppid=10224 vsize=13980732 memory=-7970089902420485312 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10230/stat : 10230 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177906674832 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10231] ppid=10224 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10231/stat : 10231 (java) S 10224 10224 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 134750456 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177905622032 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10232] ppid=10224 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10232/stat : 10232 (java) S 10224 10224 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177787250800 140178308786818 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10233] ppid=10224 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10233/stat : 10233 (java) S 10224 10224 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177786196768 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10234] ppid=10224 vsize=13980732 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10234/stat : 10234 (java) S 10224 10224 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177785144432 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10235] ppid=10224 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10235/stat : 10235 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177784092752 140178308794267 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10236] ppid=10224 vsize=13980732 memory=140461066953328 CPUtime=0.14 cores=0,2,4,6
/proc/10226/task/10236/stat : 10236 (java) S 10224 10224 8289 0 -1 1077944384 1009 0 0 0 14 0 0 0 20 0 15 0 134750461 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177783040624 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10237] ppid=10224 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/10226/task/10237/stat : 10237 (java) S 10224 10224 8289 0 -1 1077944384 352 0 0 0 14 0 0 0 20 0 15 0 134750461 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177781987824 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10238] ppid=10224 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/10226/task/10238/stat : 10238 (java) S 10224 10224 8289 0 -1 1077944384 1204 0 0 0 25 0 0 0 20 0 15 0 134750461 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177780935536 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10239] ppid=10224 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10239/stat : 10239 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177779882976 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10240] ppid=10224 vsize=13980732 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10240/stat : 10240 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750465 14316269568 21789 18446744073709551615 4194304 4196468 140732898109888 140177778829744 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 88536 KiB
[startup+1.50095 s]
/proc/loadavg: 0.99 0.81 0.97 6/215 10240
/proc/meminfo: memFree=30777408/32770624 swapFree=67108860/67108860
[pid=10224] ppid=10221 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10224/stat : 10224 (xcsp3-exec) S 10221 10224 8289 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 134750448 9740288 345 18446744073709551615 4194304 5098028 140731674494080 140731674492184 139739258167932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 35999744 140731674501497 140731674501701 140731674501701 140731674505195 0
/proc/10224/statm: 2378 345 289 221 0 87 0
[pid=10226] ppid=10224 vsize=13980732 memory=154960 CPUtime=1.95 cores=0,2,4,6
/proc/10226/stat : 10226 (java) S 10224 10224 8289 0 -1 1077944320 12103 0 0 0 189 6 0 0 20 0 15 0 134750455 14316269568 38740 18446744073709551615 4194304 4196468 140732898109888 140732898092432 140178308775671 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
/proc/10226/statm: 3495183 38740 3158 1 0 3483476 0
[pid=10226/tid=10227] ppid=10224 vsize=13980732 memory=29378 CPUtime=1.37 cores=0,2,4,6
/proc/10226/task/10227/stat : 10227 (java) R 10224 10224 8289 0 -1 4202560 8174 0 0 0 132 5 0 0 20 0 15 0 134750455 14316269568 38740 18446744073709551615 4194304 4196468 140732898109888 140178313011208 140177952548398 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10228] ppid=10224 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10228/stat : 10228 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14316269568 38740 18446744073709551615 4194304 4196468 140732898109888 140178271882128 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10229] ppid=10224 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10229/stat : 10229 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14316269568 38740 18446744073709551615 4194304 4196468 140732898109888 140177907727120 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10230] ppid=10224 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10230/stat : 10230 (java) S 10224 10224 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 134750456 14316269568 38740 18446744073709551615 4194304 4196468 140732898109888 140177906674832 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10231] ppid=10224 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/10226/task/10229/stat : 10229 (java) R 10224 10224 8289 0 -1 4202560 45650 0 0 0 4341 309 0 0 20 0 15 0 134750456 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177907727320 140178293473310 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10230] ppid=10224 vsize=13980732 memory=1380 CPUtime=46.18 cores=0,2,4,6
/proc/10226/task/10230/stat : 10230 (java) R 10224 10224 8289 0 -1 4202560 111999 0 0 0 4306 312 0 0 20 0 15 0 134750456 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177906675032 140178293473310 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10231] ppid=10224 vsize=13980732 memory=10751668 CPUtime=46.16 cores=0,2,4,6
/proc/10226/task/10231/stat : 10231 (java) R 10224 10224 8289 0 -1 4202560 72427 0 0 0 4308 308 0 0 20 0 15 0 134750456 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177905621920 140178294840501 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10232] ppid=10224 vsize=13980732 memory=2164 CPUtime=15.58 cores=0,2,4,6
/proc/10226/task/10232/stat : 10232 (java) S 10224 10224 8289 0 -1 1077944384 38895 0 0 0 1554 4 0 0 20 0 15 0 134750458 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177787249120 140178308785877 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10233] ppid=10224 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10233/stat : 10233 (java) S 10224 10224 8289 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177786196368 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10234] ppid=10224 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10234/stat : 10234 (java) S 10224 10224 8289 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177785144432 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10235] ppid=10224 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10235/stat : 10235 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177784092752 140178308794267 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10236] ppid=10224 vsize=13980732 memory=956 CPUtime=0.21 cores=0,2,4,6
/proc/10226/task/10236/stat : 10236 (java) S 10224 10224 8289 0 -1 1077944384 1861 0 0 0 21 0 0 0 20 0 15 0 134750461 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177783040624 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10237] ppid=10224 vsize=13980732 memory=2248 CPUtime=0.25 cores=0,2,4,6
/proc/10226/task/10237/stat : 10237 (java) S 10224 10224 8289 0 -1 1077944384 2601 0 0 0 24 1 0 0 20 0 15 0 134750461 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177781987824 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10238] ppid=10224 vsize=13980732 memory=4288 CPUtime=0.33 cores=0,2,4,6
/proc/10226/task/10238/stat : 10238 (java) S 10224 10224 8289 0 -1 1077944384 4009 0 0 0 33 0 0 0 20 0 15 0 134750461 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177780935536 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10239] ppid=10224 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10239/stat : 10239 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177779882976 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10240] ppid=10224 vsize=13980732 memory=1716 CPUtime=0.11 cores=0,2,4,6
/proc/10226/task/10240/stat : 10240 (java) S 10224 10224 8289 0 -1 1077944384 300 0 0 0 6 5 0 0 20 0 15 0 134750465 14316269568 2687917 18446744073709551615 4194304 4196468 140732898109888 140177778829744 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
Current children cumulated CPU time: 327.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10753048 KiB
[startup+192.001 s]*
/proc/loadavg: 4.33 2.01 1.38 9/219 10263
/proc/meminfo: memFree=9869908/32770624 swapFree=67108860/67108860
[pid=10224] ppid=10221 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10224/stat : 10224 (xcsp3-exec) S 10221 10224 8289 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 134750448 9740288 345 18446744073709551615 4194304 5098028 140731674494080 140731674492184 139739258167932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 35999744 140731674501497 140731674501701 140731674501701 140731674505195 0
/proc/10224/statm: 2378 345 289 221 0 87 0
[pid=10226] ppid=10224 vsize=13980732 memory=10751676 CPUtime=340.32 cores=0,2,4,6
/proc/10226/stat : 10226 (java) S 10224 10224 8289 0 -1 1077944320 374690 0 0 0 32789 1243 0 0 20 0 15 0 134750455 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140732898092432 140178308775671 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
/proc/10226/statm: 3495183 2687919 3213 1 0 3483476 0
[pid=10226/tid=10227] ppid=10224 vsize=13980732 memory=5788 CPUtime=126.13 cores=0,2,4,6
/proc/10226/task/10227/stat : 10227 (java) S 10224 10224 8289 0 -1 1077944384 18051 0 0 0 12604 9 0 0 20 0 15 0 134750455 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140178313013792 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10228] ppid=10224 vsize=13980732 memory=4612 CPUtime=49.42 cores=0,2,4,6
/proc/10226/task/10228/stat : 10228 (java) R 10224 10224 8289 0 -1 4202560 72893 0 0 0 4652 290 0 0 20 0 15 0 134750456 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140178271882328 140178293473318 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10229] ppid=10224 vsize=13980732 memory=4872558044660077418 CPUtime=49.6 cores=0,2,4,6
/proc/10226/task/10229/stat : 10229 (java) R 10224 10224 8289 0 -1 4202560 45831 0 0 0 4651 309 0 0 20 0 15 0 134750456 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177907727320 140178293726764 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10230] ppid=10224 vsize=13980732 memory=11168 CPUtime=49.24 cores=0,2,4,6
/proc/10226/task/10230/stat : 10230 (java) R 10224 10224 8289 0 -1 4202560 116175 0 0 0 4612 312 0 0 20 0 15 0 134750456 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177906674728 140178301403879 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10231] ppid=10224 vsize=13980732 memory=5788 CPUtime=49.21 cores=0,2,4,6
/proc/10226/task/10231/stat : 10231 (java) R 10224 10224 8289 0 -1 4202560 72663 0 0 0 4613 308 0 0 20 0 15 0 134750456 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177905621616 140178301403879 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10232] ppid=10224 vsize=13980732 memory=4612 CPUtime=15.69 cores=0,2,4,6
/proc/10226/task/10232/stat : 10232 (java) S 10224 10224 8289 0 -1 1077944384 38960 0 0 0 1565 4 0 0 20 0 15 0 134750458 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177787249136 140178308785877 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10233] ppid=10224 vsize=13980732 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10233/stat : 10233 (java) S 10224 10224 8289 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177786196368 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10234] ppid=10224 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10234/stat : 10234 (java) S 10224 10224 8289 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177785144432 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10235] ppid=10224 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10235/stat : 10235 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177784092752 140178308794267 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10236] ppid=10224 vsize=13980732 memory=1380 CPUtime=0.21 cores=0,2,4,6
/proc/10226/task/10236/stat : 10236 (java) S 10224 10224 8289 0 -1 1077944384 1861 0 0 0 21 0 0 0 20 0 15 0 134750461 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177783040624 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10237] ppid=10224 vsize=13980732 memory=10751668 CPUtime=0.25 cores=0,2,4,6
/proc/10226/task/10237/stat : 10237 (java) S 10224 10224 8289 0 -1 1077944384 2601 0 0 0 24 1 0 0 20 0 15 0 134750461 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177781987824 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10238] ppid=10224 vsize=13980732 memory=2440 CPUtime=0.33 cores=0,2,4,6
/proc/10226/task/10238/stat : 10238 (java) S 10224 10224 8289 0 -1 1077944384 4009 0 0 0 33 0 0 0 20 0 15 0 134750461 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177780935536 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10239] ppid=10224 vsize=13980732 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10239/stat : 10239 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177779882976 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10240] ppid=10224 vsize=13980732 memory=792 CPUtime=0.12 cores=0,2,4,6
/proc/10226/task/10240/stat : 10240 (java) S 10224 10224 8289 0 -1 1077944384 300 0 0 0 7 5 0 0 20 0 15 0 134750465 14316269568 2687919 18446744073709551615 4194304 4196468 140732898109888 140177778829744 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
Current children cumulated CPU time: 340.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10753056 KiB
[startup+192.801 s]
/proc/loadavg: 4.33 2.01 1.38 9/219 10263
/proc/meminfo: memFree=9869908/32770624 swapFree=67108860/67108860
[pid=10224] ppid=10221 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10224/stat : 10224 (xcsp3-exec) S 10221 10224 8289 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 134750448 9740288 345 18446744073709551615 4194304 5098028 140731674494080 140731674492184 139739258167932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 35999744 140731674501497 140731674501701 140731674501701 140731674505195 0
/proc/10224/statm: 2378 345 289 221 0 87 0
[pid=10226] ppid=10224 vsize=13980732 memory=10751816 CPUtime=343.39 cores=0,2,4,6
/proc/10226/stat : 10226 (java) S 10224 10224 8289 0 -1 1077944320 383707 0 0 0 33095 1244 0 0 20 0 15 0 134750455 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140732898092432 140178308775671 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
/proc/10226/statm: 3495183 2687954 3220 1 0 3483476 0
[pid=10226/tid=10227] ppid=10224 vsize=13980732 memory=-8774313645642428999 CPUtime=126.13 cores=0,2,4,6
/proc/10226/task/10227/stat : 10227 (java) S 10224 10224 8289 0 -1 1077944384 18051 0 0 0 12604 9 0 0 20 0 15 0 134750455 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140178313013792 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10228] ppid=10224 vsize=13980732 memory=7679927811743456362 CPUtime=50.2 cores=0,2,4,6
/proc/10226/task/10228/stat : 10228 (java) S 10224 10224 8289 0 -1 1077944384 74943 0 0 0 4730 290 0 0 20 0 15 0 134750456 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140178271882128 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10229] ppid=10224 vsize=13980732 memory=8316868033356759116 CPUtime=50.38 cores=0,2,4,6
/proc/10226/task/10229/stat : 10229 (java) S 10224 10224 8289 0 -1 1077944384 47047 0 0 0 4729 309 0 0 20 0 15 0 134750456 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177907727120 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10230] ppid=10224 vsize=13980732 memory=576460758266832364 CPUtime=50 cores=0,2,4,6
/proc/10226/task/10230/stat : 10230 (java) S 10224 10224 8289 0 -1 1077944384 116185 0 0 0 4687 313 0 0 20 0 15 0 134750456 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177906674832 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10231] ppid=10224 vsize=13980732 memory=28830 CPUtime=49.96 cores=0,2,4,6
/proc/10226/task/10231/stat : 10231 (java) S 10224 10224 8289 0 -1 1077944384 72682 0 0 0 4688 308 0 0 20 0 15 0 134750456 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177905622032 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10232] ppid=10224 vsize=13980732 memory=-8774313645642428999 CPUtime=15.7 cores=0,2,4,6
/proc/10226/task/10232/stat : 10232 (java) R 10224 10224 8289 0 -1 4202560 44871 0 0 0 1566 4 0 0 20 0 15 0 134750458 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177787249136 140178301065120 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10233] ppid=10224 vsize=13980732 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10233/stat : 10233 (java) S 10224 10224 8289 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177786196368 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10234] ppid=10224 vsize=13980732 memory=11168 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10234/stat : 10234 (java) S 10224 10224 8289 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177785144432 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10235] ppid=10224 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10235/stat : 10235 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177784092752 140178308794267 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10236] ppid=10224 vsize=13980732 memory=4612 CPUtime=0.21 cores=0,2,4,6
/proc/10226/task/10236/stat : 10236 (java) S 10224 10224 8289 0 -1 1077944384 1861 0 0 0 21 0 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177783040624 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10237] ppid=10224 vsize=13980732 memory=1436 CPUtime=0.25 cores=0,2,4,6
/proc/10226/task/10237/stat : 10237 (java) S 10224 10224 8289 0 -1 1077944384 2601 0 0 0 24 1 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177781987824 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10238] ppid=10224 vsize=13980732 memory=1200 CPUtime=0.33 cores=0,2,4,6
/proc/10226/task/10238/stat : 10238 (java) S 10224 10224 8289 0 -1 1077944384 4009 0 0 0 33 0 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177780935536 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10239] ppid=10224 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10239/stat : 10239 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177779882976 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10240] ppid=10224 vsize=13980732 memory=1380 CPUtime=0.12 cores=0,2,4,6
/proc/10226/task/10240/stat : 10240 (java) S 10224 10224 8289 0 -1 1077944384 318 0 0 0 7 5 0 0 20 0 15 0 134750465 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177778829744 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
Current children cumulated CPU time: 343.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10753196 KiB
[startup+193.201 s]
/proc/loadavg: 4.33 2.01 1.38 9/219 10263
/proc/meminfo: memFree=9869908/32770624 swapFree=67108860/67108860
[pid=10224] ppid=10221 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10224/stat : 10224 (xcsp3-exec) S 10221 10224 8289 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 134750448 9740288 345 18446744073709551615 4194304 5098028 140731674494080 140731674492184 139739258167932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 35999744 140731674501497 140731674501701 140731674501701 140731674505195 0
/proc/10224/statm: 2378 345 289 221 0 87 0
[pid=10226] ppid=10224 vsize=13980732 memory=10751816 CPUtime=344.97 cores=0,2,4,6
/proc/10226/stat : 10226 (java) S 10224 10224 8289 0 -1 1077944320 384837 0 0 0 33253 1244 0 0 20 0 15 0 134750455 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140732898092432 140178308775671 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
/proc/10226/statm: 3495183 2687954 3220 1 0 3483476 0
[pid=10226/tid=10227] ppid=10224 vsize=13980732 memory=5788 CPUtime=126.13 cores=0,2,4,6
/proc/10226/task/10227/stat : 10227 (java) S 10224 10224 8289 0 -1 1077944384 18051 0 0 0 12604 9 0 0 20 0 15 0 134750455 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140178313013792 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10228] ppid=10224 vsize=13980732 memory=-8774313645642428999 CPUtime=50.59 cores=0,2,4,6
/proc/10226/task/10228/stat : 10228 (java) R 10224 10224 8289 0 -1 4202560 74951 0 0 0 4769 290 0 0 20 0 15 0 134750456 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140178271882328 140178293772317 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10229] ppid=10224 vsize=13980732 memory=10751676 CPUtime=50.78 cores=0,2,4,6
/proc/10226/task/10229/stat : 10229 (java) R 10224 10224 8289 0 -1 4202560 47487 0 0 0 4769 309 0 0 20 0 15 0 134750456 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177907727008 140178293772259 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10230] ppid=10224 vsize=13980732 memory=10751672 CPUtime=50.4 cores=0,2,4,6
/proc/10226/task/10230/stat : 10230 (java) R 10224 10224 8289 0 -1 4202560 116193 0 0 0 4727 313 0 0 20 0 15 0 134750456 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177906675032 140178293772068 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10231] ppid=10224 vsize=13980732 memory=1232 CPUtime=50.36 cores=0,2,4,6
/proc/10226/task/10231/stat : 10231 (java) R 10224 10224 8289 0 -1 4202560 72691 0 0 0 4728 308 0 0 20 0 15 0 134750456 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177905622232 140178293772317 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10232] ppid=10224 vsize=13980732 memory=640 CPUtime=15.7 cores=0,2,4,6
/proc/10226/task/10232/stat : 10232 (java) S 10224 10224 8289 0 -1 1077944384 45305 0 0 0 1566 4 0 0 20 0 15 0 134750458 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177787249360 140178308785877 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10233] ppid=10224 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10233/stat : 10233 (java) S 10224 10224 8289 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177786196368 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10234] ppid=10224 vsize=13980732 memory=956 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10234/stat : 10234 (java) S 10224 10224 8289 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 134750458 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177785144432 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10235] ppid=10224 vsize=13980732 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10235/stat : 10235 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177784092752 140178308794267 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10236] ppid=10224 vsize=13980732 memory=4288 CPUtime=0.21 cores=0,2,4,6
/proc/10226/task/10236/stat : 10236 (java) S 10224 10224 8289 0 -1 1077944384 1863 0 0 0 21 0 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177783040672 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10237] ppid=10224 vsize=13980732 memory=2164 CPUtime=0.25 cores=0,2,4,6
/proc/10226/task/10237/stat : 10237 (java) S 10224 10224 8289 0 -1 1077944384 2603 0 0 0 24 1 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177781987872 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10238] ppid=10224 vsize=13980732 memory=928 CPUtime=0.33 cores=0,2,4,6
/proc/10226/task/10238/stat : 10238 (java) S 10224 10224 8289 0 -1 1077944384 4017 0 0 0 33 0 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177780935296 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10239] ppid=10224 vsize=13980732 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/10226/task/10239/stat : 10239 (java) S 10224 10224 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 134750461 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177779882976 140178308785877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
[pid=10226/tid=10240] ppid=10224 vsize=13980732 memory=844 CPUtime=0.12 cores=0,2,4,6
/proc/10226/task/10240/stat : 10240 (java) S 10224 10224 8289 0 -1 1077944384 318 0 0 0 7 5 0 0 20 0 15 0 134750465 14316269568 2687954 18446744073709551615 4194304 4196468 140732898109888 140177778829744 140178308786818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 9834496 140732898111921 140732898112097 140732898112097 140732898115535 0
Current children cumulated CPU time: 344.97 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10753196 KiB
[startup+193.601 s]
/proc/loadavg: 4.33 2.01 1.38 9/219 10263
/proc/meminfo: memFree=9869908/32770624 swapFree=67108860/67108860
[pid=10224] ppid=10221 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10224/stat : 10224 (xcsp3-exec) S 10221 10224 8289 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 134750448 9740288 345 18446744073709551615 4194304 5098028 140731674494080 140731674492184 139739258167932 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 35999744 140731674501497 140731674501701 140731674501701 140731674505195 0
/proc/10224/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: 1
Real time (s): 193.631
CPU time (s): 346.084
CPU user time (s): 333.548
CPU system time (s): 12.5361
CPU usage (%): 178.734
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 10753196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 333.548
system time used= 12.5361
maximum resident set size= 10752172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9084
involuntary context switches= 4374
# summary of solver processes directly reported to runsolver:
# pid: 10224
# total CPU time (s): 346.084
# total CPU user time (s): 333.548
# total CPU system time (s): 12.5361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46654 second user time and 1.92984 second system time
The end