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 (14185 MiB free)
  memory of node 1: 16384 MiB (15429 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283993-1503192286/watcher-4283993-1503192286 -o /tmp/evaluation-result-4283993-1503192286/solver-4283993-1503192286 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 933688873 HOME/instance-4283993-1503192286.xml 

running on 4 cores: 1,3,5,7

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=14436, runsolver pid=14433


[startup+0.101045 s]*
/proc/loadavg: 2.46 1.79 1.67 3/203 14439
/proc/meminfo: memFree=30324580/32770624 swapFree=67108860/67108860
[pid=14436] ppid=14433 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14436/stat : 14436 (xcsp3-exec) S 14433 14436 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121421591 9740288 345 18446744073709551615 4194304 5098028 140734797632592 140734797630696 140515828310652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28332032 140734797635961 140734797636165 140734797636165 140734797639659 0
/proc/14436/statm: 2378 345 289 221 0 87 0
[pid=14438] ppid=14436 vsize=13356504 memory=10920 CPUtime=0 cores=1,3,5,7
/proc/14438/stat : 14438 (java) S 14436 14436 28892 0 -1 1077944320 2475 0 0 0 0 0 0 0 20 0 6 0 121421601 13677060096 2730 18446744073709551615 4194304 4196468 140722710226576 140722710209120 140091052605175 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
/proc/14438/statm: 3339126 2730 1261 1 0 3329096 0
[pid=14438/tid=14439] ppid=14436 vsize=13356504 memory=4206751525541407381 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14439/stat : 14439 (java) R 14436 14436 28892 0 -1 4202560 1299 0 0 0 0 0 0 0 20 0 6 0 121421601 13677060096 3307 18446744073709551615 4194304 4196468 140722710226576 140091056846952 140091038939912 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14440] ppid=14436 vsize=13356508 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14440/stat : 14440 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121421602 13677064192 3307 18446744073709551615 4194304 4196468 140722710226576 140090972019088 140091052615381 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14441] ppid=14436 vsize=13356504 memory=140418795177600 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14441/stat : 14441 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121421602 13677060096 3312 18446744073709551615 4194304 4196468 140722710226576 140090970966288 140091052615381 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14442] ppid=14436 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14442/stat : 14442 (java) S 14436 14436 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121421602 13677060096 3312 18446744073709551615 4194304 4196468 140722710226576 140090969914000 140091052615381 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14443] ppid=14436 vsize=13356504 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14443/stat : 14443 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121421602 13677060096 3312 18446744073709551615 4194304 4196468 140722710226576 140090968861200 140091052615381 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12300 KiB

