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 (14285 MiB free)
memory of node 1: 16384 MiB (15433 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283768-1503192013/watcher-4283768-1503192013 -o /tmp/evaluation-result-4283768-1503192013/solver-4283768-1503192013 -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 936659058 HOME/instance-4283768-1503192013.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=12720, runsolver pid=12717
[startup+0.100056 s]*
/proc/loadavg: 1.31 1.52 1.58 3/198 12722
/proc/meminfo: memFree=30432316/32770624 swapFree=67108860/67108860
[pid=12720] ppid=12717 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12720/stat : 12720 (xcsp3-exec) S 12717 12720 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121394244 9740288 345 18446744073709551615 4194304 5098028 140731775002352 140731775000456 139869043466876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27738112 140731775009145 140731775009349 140731775009349 140731775012843 0
/proc/12720/statm: 2378 345 289 221 0 87 0
[pid=12722] ppid=12720 vsize=11642956 memory=8044 CPUtime=0 cores=1,3,5,7
/proc/12722/stat : 12722 (java) S 12720 12720 28892 0 -1 1077944320 1787 0 0 0 0 0 0 0 20 0 2 0 121394254 11922386944 2011 18446744073709551615 4194304 4196468 140724707496832 140724707479376 139794596609783 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
/proc/12722/statm: 2910739 2011 1142 1 0 2900709 0
[pid=12722/tid=12723] ppid=12720 vsize=11658652 memory=-8023549066454273880 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12723/stat : 12723 (java) S 12720 12720 28892 0 -1 1077944384 949 0 0 0 0 0 0 0 20 0 3 0 121394254 11938459648 2407 18446744073709551615 4194304 4196468 140724707496832 139794600851152 139794596619989 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12724] ppid=12720 vsize=11658652 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12724/stat : 12724 (java) S 12720 12720 28892 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 3 0 121394255 11938459648 2407 18446744073709551615 4194304 4196468 140724707496832 139794553576672 139794596619989 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12725] ppid=12720 vsize=11660708 memory=140488305964672 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12725/stat : 12725 (java) S 12720 12720 28892 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 121394255 11940564992 2407 18446744073709551615 4194304 4196468 140724707496832 139794552523872 139794596619989 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12726] ppid=12720 vsize=11661736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12726/stat : 12726 (java) S 12720 12720 28892 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 121394255 11941617664 2407 18446744073709551615 4194304 4196468 140724707496832 139794551471584 139794596619989 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12727] ppid=12720 vsize=11661736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12727/stat : 12727 (java) S 12720 12720 28892 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 121394255 11941617664 2407 18446744073709551615 4194304 4196468 140724707496832 139794550418784 139794596619989 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11652468 KiB
Current children cumulated memory: 9424 KiB
[startup+0.210014 s]*
/proc/loadavg: 1.31 1.52 1.58 4/212 12736
/proc/meminfo: memFree=30415084/32770624 swapFree=67108860/67108860
[pid=12720] ppid=12717 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12720/stat : 12720 (xcsp3-exec) S 12717 12720 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121394244 9740288 345 18446744073709551615 4194304 5098028 140731775002352 140731775000456 139869043466876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27738112 140731775009145 140731775009349 140731775009349 140731775012843 0
/proc/12720/statm: 2378 345 289 221 0 87 0
[pid=12722] ppid=12720 vsize=13974352 memory=27448 CPUtime=0.09 cores=1,3,5,7
/proc/12722/stat : 12722 (java) S 12720 12720 28892 0 -1 1077944320 5263 0 0 0 8 1 0 0 20 0 15 0 121394254 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 140724707479376 139794596609783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
/proc/12722/statm: 3493588 6862 2752 1 0 3482964 0
[pid=12722/tid=12723] ppid=12720 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/12722/task/12723/stat : 12723 (java) R 12720 12720 28892 0 -1 4202560 3407 0 0 0 6 1 0 0 20 0 15 0 121394254 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794600837952 139794580690270 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12724] ppid=12720 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12724/stat : 12724 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794553576336 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12725] ppid=12720 vsize=13974352 memory=3473036141137393312 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12725/stat : 12725 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794552523536 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12726] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12726/stat : 12726 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794551471248 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12727] ppid=12720 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12727/stat : 12727 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794550418448 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12728] ppid=12720 vsize=13974352 memory=140488305964672 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12728/stat : 12728 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394256 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794142345328 139794596620930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12729] ppid=12720 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12729/stat : 12729 (java) S 12720 12720 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121394257 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794141291296 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12730] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12730/stat : 12730 (java) S 12720 12720 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121394257 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794140238960 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12731] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12731/stat : 12731 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394259 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794071939152 139794596628379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12732] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12732/stat : 12732 (java) S 12720 12720 28892 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 121394259 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794070887024 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12733] ppid=12720 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12733/stat : 12733 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394259 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794069834224 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12734] ppid=12720 vsize=13974352 memory=140488305964672 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12734/stat : 12734 (java) S 12720 12720 28892 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 15 0 121394259 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794068781936 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12735] ppid=12720 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12735/stat : 12735 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394260 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794067729376 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12736] ppid=12720 vsize=13974352 memory=140488305964672 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12736/stat : 12736 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394263 14309736448 6862 18446744073709551615 4194304 4196468 140724707496832 139794066676144 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28828 KiB
[startup+0.310697 s]*
/proc/loadavg: 1.36 1.52 1.58 5/212 12736
/proc/meminfo: memFree=30403516/32770624 swapFree=67108860/67108860
[pid=12720] ppid=12717 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12720/stat : 12720 (xcsp3-exec) S 12717 12720 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121394244 9740288 345 18446744073709551615 4194304 5098028 140731775002352 140731775000456 139869043466876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27738112 140731775009145 140731775009349 140731775009349 140731775012843 0
/proc/12720/statm: 2378 345 289 221 0 87 0
[pid=12722] ppid=12720 vsize=13974352 memory=37236 CPUtime=0.28 cores=1,3,5,7
/proc/12722/stat : 12722 (java) S 12720 12720 28892 0 -1 1077944320 8873 0 0 0 25 3 0 0 20 0 15 0 121394254 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 140724707479376 139794596609783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
/proc/12722/statm: 3493588 9309 2988 1 0 3482964 0
[pid=12722/tid=12723] ppid=12720 vsize=13974352 memory=-7677926825137650786 CPUtime=0.17 cores=1,3,5,7
/proc/12722/task/12723/stat : 12723 (java) R 12720 12720 28892 0 -1 4202560 6108 0 0 0 15 2 0 0 20 0 15 0 121394254 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794600848080 139794580690270 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12724] ppid=12720 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12724/stat : 12724 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794553576336 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12725] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12725/stat : 12725 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794552523536 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12726] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12726/stat : 12726 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794551471248 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12727] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12727/stat : 12727 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794550418448 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12728] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12728/stat : 12728 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394256 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794142345328 139794596620930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12729] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12729/stat : 12729 (java) S 12720 12720 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121394257 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794141291296 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12730] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12730/stat : 12730 (java) S 12720 12720 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121394257 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794140238960 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12731] ppid=12720 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12731/stat : 12731 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394259 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794071939152 139794596628379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12732] ppid=12720 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12722/task/12732/stat : 12732 (java) S 12720 12720 28892 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 121394259 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794070887024 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12733] ppid=12720 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12722/task/12733/stat : 12733 (java) S 12720 12720 28892 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 121394259 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794069834224 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12734] ppid=12720 vsize=13974352 memory=140488305964672 CPUtime=0.06 cores=1,3,5,7
/proc/12722/task/12734/stat : 12734 (java) S 12720 12720 28892 0 -1 1077944384 738 0 0 0 6 0 0 0 20 0 15 0 121394259 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794068781936 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12735] ppid=12720 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12735/stat : 12735 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394260 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794067729376 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12736] ppid=12720 vsize=13974352 memory=140488305964672 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12736/stat : 12736 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394263 14309736448 9309 18446744073709551615 4194304 4196468 140724707496832 139794066676144 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38616 KiB
[startup+0.7047 s]
/proc/loadavg: 1.36 1.52 1.58 4/212 12736
/proc/meminfo: memFree=30392180/32770624 swapFree=67108860/67108860
[pid=12720] ppid=12717 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12720/stat : 12720 (xcsp3-exec) S 12717 12720 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121394244 9740288 345 18446744073709551615 4194304 5098028 140731775002352 140731775000456 139869043466876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27738112 140731775009145 140731775009349 140731775009349 140731775012843 0
/proc/12720/statm: 2378 345 289 221 0 87 0
[pid=12722] ppid=12720 vsize=13980732 memory=66136 CPUtime=1.22 cores=1,3,5,7
/proc/12722/stat : 12722 (java) S 12720 12720 28892 0 -1 1077944320 13147 0 0 0 117 5 0 0 20 0 15 0 121394254 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 140724707479376 139794596609783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
/proc/12722/statm: 3495183 16534 3172 1 0 3483476 0
[pid=12722/tid=12723] ppid=12720 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/12722/task/12723/stat : 12723 (java) R 12720 12720 28892 0 -1 4202560 8501 0 0 0 52 3 0 0 20 0 15 0 121394254 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794600844880 139794225932908 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12724] ppid=12720 vsize=13980732 memory=110 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12724/stat : 12724 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794553576336 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12725] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12725/stat : 12725 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794552523536 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12726] ppid=12720 vsize=13980732 memory=206 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12726/stat : 12726 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794551471248 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12727] ppid=12720 vsize=13980732 memory=399 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12727/stat : 12727 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794550418448 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12728] ppid=12720 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12728/stat : 12728 (java) S 12720 12720 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121394256 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794142345328 139794596620930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12729] ppid=12720 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12729/stat : 12729 (java) S 12720 12720 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121394257 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794141291296 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12730] ppid=12720 vsize=13980732 memory=140488179070193 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12730/stat : 12730 (java) S 12720 12720 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121394257 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794140238960 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12731] ppid=12720 vsize=13980732 memory=280976358458528 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12731/stat : 12731 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394259 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794071939152 139794596628379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12732] ppid=12720 vsize=13980732 memory=140488179063485 CPUtime=0.21 cores=1,3,5,7
/proc/12722/task/12732/stat : 12732 (java) R 12720 12720 28892 0 -1 4202560 1138 0 0 0 21 0 0 0 20 0 15 0 121394259 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794070873592 139794574205235 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12733] ppid=12720 vsize=13980732 memory=280972264508505 CPUtime=0.18 cores=1,3,5,7
/proc/12722/task/12733/stat : 12733 (java) R 12720 12720 28892 0 -1 4202560 904 0 0 0 18 0 0 0 20 0 15 0 121394259 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794069815240 139794588899232 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12734] ppid=12720 vsize=13980732 memory=6944656592455097440 CPUtime=0.25 cores=1,3,5,7
/proc/12722/task/12734/stat : 12734 (java) S 12720 12720 28892 0 -1 1077944384 1305 0 0 0 25 0 0 0 20 0 15 0 121394259 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794068781936 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12735] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12735/stat : 12735 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394260 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794067729376 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12736] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12736/stat : 12736 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394263 14316269568 16534 18446744073709551615 4194304 4196468 140724707496832 139794066676144 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67516 KiB
[startup+1.50088 s]
/proc/loadavg: 1.36 1.52 1.58 5/212 12736
/proc/meminfo: memFree=30357564/32770624 swapFree=67108860/67108860
[pid=12720] ppid=12717 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12720/stat : 12720 (xcsp3-exec) S 12717 12720 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121394244 9740288 345 18446744073709551615 4194304 5098028 140731775002352 140731775000456 139869043466876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27738112 140731775009145 140731775009349 140731775009349 140731775012843 0
/proc/12720/statm: 2378 345 289 221 0 87 0
[pid=12722] ppid=12720 vsize=13980732 memory=130308 CPUtime=3.77 cores=1,3,5,7
/proc/12722/stat : 12722 (java) S 12720 12720 28892 0 -1 1077944320 25013 0 0 0 370 7 0 0 20 0 15 0 121394254 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 140724707479376 139794596609783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
/proc/12722/statm: 3495183 32577 3178 1 0 3483476 0
[pid=12722/tid=12723] ppid=12720 vsize=13980732 memory=65048 CPUtime=1.34 cores=1,3,5,7
/proc/12722/task/12723/stat : 12723 (java) R 12720 12720 28892 0 -1 4202560 9366 0 0 0 130 4 0 0 20 0 15 0 121394254 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794600846344 139794227102520 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12724] ppid=12720 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12724/stat : 12724 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794553576336 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12725] ppid=12720 vsize=13980732 memory=-7965959130280075168 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12725/stat : 12725 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794552523536 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12726] ppid=12720 vsize=13980732 memory=280976357927168 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12726/stat : 12726 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794551471248 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12727] ppid=12720 vsize=13980732 memory=110 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12727/stat : 12727 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794550418448 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12728] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12728/stat : 12728 (java) S 12720 12720 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121394256 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794142345328 139794596620930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12729] ppid=12720 vsize=13980732 memory=206 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12729/stat : 12729 (java) S 12720 12720 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121394257 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794141291296 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12730] ppid=12720 vsize=13980732 memory=399 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12730/stat : 12730 (java) S 12720 12720 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121394257 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794140238960 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12731] ppid=12720 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12731/stat : 12731 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394259 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794071939152 139794596628379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12732] ppid=12720 vsize=13980732 memory=1 CPUtime=1 cores=1,3,5,7
/proc/12722/task/12732/stat : 12732 (java) R 12720 12720 28892 0 -1 4202560 6799 0 0 0 100 0 0 0 20 0 15 0 121394259 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794070877408 139794575855746 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12733] ppid=12720 vsize=13980732 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/12722/task/12733/stat : 12733 (java) R 12720 12720 28892 0 -1 4202560 4750 0 0 0 98 0 0 0 20 0 15 0 121394259 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794069820104 139794580108774 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12734] ppid=12720 vsize=13980732 memory=8329294824744181856 CPUtime=0.41 cores=1,3,5,7
/proc/12722/task/12734/stat : 12734 (java) S 12720 12720 28892 0 -1 1077944384 2783 0 0 0 41 0 0 0 20 0 15 0 121394259 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794068781936 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12735] ppid=12720 vsize=13980732 memory=6720696446780543624 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12735/stat : 12735 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394260 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794067729376 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12736] ppid=12720 vsize=13980732 memory=140488179181924 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12736/stat : 12736 (java) S 12720 12720 28892 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 121394263 14316269568 32577 18446744073709551615 4194304 4196468 140724707496832 139794066676144 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
Current children cumulated CPU time: 3.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 131688 KiB
[startup+1.89995 s]
# the end of solver process 12720 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.82922 s, system=0.091736 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60103 s]
/proc/loadavg: 1.36 1.52 1.58 5/212 12736
/proc/meminfo: memFree=30357564/32770624 swapFree=67108860/67108860
[pid=12720] ppid=12717 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12720/stat : 12720 (xcsp3-exec) S 12717 12720 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121394244 9740288 345 18446744073709551615 4194304 5098028 140731775002352 140731775000456 139869043466876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27738112 140731775009145 140731775009349 140731775009349 140731775012843 0
/proc/12720/statm: 2378 345 289 221 0 87 0
[pid=12722] ppid=12720 vsize=13980732 memory=139700 CPUtime=4.08 cores=1,3,5,7
/proc/12722/stat : 12722 (java) S 12720 12720 28892 0 -1 1077944320 25334 0 0 0 401 7 0 0 20 0 15 0 121394254 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 140724707479376 139794596609783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
/proc/12722/statm: 3495183 34925 3185 1 0 3483476 0
[pid=12722/tid=12723] ppid=12720 vsize=13980732 memory=280976358108384 CPUtime=1.44 cores=1,3,5,7
/proc/12722/task/12723/stat : 12723 (java) R 12720 12720 28892 0 -1 4202560 9378 0 0 0 140 4 0 0 20 0 15 0 121394254 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794600846816 139794227627153 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12724] ppid=12720 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12724/stat : 12724 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794553576336 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12725] ppid=12720 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12725/stat : 12725 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794552523536 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12726] ppid=12720 vsize=13980732 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12726/stat : 12726 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794551471248 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12727] ppid=12720 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12727/stat : 12727 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794550418448 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12728] ppid=12720 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12728/stat : 12728 (java) S 12720 12720 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121394256 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794142345328 139794596620930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12729] ppid=12720 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12729/stat : 12729 (java) S 12720 12720 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121394257 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794141291296 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12730] ppid=12720 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12730/stat : 12730 (java) S 12720 12720 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121394257 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794140238960 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12731] ppid=12720 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12731/stat : 12731 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394259 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794071939152 139794596628379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12732] ppid=12720 vsize=13980732 memory=1228 CPUtime=1.09 cores=1,3,5,7
/proc/12722/task/12732/stat : 12732 (java) R 12720 12720 28892 0 -1 4202560 6822 0 0 0 109 0 0 0 20 0 15 0 121394259 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794070887024 139794575939341 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12733] ppid=12720 vsize=13980732 memory=12216 CPUtime=1.08 cores=1,3,5,7
/proc/12722/task/12733/stat : 12733 (java) R 12720 12720 28892 0 -1 4202560 4986 0 0 0 108 0 0 0 20 0 15 0 121394259 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794069820104 139794578153506 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12734] ppid=12720 vsize=13980732 memory=1992 CPUtime=0.42 cores=1,3,5,7
/proc/12722/task/12734/stat : 12734 (java) S 12720 12720 28892 0 -1 1077944384 2833 0 0 0 42 0 0 0 20 0 15 0 121394259 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794068781936 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12735] ppid=12720 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12735/stat : 12735 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394260 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794067729376 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12736] ppid=12720 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12736/stat : 12736 (java) S 12720 12720 28892 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 121394263 14316269568 34925 18446744073709551615 4194304 4196468 140724707496832 139794066676144 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 141080 KiB
[startup+1.80081 s]
/proc/loadavg: 1.36 1.52 1.58 5/212 12736
/proc/meminfo: memFree=30357564/32770624 swapFree=67108860/67108860
[pid=12720] ppid=12717 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12720/stat : 12720 (xcsp3-exec) S 12717 12720 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121394244 9740288 345 18446744073709551615 4194304 5098028 140731775002352 140731775000456 139869043466876 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27738112 140731775009145 140731775009349 140731775009349 140731775012843 0
/proc/12720/statm: 2378 345 289 221 0 87 0
[pid=12722] ppid=12720 vsize=13980732 memory=153300 CPUtime=4.68 cores=1,3,5,7
/proc/12722/stat : 12722 (java) S 12720 12720 28892 0 -1 1077944320 25543 0 0 0 460 8 0 0 20 0 15 0 121394254 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 140724707479376 139794596609783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
/proc/12722/statm: 3495183 38325 3194 1 0 3483476 0
[pid=12722/tid=12723] ppid=12720 vsize=13980732 memory=288230600312370564 CPUtime=1.65 cores=1,3,5,7
/proc/12722/task/12723/stat : 12723 (java) R 12720 12720 28892 0 -1 4202560 9397 0 0 0 160 5 0 0 20 0 15 0 121394254 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794600846760 139794226249034 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12724] ppid=12720 vsize=13980732 memory=14691898531010109 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12724/stat : 12724 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794553576336 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12725] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12725/stat : 12725 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794552523536 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12726] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12726/stat : 12726 (java) S 12720 12720 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794551471248 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12727] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12727/stat : 12727 (java) S 12720 12720 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121394255 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794550418448 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12728] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12728/stat : 12728 (java) S 12720 12720 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121394256 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794142345328 139794596620930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12729] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12729/stat : 12729 (java) S 12720 12720 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121394257 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794141291296 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12730] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12730/stat : 12730 (java) S 12720 12720 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121394257 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794140238960 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12731] ppid=12720 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12731/stat : 12731 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394259 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794071939152 139794596628379 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12732] ppid=12720 vsize=13980732 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/12722/task/12732/stat : 12732 (java) R 12720 12720 28892 0 -1 4202560 6856 0 0 0 127 0 0 0 20 0 15 0 121394259 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794070887024 139794578173343 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12733] ppid=12720 vsize=13980732 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/12722/task/12733/stat : 12733 (java) R 12720 12720 28892 0 -1 4202560 5112 0 0 0 128 1 0 0 20 0 15 0 121394259 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794069825552 139794581736138 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12734] ppid=12720 vsize=13980732 memory=7516622575718850665 CPUtime=0.45 cores=1,3,5,7
/proc/12722/task/12734/stat : 12734 (java) R 12720 12720 28892 0 -1 1077944384 2863 0 0 0 44 1 0 0 20 0 15 0 121394259 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794068781936 139794596620930 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12735] ppid=12720 vsize=13980732 memory=7235993132054111336 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12735/stat : 12735 (java) S 12720 12720 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121394260 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794067729376 139794596619989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
[pid=12722/tid=12736] ppid=12720 vsize=13980732 memory=7670301315262144873 CPUtime=0 cores=1,3,5,7
/proc/12722/task/12736/stat : 12736 (java) S 12720 12720 28892 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 121394263 14316269568 38325 18446744073709551615 4194304 4196468 140724707496832 139794066676144 139794596620930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140724707500465 140724707500641 140724707500641 140724707504079 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 154680 KiB
Child status: 0
Real time (s): 1.9
CPU time (s): 4.92096
CPU user time (s): 4.82922
CPU system time (s): 0.091736
CPU usage (%): 258.998
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 154680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.82922
system time used= 0.091736
maximum resident set size= 164256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26623
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= 1730
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 12720
# total CPU time (s): 4.92096
# total CPU user time (s): 4.82922
# total CPU system time (s): 0.091736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034307 second user time and 0.058655 second system time
The end