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 (15408 MiB free)
memory of node 1: 16384 MiB (14395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282491-1503159769/watcher-4282491-1503159769 -o /tmp/evaluation-result-4282491-1503159769/solver-4282491-1503159769 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18171 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1679697643 HOME/instance-4282491-1503159769.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=32464, runsolver pid=32461
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 2.20 2.13 2.08 3/202 32471
/proc/meminfo: memFree=30511300/32770624 swapFree=67108860/67108860
[pid=32464] ppid=32461 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32464/stat : 32464 (xcsp3-exec) S 32461 32464 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14383971 9740288 345 18446744073709551615 4194304 5098028 140722676060320 140722676058424 140318078767740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 35201024 140722676068729 140722676068934 140722676068934 140722676072427 0
/proc/32464/statm: 2378 345 289 221 0 87 0
[pid=32466] ppid=32464 vsize=13441356 memory=17204 CPUtime=0.01 cores=0,2,4,6
/proc/32466/stat : 32466 (java) S 32464 32464 18108 0 -1 1077944320 3550 0 0 0 1 0 0 0 20 0 7 0 14383979 13763948544 4301 18446744073709551615 4194304 4196468 140736251042672 140736251025216 140371830320887 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
/proc/32466/statm: 3360339 4301 2032 1 0 3349836 0
[pid=32466/tid=32467] ppid=32464 vsize=13441356 memory=-8713483618642589536 CPUtime=0.01 cores=0,2,4,6
/proc/32466/task/32467/stat : 32467 (java) R 32464 32464 18108 0 -1 4202560 2305 0 0 0 1 0 0 0 20 0 7 0 14383980 13763948544 4301 18446744073709551615 4194304 4196468 140736251042672 140371834563344 140371830342813 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32468] ppid=32464 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32468/stat : 32468 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 14383980 13763948544 4301 18446744073709551615 4194304 4196468 140736251042672 140371749735312 140371830331093 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32469] ppid=32464 vsize=13441356 memory=140017699952256 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32469/stat : 32469 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 14383980 13763948544 4301 18446744073709551615 4194304 4196468 140736251042672 140371748682512 140371830331093 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32470] ppid=32464 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32470/stat : 32470 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 14383980 13763948544 4301 18446744073709551615 4194304 4196468 140736251042672 140371747630224 140371830331093 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32471] ppid=32464 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32471/stat : 32471 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 14383980 13763948544 4301 18446744073709551615 4194304 4196468 140736251042672 140371746577424 140371830331093 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32472] ppid=32464 vsize=13441356 memory=140017699952256 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32472/stat : 32472 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 14383982 13763948544 4301 18446744073709551615 4194304 4196468 140736251042672 140371308927088 140371830332034 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18584 KiB
[startup+0.219556 s]*
/proc/loadavg: 2.20 2.13 2.08 4/211 32480
/proc/meminfo: memFree=30501772/32770624 swapFree=67108860/67108860
[pid=32464] ppid=32461 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32464/stat : 32464 (xcsp3-exec) S 32461 32464 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14383971 9740288 345 18446744073709551615 4194304 5098028 140722676060320 140722676058424 140318078767740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 35201024 140722676068729 140722676068934 140722676068934 140722676072427 0
/proc/32464/statm: 2378 345 289 221 0 87 0
[pid=32466] ppid=32464 vsize=13974352 memory=28180 CPUtime=0.1 cores=0,2,4,6
/proc/32466/stat : 32466 (java) S 32464 32464 18108 0 -1 1077944320 4932 0 0 0 9 1 0 0 20 0 15 0 14383979 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140736251025216 140371830320887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
/proc/32466/statm: 3493588 7045 2753 1 0 3482964 0
[pid=32466/tid=32467] ppid=32464 vsize=13974352 memory=-6871798056524144002 CPUtime=0.07 cores=0,2,4,6
/proc/32466/task/32467/stat : 32467 (java) R 32464 32464 18108 0 -1 4202560 3076 0 0 0 7 0 0 0 20 0 15 0 14383980 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371834551040 140371830342813 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32468] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32468/stat : 32468 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383980 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371749735312 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32469] ppid=32464 vsize=13974352 memory=140017699952256 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32469/stat : 32469 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383980 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371748682512 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32470] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32470/stat : 32470 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14383980 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371747630224 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32471] ppid=32464 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32471/stat : 32471 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383980 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371746577424 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32472] ppid=32464 vsize=13974352 memory=140017699952256 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32472/stat : 32472 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383982 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371308927088 140371830332034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32473] ppid=32464 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32473/stat : 32473 (java) S 32464 32464 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14383982 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371307873056 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32474] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32474/stat : 32474 (java) S 32464 32464 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14383982 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371306820720 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32475] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32475/stat : 32475 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371305769040 140371830339483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32476] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32476/stat : 32476 (java) S 32464 32464 18108 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 14383985 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371304716912 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32477] ppid=32464 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32477/stat : 32477 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14383985 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371303664112 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32478] ppid=32464 vsize=13974352 memory=140017699952256 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32478/stat : 32478 (java) R 32464 32464 18108 0 -1 4202560 251 0 0 0 0 0 0 0 20 0 15 0 14383985 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371302611824 140371830332822 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32479] ppid=32464 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32479/stat : 32479 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371301559264 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32480] ppid=32464 vsize=13974352 memory=140017699952256 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32480/stat : 32480 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14383991 14309736448 7045 18446744073709551615 4194304 4196468 140736251042672 140371300506032 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29560 KiB
[startup+0.310355 s]*
/proc/loadavg: 2.20 2.13 2.08 3/211 32480
/proc/meminfo: memFree=30492216/32770624 swapFree=67108860/67108860
[pid=32464] ppid=32461 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32464/stat : 32464 (xcsp3-exec) S 32461 32464 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14383971 9740288 345 18446744073709551615 4194304 5098028 140722676060320 140722676058424 140318078767740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 35201024 140722676068729 140722676068934 140722676068934 140722676072427 0
/proc/32464/statm: 2378 345 289 221 0 87 0
[pid=32466] ppid=32464 vsize=13974352 memory=37020 CPUtime=0.26 cores=0,2,4,6
/proc/32466/stat : 32466 (java) S 32464 32464 18108 0 -1 1077944320 8341 0 0 0 24 2 0 0 20 0 15 0 14383979 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140736251025216 140371830320887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
/proc/32466/statm: 3493588 9255 2960 1 0 3482964 0
[pid=32466/tid=32467] ppid=32464 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/32466/task/32467/stat : 32467 (java) R 32464 32464 18108 0 -1 4202560 5679 0 0 0 15 1 0 0 20 0 15 0 14383980 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371834557216 140371830342813 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32468] ppid=32464 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32468/stat : 32468 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383980 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371749735312 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32469] ppid=32464 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32469/stat : 32469 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383980 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371748682512 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32470] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32470/stat : 32470 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14383980 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371747630224 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32471] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32471/stat : 32471 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383980 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371746577424 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32472] ppid=32464 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32472/stat : 32472 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383982 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371308927088 140371830332034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32473] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32473/stat : 32473 (java) S 32464 32464 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14383982 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371307873056 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32474] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32474/stat : 32474 (java) S 32464 32464 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14383982 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371306820720 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32475] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32475/stat : 32475 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371305769040 140371830339483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32476] ppid=32464 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32466/task/32476/stat : 32476 (java) R 32464 32464 18108 0 -1 4202560 517 0 0 0 2 0 0 0 20 0 15 0 14383985 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371304716912 140371815229791 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32477] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32477/stat : 32477 (java) S 32464 32464 18108 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 14383985 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371303664112 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32478] ppid=32464 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/32466/task/32478/stat : 32478 (java) S 32464 32464 18108 0 -1 1077944384 700 0 0 0 5 0 0 0 20 0 15 0 14383985 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371302611824 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32479] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32479/stat : 32479 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371301559264 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32480] ppid=32464 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32480/stat : 32480 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14383991 14309736448 9255 18446744073709551615 4194304 4196468 140736251042672 140371300506032 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38400 KiB
[startup+0.701592 s]
/proc/loadavg: 2.20 2.13 2.08 4/211 32480
/proc/meminfo: memFree=30477540/32770624 swapFree=67108860/67108860
[pid=32464] ppid=32461 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32464/stat : 32464 (xcsp3-exec) S 32461 32464 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14383971 9740288 345 18446744073709551615 4194304 5098028 140722676060320 140722676058424 140318078767740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 35201024 140722676068729 140722676068934 140722676068934 140722676072427 0
/proc/32464/statm: 2378 345 289 221 0 87 0
[pid=32466] ppid=32464 vsize=13978684 memory=94828 CPUtime=1.21 cores=0,2,4,6
/proc/32466/stat : 32466 (java) S 32464 32464 18108 0 -1 1077944320 12807 0 0 0 117 4 0 0 20 0 15 0 14383979 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140736251025216 140371830320887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
/proc/32466/statm: 3494671 23707 3156 1 0 3482964 0
[pid=32466/tid=32467] ppid=32464 vsize=13978684 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/32466/task/32467/stat : 32467 (java) R 32464 32464 18108 0 -1 4202560 7394 0 0 0 51 3 0 0 20 0 15 0 14383980 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371834558464 140371429482953 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32468] ppid=32464 vsize=13978684 memory=8320808402719881013 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32468/stat : 32468 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383980 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371749735312 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32469] ppid=32464 vsize=13978684 memory=6368748898559742033 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32469/stat : 32469 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383980 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371748682512 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32470] ppid=32464 vsize=13978684 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32470/stat : 32470 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14383980 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371747630224 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32471] ppid=32464 vsize=13978684 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32471/stat : 32471 (java) S 32464 32464 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14383980 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371746577424 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32472] ppid=32464 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32472/stat : 32472 (java) S 32464 32464 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14383982 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371308927088 140371830332034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32473] ppid=32464 vsize=13978684 memory=140017544471152 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32473/stat : 32473 (java) S 32464 32464 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14383982 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371307873056 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32474] ppid=32464 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32474/stat : 32474 (java) S 32464 32464 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14383982 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371306820720 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32475] ppid=32464 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32475/stat : 32475 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371305769040 140371830339483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32476] ppid=32464 vsize=13978684 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/32466/task/32476/stat : 32476 (java) R 32464 32464 18108 0 -1 4202560 1683 0 0 0 21 0 0 0 20 0 15 0 14383985 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371304697928 140371811864610 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32477] ppid=32464 vsize=13978684 memory=7809523229951467572 CPUtime=0.17 cores=0,2,4,6
/proc/32466/task/32477/stat : 32477 (java) R 32464 32464 18108 0 -1 4202560 854 0 0 0 17 0 0 0 20 0 15 0 14383985 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371303650656 140371811864976 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32478] ppid=32464 vsize=13978684 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/32466/task/32478/stat : 32478 (java) S 32464 32464 18108 0 -1 1077944384 1567 0 0 0 26 0 0 0 20 0 15 0 14383985 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371302611824 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32479] ppid=32464 vsize=13978684 memory=-2897801490638248215 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32479/stat : 32479 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371301559264 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32480] ppid=32464 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32480/stat : 32480 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14383991 14314172416 23707 18446744073709551615 4194304 4196468 140736251042672 140371300506032 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 96208 KiB
[startup+1.50196 s]
/proc/loadavg: 2.20 2.13 2.08 3/211 32480
/proc/meminfo: memFree=30317572/32770624 swapFree=67108860/67108860
[pid=32464] ppid=32461 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32464/stat : 32464 (xcsp3-exec) S 32461 32464 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14383971 9740288 345 18446744073709551615 4194304 5098028 140722676060320 140722676058424 140318078767740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 35201024 140722676068729 140722676068934 140722676068934 140722676072427 0
/proc/32464/statm: 2378 345 289 221 0 87 0
[pid=32466] ppid=32464 vsize=13980732 memory=216680 CPUtime=2.84 cores=0,2,4,6
/proc/32466/stat : 32466 (java) S 32464 32464 18108 0 -1 1077944320 14091 0 0 0 274 10 0 0 20 0 15 0 14383979 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140736251025216 140371830320887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
/proc/32466/statm: 3495183 54170 3197 1 0 3483476 0
[pid=32466/tid=32467] ppid=32464 vsize=13980732 memory=-7966001734603266090 CPUtime=1.31 cores=0,2,4,6
/proc/32466/task/32467/stat : 32467 (java) R 32464 32464 18108 0 -1 4202560 8007 0 0 0 126 5 0 0 20 0 15 0 14383980 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371834549664 140371822998901 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32468] ppid=32464 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32466/task/32468/stat : 32468 (java) S 32464 32464 18108 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 14383980 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371749735312 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32469] ppid=32464 vsize=13980732 memory=667680 CPUtime=0.01 cores=0,2,4,6
/proc/32466/task/32469/stat : 32469 (java) S 32464 32464 18108 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 15 0 14383980 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371748682512 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32470] ppid=32464 vsize=13980732 memory=7091875749168439893 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32470/stat : 32470 (java) S 32464 32464 18108 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 14383980 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371747630224 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32471] ppid=32464 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32471/stat : 32471 (java) S 32464 32464 18108 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 14383980 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371746577424 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32472] ppid=32464 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32472/stat : 32472 (java) S 32464 32464 18108 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 14383982 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371308927088 140371830332034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32473] ppid=32464 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32473/stat : 32473 (java) S 32464 32464 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14383982 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371307873056 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32474] ppid=32464 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32474/stat : 32474 (java) S 32464 32464 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14383982 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371306820720 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32475] ppid=32464 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32475/stat : 32475 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371305769040 140371830339483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32476] ppid=32464 vsize=13980732 memory=6655300316396806240 CPUtime=0.53 cores=0,2,4,6
/proc/32466/task/32476/stat : 32476 (java) R 32464 32464 18108 0 -1 4202560 1779 0 0 0 53 0 0 0 20 0 15 0 14383985 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371304705920 140371830342234 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32477] ppid=32464 vsize=13980732 memory=6943526294502006880 CPUtime=0.51 cores=0,2,4,6
/proc/32466/task/32477/stat : 32477 (java) R 32464 32464 18108 0 -1 4202560 1043 0 0 0 51 0 0 0 20 0 15 0 14383985 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371303654240 140371830332822 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32478] ppid=32464 vsize=13980732 memory=6943526294502006880 CPUtime=0.37 cores=0,2,4,6
/proc/32466/task/32478/stat : 32478 (java) S 32464 32464 18108 0 -1 1077944384 1787 0 0 0 37 0 0 0 20 0 15 0 14383985 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371302611824 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32479] ppid=32464 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32479/stat : 32479 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371301559264 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32480] ppid=32464 vsize=13980732 memory=7741235191805731435 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32480/stat : 32480 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14383991 14316269568 54170 18446744073709551615 4194304 4196468 140736251042672 140371300506032 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 218060 KiB
[startup+1.67407 s]
# the end of solver process 32464 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.27867 s, system=0.109325 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60092 s]
/proc/loadavg: 2.20 2.13 2.08 3/211 32480
/proc/meminfo: memFree=30317572/32770624 swapFree=67108860/67108860
[pid=32464] ppid=32461 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32464/stat : 32464 (xcsp3-exec) S 32461 32464 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14383971 9740288 345 18446744073709551615 4194304 5098028 140722676060320 140722676058424 140318078767740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 35201024 140722676068729 140722676068934 140722676068934 140722676072427 0
/proc/32464/statm: 2378 345 289 221 0 87 0
[pid=32466] ppid=32464 vsize=13980732 memory=217452 CPUtime=3.18 cores=0,2,4,6
/proc/32466/stat : 32466 (java) S 32464 32464 18108 0 -1 1077944320 14331 0 0 0 308 10 0 0 20 0 15 0 14383979 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140736251025216 140371830320887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
/proc/32466/statm: 3495183 54363 3206 1 0 3483476 0
[pid=32466/tid=32467] ppid=32464 vsize=13980732 memory=1732 CPUtime=1.41 cores=0,2,4,6
/proc/32466/task/32467/stat : 32467 (java) R 32464 32464 18108 0 -1 4202560 8063 0 0 0 136 5 0 0 20 0 15 0 14383980 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371834560240 140371431124521 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32468] ppid=32464 vsize=13980732 memory=2004 CPUtime=0.01 cores=0,2,4,6
/proc/32466/task/32468/stat : 32468 (java) S 32464 32464 18108 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 14383980 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371749735312 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32469] ppid=32464 vsize=13980732 memory=10936 CPUtime=0.01 cores=0,2,4,6
/proc/32466/task/32469/stat : 32469 (java) S 32464 32464 18108 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 15 0 14383980 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371748682512 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32470] ppid=32464 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32470/stat : 32470 (java) S 32464 32464 18108 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 14383980 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371747630224 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32471] ppid=32464 vsize=13980732 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32471/stat : 32471 (java) S 32464 32464 18108 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 14383980 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371746577424 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32472] ppid=32464 vsize=13980732 memory=7954017110192646740 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32472/stat : 32472 (java) S 32464 32464 18108 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 14383982 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371308927088 140371830332034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32473] ppid=32464 vsize=13980732 memory=7523071198212214892 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32473/stat : 32473 (java) S 32464 32464 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14383982 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371307873056 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32474] ppid=32464 vsize=13980732 memory=5450916479880885802 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32474/stat : 32474 (java) S 32464 32464 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14383982 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371306820720 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32475] ppid=32464 vsize=13980732 memory=-6380583115942645718 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32475/stat : 32475 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371305769040 140371830339483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32476] ppid=32464 vsize=13980732 memory=6940152923299668032 CPUtime=0.63 cores=0,2,4,6
/proc/32466/task/32476/stat : 32476 (java) R 32464 32464 18108 0 -1 4202560 1810 0 0 0 63 0 0 0 20 0 15 0 14383985 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371304708368 140371813820035 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32477] ppid=32464 vsize=13980732 memory=5787213827131598673 CPUtime=0.6 cores=0,2,4,6
/proc/32466/task/32477/stat : 32477 (java) R 32464 32464 18108 0 -1 4202560 1079 0 0 0 60 0 0 0 20 0 15 0 14383985 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371303664112 140371811841972 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32478] ppid=32464 vsize=13980732 memory=8028339676473540711 CPUtime=0.42 cores=0,2,4,6
/proc/32466/task/32478/stat : 32478 (java) R 32464 32464 18108 0 -1 1077944384 1904 0 0 0 42 0 0 0 20 0 15 0 14383985 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371302611824 140371830332034 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32479] ppid=32464 vsize=13980732 memory=280035089114848 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32479/stat : 32479 (java) S 32464 32464 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14383985 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371301559264 140371830331093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
[pid=32466/tid=32480] ppid=32464 vsize=13980732 memory=-7966001967256141664 CPUtime=0 cores=0,2,4,6
/proc/32466/task/32480/stat : 32480 (java) S 32464 32464 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14383991 14316269568 54363 18446744073709551615 4194304 4196468 140736251042672 140371300506032 140371830332034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15912960 140736251044274 140736251044450 140736251044450 140736251047887 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 218832 KiB
Child status: 0
Real time (s): 1.67413
CPU time (s): 3.38799
CPU user time (s): 3.27867
CPU system time (s): 0.109325
CPU usage (%): 202.374
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 218832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.27867
system time used= 0.109325
maximum resident set size= 218732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1968
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 32464
# total CPU time (s): 3.38799
# total CPU user time (s): 3.27867
# total CPU system time (s): 0.109325
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032912 second user time and 0.05592 second system time
The end