[startup+0.21029 s]*
/proc/loadavg: 2.46 1.79 1.67 3/216 14452
/proc/meminfo: memFree=30307792/32770624 swapFree=67108860/67108860
[pid=14436] ppid=14433 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14436/stat : 14436 (xcsp3-exec) S 14433 14436 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121421591 9740288 345 18446744073709551615 4194304 5098028 140734797632592 140734797630696 140515828310652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28332032 140734797635961 140734797636165 140734797636165 140734797639659 0
/proc/14436/statm: 2378 345 289 221 0 87 0
[pid=14438] ppid=14436 vsize=13974352 memory=28156 CPUtime=0.09 cores=1,3,5,7
/proc/14438/stat : 14438 (java) S 14436 14436 28892 0 -1 1077944320 4931 0 0 0 8 1 0 0 20 0 15 0 121421601 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140722710209120 140091052605175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
/proc/14438/statm: 3493588 7039 2756 1 0 3482964 0
[pid=14438/tid=14439] ppid=14436 vsize=13974352 memory=8390339637985935414 CPUtime=0.07 cores=1,3,5,7
/proc/14438/task/14439/stat : 14439 (java) R 14436 14436 28892 0 -1 4202560 3078 0 0 0 6 1 0 0 20 0 15 0 121421601 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140091056834416 140091052617110 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14440] ppid=14436 vsize=13974352 memory=288230604708001210 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14440/stat : 14440 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421602 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090972019088 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14441] ppid=14436 vsize=13974352 memory=3473036071626606240 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14441/stat : 14441 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421602 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090970966288 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14442] ppid=14436 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14442/stat : 14442 (java) S 14436 14436 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121421602 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090969914000 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14443] ppid=14436 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14443/stat : 14443 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421602 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090968861200 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14444] ppid=14436 vsize=13974352 memory=140418795177600 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14444/stat : 14444 (java) S 14436 14436 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121421603 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090530056816 140091052616322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14445] ppid=14436 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14445/stat : 14445 (java) S 14436 14436 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121421604 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090529002784 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14446] ppid=14436 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14446/stat : 14446 (java) S 14436 14436 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121421604 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090527950448 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14447] ppid=14436 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14447/stat : 14447 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090526898768 140091052623771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14448] ppid=14436 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14448/stat : 14448 (java) S 14436 14436 28892 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 121421606 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090525845616 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14449] ppid=14436 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14449/stat : 14449 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090524792816 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14450] ppid=14436 vsize=13974352 memory=140418795177600 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14450/stat : 14450 (java) R 14436 14436 28892 0 -1 4202560 237 0 0 0 1 0 0 0 20 0 15 0 121421606 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090523740528 140091032932000 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14451] ppid=14436 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14451/stat : 14451 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090522687968 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14452] ppid=14436 vsize=13974352 memory=140418795177600 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14452/stat : 14452 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421610 14309736448 7039 18446744073709551615 4194304 4196468 140722710226576 140090521635760 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29536 KiB

[startup+0.310712 s]*
/proc/loadavg: 2.46 1.79 1.67 4/216 14452
/proc/meminfo: memFree=30297436/32770624 swapFree=67108860/67108860
[pid=14436] ppid=14433 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14436/stat : 14436 (xcsp3-exec) S 14433 14436 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121421591 9740288 345 18446744073709551615 4194304 5098028 140734797632592 140734797630696 140515828310652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28332032 140734797635961 140734797636165 140734797636165 140734797639659 0
/proc/14436/statm: 2378 345 289 221 0 87 0
[pid=14438] ppid=14436 vsize=13974352 memory=37836 CPUtime=0.28 cores=1,3,5,7
/proc/14438/stat : 14438 (java) S 14436 14436 28892 0 -1 1077944320 8523 0 0 0 26 2 0 0 20 0 15 0 121421601 14309736448 9459 18446744073709551615 4194304 4196468 140722710226576 140722710209120 140091052605175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
/proc/14438/statm: 3493588 9459 3000 1 0 3482964 0
[pid=14438/tid=14439] ppid=14436 vsize=13974352 memory=8390339637985935414 CPUtime=0.17 cores=1,3,5,7
/proc/14438/task/14439/stat : 14439 (java) R 14436 14436 28892 0 -1 4202560 5708 0 0 0 15 2 0 0 20 0 15 0 121421601 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140091056831488 140091036685662 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14440] ppid=14436 vsize=13974352 memory=301741403590112698 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14440/stat : 14440 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421602 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090972019088 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14441] ppid=14436 vsize=13974352 memory=3473036071626606240 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14441/stat : 14441 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421602 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090970966288 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14442] ppid=14436 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14442/stat : 14442 (java) S 14436 14436 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121421602 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090969914000 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14443] ppid=14436 vsize=13974352 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14443/stat : 14443 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421602 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090968861200 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14444] ppid=14436 vsize=13974352 memory=7813734513994240178 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14444/stat : 14444 (java) S 14436 14436 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121421603 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090530056816 140091052616322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14445] ppid=14436 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14445/stat : 14445 (java) S 14436 14436 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121421604 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090529002784 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14446] ppid=14436 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14446/stat : 14446 (java) S 14436 14436 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121421604 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090527950448 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14447] ppid=14436 vsize=13974352 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14447/stat : 14447 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090526898768 140091052623771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14448] ppid=14436 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14448/stat : 14448 (java) R 14436 14436 28892 0 -1 1077944384 418 0 0 0 1 0 0 0 20 0 15 0 121421606 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090525845616 140091052616322 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14449] ppid=14436 vsize=13974352 memory=3472328296227680303 CPUtime=0.02 cores=1,3,5,7
/proc/14438/task/14449/stat : 14449 (java) R 14436 14436 28892 0 -1 4202560 403 0 0 0 2 0 0 0 20 0 15 0 121421606 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090524773832 140091036105348 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14450] ppid=14436 vsize=13974352 memory=140418795177600 CPUtime=0.06 cores=1,3,5,7
/proc/14438/task/14450/stat : 14450 (java) S 14436 14436 28892 0 -1 1077944384 697 0 0 0 6 0 0 0 20 0 15 0 121421606 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090523740528 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14451] ppid=14436 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14451/stat : 14451 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090522687968 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14452] ppid=14436 vsize=13974352 memory=140418795177600 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14452/stat : 14452 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421610 14309736448 9971 18446744073709551615 4194304 4196468 140722710226576 140090521635760 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 39216 KiB

[startup+0.70178 s]
/proc/loadavg: 2.46 1.79 1.67 5/216 14452
/proc/meminfo: memFree=30277180/32770624 swapFree=67108860/67108860
[pid=14436] ppid=14433 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14436/stat : 14436 (xcsp3-exec) S 14433 14436 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121421591 9740288 345 18446744073709551615 4194304 5098028 140734797632592 140734797630696 140515828310652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28332032 140734797635961 140734797636165 140734797636165 140734797639659 0
/proc/14436/statm: 2378 345 289 221 0 87 0
[pid=14438] ppid=14436 vsize=13978684 memory=76028 CPUtime=1.32 cores=1,3,5,7
/proc/14438/stat : 14438 (java) S 14436 14436 28892 0 -1 1077944320 12721 0 0 0 127 5 0 0 20 0 15 0 121421601 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140722710209120 140091052605175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
/proc/14438/statm: 3494671 19007 3149 1 0 3482964 0
[pid=14438/tid=14439] ppid=14436 vsize=13978684 memory=2464304596737 CPUtime=0.55 cores=1,3,5,7
/proc/14438/task/14439/stat : 14439 (java) R 14436 14436 28892 0 -1 4202560 7405 0 0 0 51 4 0 0 20 0 15 0 121421601 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140091056839888 140090646289066 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14440] ppid=14436 vsize=13978684 memory=2481484465921 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14440/stat : 14440 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421602 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090972019088 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14441] ppid=14436 vsize=13978684 memory=2485779432961 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14441/stat : 14441 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421602 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090970966288 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14442] ppid=14436 vsize=13978684 memory=2494369367553 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14442/stat : 14442 (java) S 14436 14436 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121421602 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090969914000 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14443] ppid=14436 vsize=13978684 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14443/stat : 14443 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421602 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090968861200 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14444] ppid=14436 vsize=13978684 memory=-7677926825137650786 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14444/stat : 14444 (java) S 14436 14436 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121421603 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090530056816 140091052616322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14445] ppid=14436 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14445/stat : 14445 (java) S 14436 14436 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121421604 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090529002784 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14446] ppid=14436 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14446/stat : 14446 (java) S 14436 14436 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121421604 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090527950448 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14447] ppid=14436 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14447/stat : 14447 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090526898768 140091052623771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14448] ppid=14436 vsize=13978684 memory=6656426216303648864 CPUtime=0.22 cores=1,3,5,7
/proc/14438/task/14448/stat : 14448 (java) R 14436 14436 28892 0 -1 4202560 1350 0 0 0 22 0 0 0 20 0 15 0 121421606 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090525845616 140091037028397 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14449] ppid=14436 vsize=13978684 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/14438/task/14449/stat : 14449 (java) R 14436 14436 28892 0 -1 1077944384 1160 0 0 0 25 0 0 0 20 0 15 0 121421606 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090524792816 140091052616322 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14450] ppid=14436 vsize=13978684 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/14438/task/14450/stat : 14450 (java) R 14436 14436 28892 0 -1 4202560 1499 0 0 0 28 0 0 0 20 0 15 0 121421606 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090523738488 140091031152320 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14451] ppid=14436 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14451/stat : 14451 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090522687968 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14452] ppid=14436 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14452/stat : 14452 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421610 14314172416 19007 18446744073709551615 4194304 4196468 140722710226576 140090521635760 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 77408 KiB

[startup+1.50083 s]
/proc/loadavg: 2.46 1.79 1.67 6/216 14452
/proc/meminfo: memFree=30196512/32770624 swapFree=67108860/67108860
[pid=14436] ppid=14433 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14436/stat : 14436 (xcsp3-exec) S 14433 14436 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121421591 9740288 345 18446744073709551615 4194304 5098028 140734797632592 140734797630696 140515828310652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28332032 140734797635961 140734797636165 140734797636165 140734797639659 0
/proc/14436/statm: 2378 345 289 221 0 87 0
[pid=14438] ppid=14436 vsize=13980732 memory=210136 CPUtime=3.95 cores=1,3,5,7
/proc/14438/stat : 14438 (java) S 14436 14436 28892 0 -1 1077944320 16105 0 0 0 386 9 0 0 20 0 15 0 121421601 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140722710209120 140091052605175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
/proc/14438/statm: 3495183 52534 3204 1 0 3483476 0
[pid=14438/tid=14439] ppid=14436 vsize=13980732 memory=6944656591646896172 CPUtime=1.33 cores=1,3,5,7
/proc/14438/task/14439/stat : 14439 (java) R 14436 14436 28892 0 -1 4202560 8044 0 0 0 127 6 0 0 20 0 15 0 121421601 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140091056834112 140091036685662 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14440] ppid=14436 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14440/stat : 14440 (java) S 14436 14436 28892 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090972019088 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14441] ppid=14436 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14441/stat : 14441 (java) S 14436 14436 28892 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090970966288 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14442] ppid=14436 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14442/stat : 14442 (java) S 14436 14436 28892 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090969914000 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14443] ppid=14436 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14443/stat : 14443 (java) S 14436 14436 28892 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090968861200 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14444] ppid=14436 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14444/stat : 14444 (java) S 14436 14436 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121421603 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090530056816 140091052616322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14445] ppid=14436 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14445/stat : 14445 (java) S 14436 14436 28892 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 121421604 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090529002784 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14446] ppid=14436 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14446/stat : 14446 (java) S 14436 14436 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121421604 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090527950448 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14447] ppid=14436 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14447/stat : 14447 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090526898768 140091052623771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14448] ppid=14436 vsize=13980732 memory=2420 CPUtime=0.97 cores=1,3,5,7
/proc/14438/task/14448/stat : 14448 (java) R 14436 14436 28892 0 -1 4202560 1653 0 0 0 97 0 0 0 20 0 15 0 121421606 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090525845616 140091036101959 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14449] ppid=14436 vsize=13980732 memory=1732 CPUtime=1.01 cores=1,3,5,7
/proc/14438/task/14449/stat : 14449 (java) R 14436 14436 28892 0 -1 4202560 2170 0 0 0 101 0 0 0 20 0 15 0 121421606 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090524781616 140091037486979 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14450] ppid=14436 vsize=13980732 memory=5788 CPUtime=0.52 cores=1,3,5,7
/proc/14438/task/14450/stat : 14450 (java) S 14436 14436 28892 0 -1 1077944384 2759 0 0 0 52 0 0 0 20 0 15 0 121421606 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090523740528 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14451] ppid=14436 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14451/stat : 14451 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090522687968 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14452] ppid=14436 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14452/stat : 14452 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421610 14316269568 52534 18446744073709551615 4194304 4196468 140722710226576 140090521635760 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211516 KiB

[startup+1.8188 s]
# the end of solver process 14436 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.83055 s, system=0.107391 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60161 s]
/proc/loadavg: 2.46 1.79 1.67 6/216 14452
/proc/meminfo: memFree=30196512/32770624 swapFree=67108860/67108860
[pid=14436] ppid=14433 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14436/stat : 14436 (xcsp3-exec) S 14433 14436 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121421591 9740288 345 18446744073709551615 4194304 5098028 140734797632592 140734797630696 140515828310652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28332032 140734797635961 140734797636165 140734797636165 140734797639659 0
/proc/14436/statm: 2378 345 289 221 0 87 0
[pid=14438] ppid=14436 vsize=13980732 memory=211664 CPUtime=4.3 cores=1,3,5,7
/proc/14438/stat : 14438 (java) S 14436 14436 28892 0 -1 1077944320 16488 0 0 0 421 9 0 0 20 0 15 0 121421601 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140722710209120 140091052605175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
/proc/14438/statm: 3495183 52916 3213 1 0 3483476 0
[pid=14438/tid=14439] ppid=14436 vsize=13980732 memory=-8774313645642428999 CPUtime=1.43 cores=1,3,5,7
/proc/14438/task/14439/stat : 14439 (java) R 14436 14436 28892 0 -1 4202560 8136 0 0 0 137 6 0 0 20 0 15 0 121421601 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140091056842832 140091036685662 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14440] ppid=14436 vsize=13980732 memory=7378978030701662821 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14440/stat : 14440 (java) S 14436 14436 28892 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090972019088 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14441] ppid=14436 vsize=13980732 memory=7595436676930033250 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14441/stat : 14441 (java) S 14436 14436 28892 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090970966288 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14442] ppid=14436 vsize=13980732 memory=6368745600025973328 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14442/stat : 14442 (java) S 14436 14436 28892 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090969914000 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14443] ppid=14436 vsize=13980732 memory=7955450843273777769 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14443/stat : 14443 (java) S 14436 14436 28892 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090968861200 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14444] ppid=14436 vsize=13980732 memory=4639677825268673386 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14444/stat : 14444 (java) S 14436 14436 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121421603 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090530056816 140091052616322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14445] ppid=14436 vsize=13980732 memory=7086806888927748434 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14445/stat : 14445 (java) S 14436 14436 28892 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 121421604 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090529002784 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14446] ppid=14436 vsize=13980732 memory=7086806888877416786 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14446/stat : 14446 (java) S 14436 14436 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121421604 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090527950448 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14447] ppid=14436 vsize=13980732 memory=280837308549600 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14447/stat : 14447 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090526898768 140091052623771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14448] ppid=14436 vsize=13980732 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/14438/task/14448/stat : 14448 (java) R 14436 14436 28892 0 -1 4202560 1812 0 0 0 107 0 0 0 20 0 15 0 121421606 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090525845616 140091034150967 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14449] ppid=14436 vsize=13980732 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/14438/task/14449/stat : 14449 (java) R 14436 14436 28892 0 -1 4202560 2200 0 0 0 111 0 0 0 20 0 15 0 121421606 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090524782080 140091038669120 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14450] ppid=14436 vsize=13980732 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/14438/task/14450/stat : 14450 (java) S 14436 14436 28892 0 -1 1077944384 2862 0 0 0 57 0 0 0 20 0 15 0 121421606 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090523740528 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14451] ppid=14436 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14451/stat : 14451 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090522687968 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14452] ppid=14436 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14452/stat : 14452 (java) R 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421610 14316269568 52916 18446744073709551615 4194304 4196468 140722710226576 140090521635760 140091052616322 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
Current children cumulated CPU time: 4.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213044 KiB

[startup+1.80076 s]
/proc/loadavg: 2.46 1.79 1.67 6/216 14452
/proc/meminfo: memFree=30196512/32770624 swapFree=67108860/67108860
[pid=14436] ppid=14433 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14436/stat : 14436 (xcsp3-exec) S 14433 14436 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121421591 9740288 345 18446744073709551615 4194304 5098028 140734797632592 140734797630696 140515828310652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 28332032 140734797635961 140734797636165 140734797636165 140734797639659 0
/proc/14436/statm: 2378 345 289 221 0 87 0
[pid=14438] ppid=14436 vsize=13980732 memory=213500 CPUtime=4.91 cores=1,3,5,7
/proc/14438/stat : 14438 (java) S 14436 14436 28892 0 -1 1077944320 16918 0 0 0 481 10 0 0 20 0 15 0 121421601 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140722710209120 140091052605175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
/proc/14438/statm: 3495183 53375 3215 1 0 3483476 0
[pid=14438/tid=14439] ppid=14436 vsize=13980732 memory=6944656592455348278 CPUtime=1.62 cores=1,3,5,7
/proc/14438/task/14439/stat : 14439 (java) R 14436 14436 28892 0 -1 4202560 8238 0 0 0 156 6 0 0 20 0 15 0 121421601 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140091056842224 140090643923136 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14440] ppid=14436 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14440/stat : 14440 (java) S 14436 14436 28892 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090972019088 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14441] ppid=14436 vsize=13980732 memory=4638778398332764256 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14441/stat : 14441 (java) S 14436 14436 28892 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090970966288 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14442] ppid=14436 vsize=13980732 memory=280837308574112 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14442/stat : 14442 (java) S 14436 14436 28892 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090969914000 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14443] ppid=14436 vsize=13980732 memory=5450874560983370026 CPUtime=0.01 cores=1,3,5,7
/proc/14438/task/14443/stat : 14443 (java) S 14436 14436 28892 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 15 0 121421602 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090968861200 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14444] ppid=14436 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14444/stat : 14444 (java) S 14436 14436 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121421603 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090530056816 140091052616322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14445] ppid=14436 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14445/stat : 14445 (java) S 14436 14436 28892 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 121421604 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090529002784 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14446] ppid=14436 vsize=13980732 memory=280837308370800 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14446/stat : 14446 (java) S 14436 14436 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121421604 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090527950448 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14447] ppid=14436 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14447/stat : 14447 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090526898768 140091052623771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14448] ppid=14436 vsize=13980732 memory=6944656592387989600 CPUtime=1.25 cores=1,3,5,7
/proc/14438/task/14448/stat : 14448 (java) R 14436 14436 28892 0 -1 4202560 1946 0 0 0 125 0 0 0 20 0 15 0 121421606 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090525831936 140091034127399 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14449] ppid=14436 vsize=13980732 memory=6944656592455097440 CPUtime=1.26 cores=1,3,5,7
/proc/14438/task/14449/stat : 14449 (java) R 14436 14436 28892 0 -1 4202560 2273 0 0 0 126 0 0 0 20 0 15 0 121421606 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090524792816 140091038621152 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14450] ppid=14436 vsize=13980732 memory=6943526294502006880 CPUtime=0.66 cores=1,3,5,7
/proc/14438/task/14450/stat : 14450 (java) R 14436 14436 28892 0 -1 1077944384 2982 0 0 0 66 0 0 0 20 0 15 0 121421606 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090523740528 140091052616322 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14451] ppid=14436 vsize=13980732 memory=6944916077267085156 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14451/stat : 14451 (java) S 14436 14436 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121421606 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090522687968 140091052615381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
[pid=14438/tid=14452] ppid=14436 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/14438/task/14452/stat : 14452 (java) S 14436 14436 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121421610 14316269568 53375 18446744073709551615 4194304 4196468 140722710226576 140090521635760 140091052616322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26460160 140722710229425 140722710229601 140722710229601 140722710233039 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214880 KiB

Child status: 0
Real time (s): 1.81887
CPU time (s): 4.93794
CPU user time (s): 4.83055
CPU system time (s): 0.107391
CPU usage (%): 271.484
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 214880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.83055
system time used= 0.107391
maximum resident set size= 214592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17472
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= 2043
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 14436
#   total CPU time (s): 4.93794
#   total CPU user time (s): 4.83055
#   total CPU system time (s): 0.107391

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040486 second user time and 0.052632 second system time

The end