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 (14923 MiB free)
memory of node 1: 16384 MiB (15517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281917-1503114209/watcher-4281917-1503114209 -o /tmp/evaluation-result-4281917-1503114209/solver-4281917-1503114209 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 52482403 HOME/instance-4281917-1503114209.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=16844, runsolver pid=16841
[startup+0.100091 s]*
/proc/loadavg: 1.56 1.65 1.67 3/198 16847
/proc/meminfo: memFree=31167508/32770624 swapFree=67108860/67108860
[pid=16844] ppid=16841 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16844/stat : 16844 (xcsp3-exec) S 16841 16844 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 99761563 9740288 345 18446744073709551615 4194304 5098028 140730815592464 140730815590568 140079045370492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 9703424 140730815598970 140730815599173 140730815599173 140730815602667 0
/proc/16844/statm: 2378 345 289 221 0 87 0
[pid=16846] ppid=16844 vsize=13358712 memory=12784 CPUtime=0 cores=1,3,5,7
/proc/16846/stat : 16846 (java) S 16844 16844 13977 0 -1 1077944320 2949 0 0 0 0 0 0 0 20 0 6 0 99761573 13679321088 3196 18446744073709551615 4194304 4196468 140733029230416 140733029212960 140705963413239 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
/proc/16846/statm: 3339678 3196 1635 1 0 3329175 0
[pid=16846/tid=16847] ppid=16844 vsize=13358712 memory=4206989191851631162 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16847/stat : 16847 (java) R 16844 16844 13977 0 -1 4202560 1800 0 0 0 0 0 0 0 20 0 6 0 99761573 13679321088 3262 18446744073709551615 4194304 4196468 140733029230416 140705967649360 140705924394870 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16848] ppid=16844 vsize=13358712 memory=3461491207368226441 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16848/stat : 16848 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 99761574 13679321088 3262 18446744073709551615 4194304 4196468 140733029230416 140705882827152 140705963423445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16849] ppid=16844 vsize=13358712 memory=140602738542208 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16849/stat : 16849 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 99761574 13679321088 3262 18446744073709551615 4194304 4196468 140733029230416 140705881774352 140705963423445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16850] ppid=16844 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16850/stat : 16850 (java) S 16844 16844 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 99761574 13679321088 3262 18446744073709551615 4194304 4196468 140733029230416 140705561307792 140705963423445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16851] ppid=16844 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16851/stat : 16851 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 99761574 13679321088 3262 18446744073709551615 4194304 4196468 140733029230416 140705560254992 140705963423445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 14164 KiB
[startup+0.209805 s]*
/proc/loadavg: 1.56 1.65 1.67 3/211 16860
/proc/meminfo: memFree=31157864/32770624 swapFree=67108860/67108860
[pid=16844] ppid=16841 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16844/stat : 16844 (xcsp3-exec) S 16841 16844 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 99761563 9740288 345 18446744073709551615 4194304 5098028 140730815592464 140730815590568 140079045370492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 9703424 140730815598970 140730815599173 140730815599173 140730815602667 0
/proc/16844/statm: 2378 345 289 221 0 87 0
[pid=16846] ppid=16844 vsize=13974352 memory=26424 CPUtime=0.09 cores=1,3,5,7
/proc/16846/stat : 16846 (java) S 16844 16844 13977 0 -1 1077944320 5059 0 0 0 8 1 0 0 20 0 15 0 99761573 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140733029212960 140705963413239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
/proc/16846/statm: 3493588 6606 2726 1 0 3482964 0
[pid=16846/tid=16847] ppid=16844 vsize=13974352 memory=-6440823037652734307 CPUtime=0.07 cores=1,3,5,7
/proc/16846/task/16847/stat : 16847 (java) R 16844 16844 13977 0 -1 4202560 3204 0 0 0 6 1 0 0 20 0 15 0 99761573 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705967638928 140705963435165 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16848] ppid=16844 vsize=13974352 memory=3461491207368226441 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16848/stat : 16848 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705882827152 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16849] ppid=16844 vsize=13974352 memory=140602738542208 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16849/stat : 16849 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705881774352 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16850] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16850/stat : 16850 (java) S 16844 16844 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99761574 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705561307792 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16851] ppid=16844 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16851/stat : 16851 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705560254992 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16852] ppid=16844 vsize=13974352 memory=140602738542208 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16852/stat : 16852 (java) S 16844 16844 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99761575 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705441856112 140705963424386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16853] ppid=16844 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16853/stat : 16853 (java) S 16844 16844 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99761575 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705440802080 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16854] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16854/stat : 16854 (java) S 16844 16844 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99761576 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705439749744 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16855] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16855/stat : 16855 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705438698064 140705963431835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16856] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16856/stat : 16856 (java) S 16844 16844 13977 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 99761578 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705437644912 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16857] ppid=16844 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16857/stat : 16857 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705436592112 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16858] ppid=16844 vsize=13974352 memory=140602738542208 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16858/stat : 16858 (java) S 16844 16844 13977 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 99761578 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705435539824 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16859] ppid=16844 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16859/stat : 16859 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705434487264 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16860] ppid=16844 vsize=13974352 memory=140602738542208 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16860/stat : 16860 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761583 14309736448 6606 18446744073709551615 4194304 4196468 140733029230416 140705433435056 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27804 KiB
[startup+0.310248 s]*
/proc/loadavg: 1.56 1.65 1.67 4/211 16860
/proc/meminfo: memFree=31143984/32770624 swapFree=67108860/67108860
[pid=16844] ppid=16841 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16844/stat : 16844 (xcsp3-exec) S 16841 16844 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 99761563 9740288 345 18446744073709551615 4194304 5098028 140730815592464 140730815590568 140079045370492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 9703424 140730815598970 140730815599173 140730815599173 140730815602667 0
/proc/16844/statm: 2378 345 289 221 0 87 0
[pid=16846] ppid=16844 vsize=13974352 memory=37360 CPUtime=0.27 cores=1,3,5,7
/proc/16846/stat : 16846 (java) S 16844 16844 13977 0 -1 1077944320 8874 0 0 0 25 2 0 0 20 0 15 0 99761573 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140733029212960 140705963413239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
/proc/16846/statm: 3493588 9340 2983 1 0 3482964 0
[pid=16846/tid=16847] ppid=16844 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/16846/task/16847/stat : 16847 (java) R 16844 16844 13977 0 -1 4202560 6067 0 0 0 15 2 0 0 20 0 15 0 99761573 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705967641264 140705963435165 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16848] ppid=16844 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16848/stat : 16848 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705882827152 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16849] ppid=16844 vsize=13974352 memory=140602738549201 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16849/stat : 16849 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705881774352 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16850] ppid=16844 vsize=13974352 memory=7660992867773213029 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16850/stat : 16850 (java) S 16844 16844 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99761574 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705561307792 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16851] ppid=16844 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16851/stat : 16851 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705560254992 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16852] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16852/stat : 16852 (java) S 16844 16844 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99761575 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705441856112 140705963424386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16853] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16853/stat : 16853 (java) S 16844 16844 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99761575 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705440802080 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16854] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16854/stat : 16854 (java) S 16844 16844 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99761576 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705439749744 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16855] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16855/stat : 16855 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705438698064 140705963431835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16856] ppid=16844 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16846/task/16856/stat : 16856 (java) S 16844 16844 13977 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 15 0 99761578 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705437644912 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16857] ppid=16844 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16846/task/16857/stat : 16857 (java) S 16844 16844 13977 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 15 0 99761578 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705436592112 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16858] ppid=16844 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/16846/task/16858/stat : 16858 (java) R 16844 16844 13977 0 -1 4202560 735 0 0 0 6 0 0 0 20 0 15 0 99761578 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705435539824 140705955650366 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16859] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16859/stat : 16859 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705434487264 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16860] ppid=16844 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16860/stat : 16860 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761583 14309736448 9340 18446744073709551615 4194304 4196468 140733029230416 140705433435056 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38740 KiB
[startup+0.705536 s]
/proc/loadavg: 1.56 1.65 1.67 4/211 16860
/proc/meminfo: memFree=31131200/32770624 swapFree=67108860/67108860
[pid=16844] ppid=16841 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16844/stat : 16844 (xcsp3-exec) S 16841 16844 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 99761563 9740288 345 18446744073709551615 4194304 5098028 140730815592464 140730815590568 140079045370492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 9703424 140730815598970 140730815599173 140730815599173 140730815602667 0
/proc/16844/statm: 2378 345 289 221 0 87 0
[pid=16846] ppid=16844 vsize=13980732 memory=66092 CPUtime=1.21 cores=1,3,5,7
/proc/16846/stat : 16846 (java) S 16844 16844 13977 0 -1 1077944320 13167 0 0 0 116 5 0 0 20 0 15 0 99761573 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140733029212960 140705963413239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
/proc/16846/statm: 3495183 16523 3177 1 0 3483476 0
[pid=16846/tid=16847] ppid=16844 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/16846/task/16847/stat : 16847 (java) R 16844 16844 13977 0 -1 4202560 8540 0 0 0 52 3 0 0 20 0 15 0 99761573 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705967649088 140705564669703 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16848] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16848/stat : 16848 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705882827152 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16849] ppid=16844 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16849/stat : 16849 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705881774352 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16850] ppid=16844 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16850/stat : 16850 (java) S 16844 16844 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705561307792 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16851] ppid=16844 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16851/stat : 16851 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705560254992 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16852] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16852/stat : 16852 (java) S 16844 16844 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99761575 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705441856112 140705963424386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16853] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16853/stat : 16853 (java) S 16844 16844 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99761575 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705440802080 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16854] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16854/stat : 16854 (java) S 16844 16844 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99761576 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705439749744 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16855] ppid=16844 vsize=13980732 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16855/stat : 16855 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705438698064 140705963431835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16856] ppid=16844 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16846/task/16856/stat : 16856 (java) R 16844 16844 13977 0 -1 4202560 1055 0 0 0 15 0 0 0 20 0 15 0 99761578 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705437626304 140705942660648 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16857] ppid=16844 vsize=13980732 memory=-5921431000321636112 CPUtime=0.19 cores=1,3,5,7
/proc/16846/task/16857/stat : 16857 (java) R 16844 16844 13977 0 -1 4202560 954 0 0 0 19 0 0 0 20 0 15 0 99761578 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705436581904 140705948309234 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16858] ppid=16844 vsize=13980732 memory=6656426216303648864 CPUtime=0.28 cores=1,3,5,7
/proc/16846/task/16858/stat : 16858 (java) R 16844 16844 13977 0 -1 4202560 1311 0 0 0 28 0 0 0 20 0 15 0 99761578 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705435539824 140705955650366 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16859] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16859/stat : 16859 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705434487264 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16860] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16860/stat : 16860 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761583 14316269568 16523 18446744073709551615 4194304 4196468 140733029230416 140705433435056 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67472 KiB
[startup+1.16281 s]
# the end of solver process 16844 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.48646 s, system=0.061447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800882 s]
/proc/loadavg: 1.56 1.65 1.67 4/211 16860
/proc/meminfo: memFree=31131200/32770624 swapFree=67108860/67108860
[pid=16844] ppid=16841 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16844/stat : 16844 (xcsp3-exec) S 16841 16844 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 99761563 9740288 345 18446744073709551615 4194304 5098028 140730815592464 140730815590568 140079045370492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 9703424 140730815598970 140730815599173 140730815599173 140730815602667 0
/proc/16844/statm: 2378 345 289 221 0 87 0
[pid=16846] ppid=16844 vsize=13980732 memory=76420 CPUtime=1.51 cores=1,3,5,7
/proc/16846/stat : 16846 (java) S 16844 16844 13977 0 -1 1077944320 15317 0 0 0 146 5 0 0 20 0 15 0 99761573 14316269568 19105 18446744073709551615 4194304 4196468 140733029230416 140733029212960 140705963413239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
/proc/16846/statm: 3495183 19105 3186 1 0 3483476 0
[pid=16846/tid=16847] ppid=16844 vsize=13980732 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/16846/task/16847/stat : 16847 (java) R 16844 16844 13977 0 -1 4202560 8544 0 0 0 61 3 0 0 20 0 15 0 99761573 14316269568 19105 18446744073709551615 4194304 4196468 140733029230416 140705967652384 140705564890464 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16848] ppid=16844 vsize=13980732 memory=-7827150150926572482 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16848/stat : 16848 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705882827152 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16849] ppid=16844 vsize=13980732 memory=8166261225272858220 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16849/stat : 16849 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705881774352 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16850] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16850/stat : 16850 (java) S 16844 16844 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705561307792 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16851] ppid=16844 vsize=13980732 memory=4072 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16851/stat : 16851 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705560254992 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16852] ppid=16844 vsize=13980732 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16852/stat : 16852 (java) S 16844 16844 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99761575 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705441856112 140705963424386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16853] ppid=16844 vsize=13980732 memory=3072 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16853/stat : 16853 (java) S 16844 16844 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99761575 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705440802080 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16854] ppid=16844 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16854/stat : 16854 (java) S 16844 16844 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99761576 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705439749744 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16855] ppid=16844 vsize=13980732 memory=209740 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16855/stat : 16855 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705438698064 140705963431835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16856] ppid=16844 vsize=13980732 memory=1152 CPUtime=0.24 cores=1,3,5,7
/proc/16846/task/16856/stat : 16856 (java) R 16844 16844 13977 0 -1 4202560 1963 0 0 0 24 0 0 0 20 0 15 0 99761578 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705437625848 140705946824111 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16857] ppid=16844 vsize=13980732 memory=2360 CPUtime=0.28 cores=1,3,5,7
/proc/16846/task/16857/stat : 16857 (java) R 16844 16844 13977 0 -1 4202560 1665 0 0 0 28 0 0 0 20 0 15 0 99761578 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705436577848 140705955702688 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16858] ppid=16844 vsize=13980732 memory=1380 CPUtime=0.31 cores=1,3,5,7
/proc/16846/task/16858/stat : 16858 (java) S 16844 16844 13977 0 -1 1077944384 1853 0 0 0 31 0 0 0 20 0 15 0 99761578 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705435539824 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16859] ppid=16844 vsize=13980732 memory=52196 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16859/stat : 16859 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705434487264 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16860] ppid=16844 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16860/stat : 16860 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761583 14316269568 19171 18446744073709551615 4194304 4196468 140733029230416 140705433435056 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 77800 KiB
[startup+1.00074 s]*
/proc/loadavg: 1.56 1.65 1.67 5/211 16860
/proc/meminfo: memFree=31094672/32770624 swapFree=67108860/67108860
[pid=16844] ppid=16841 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16844/stat : 16844 (xcsp3-exec) S 16841 16844 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 99761563 9740288 345 18446744073709551615 4194304 5098028 140730815592464 140730815590568 140079045370492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 9703424 140730815598970 140730815599173 140730815599173 140730815602667 0
/proc/16844/statm: 2378 345 289 221 0 87 0
[pid=16846] ppid=16844 vsize=13980732 memory=88800 CPUtime=2.16 cores=1,3,5,7
/proc/16846/stat : 16846 (java) S 16844 16844 13977 0 -1 1077944320 18280 0 0 0 211 5 0 0 20 0 15 0 99761573 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140733029212960 140705963413239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
/proc/16846/statm: 3495183 22200 3187 1 0 3483476 0
[pid=16846/tid=16847] ppid=16844 vsize=13980732 memory=2737 CPUtime=0.85 cores=1,3,5,7
/proc/16846/task/16847/stat : 16847 (java) R 16844 16844 13977 0 -1 4202560 8549 0 0 0 82 3 0 0 20 0 15 0 99761573 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705967652512 140705947493726 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16848] ppid=16844 vsize=13980732 memory=732370741075995621 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16848/stat : 16848 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705882827152 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16849] ppid=16844 vsize=13980732 memory=140602738542208 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16849/stat : 16849 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705881774352 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16850] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16850/stat : 16850 (java) S 16844 16844 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705561307792 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16851] ppid=16844 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16851/stat : 16851 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705560254992 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16852] ppid=16844 vsize=13980732 memory=140602738542208 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16852/stat : 16852 (java) S 16844 16844 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99761575 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705441856112 140705963424386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16853] ppid=16844 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16853/stat : 16853 (java) S 16844 16844 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99761575 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705440802080 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16854] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16854/stat : 16854 (java) S 16844 16844 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99761576 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705439749744 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16855] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16855/stat : 16855 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705438698064 140705963431835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16856] ppid=16844 vsize=13980732 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/16846/task/16856/stat : 16856 (java) R 16844 16844 13977 0 -1 4202560 3466 0 0 0 45 0 0 0 20 0 15 0 99761578 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705437631016 140705944957392 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16857] ppid=16844 vsize=13980732 memory=-1 CPUtime=0.49 cores=1,3,5,7
/proc/16846/task/16857/stat : 16857 (java) R 16844 16844 13977 0 -1 4202560 2924 0 0 0 49 0 0 0 20 0 15 0 99761578 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705436581904 140705948335021 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16858] ppid=16844 vsize=13980732 memory=140602738542208 CPUtime=0.33 cores=1,3,5,7
/proc/16846/task/16858/stat : 16858 (java) R 16844 16844 13977 0 -1 1077944384 2035 0 0 0 33 0 0 0 20 0 15 0 99761578 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705435539824 140705963424386 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16859] ppid=16844 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16859/stat : 16859 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705434487264 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16860] ppid=16844 vsize=13980732 memory=140602738542208 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16860/stat : 16860 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761583 14316269568 22200 18446744073709551615 4194304 4196468 140733029230416 140705433435056 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 90180 KiB
[startup+1.11026 s]
/proc/loadavg: 1.56 1.65 1.67 5/211 16860
/proc/meminfo: memFree=31094672/32770624 swapFree=67108860/67108860
[pid=16844] ppid=16841 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16844/stat : 16844 (xcsp3-exec) S 16841 16844 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 99761563 9740288 345 18446744073709551615 4194304 5098028 140730815592464 140730815590568 140079045370492 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 9703424 140730815598970 140730815599173 140730815599173 140730815602667 0
/proc/16844/statm: 2378 345 289 221 0 87 0
[pid=16846] ppid=16844 vsize=13980732 memory=91052 CPUtime=2.46 cores=1,3,5,7
/proc/16846/stat : 16846 (java) S 16844 16844 13977 0 -1 1077944320 18378 0 0 0 241 5 0 0 20 0 15 0 99761573 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140733029212960 140705963413239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
/proc/16846/statm: 3495183 22763 3187 1 0 3483476 0
[pid=16846/tid=16847] ppid=16844 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/16846/task/16847/stat : 16847 (java) R 16844 16844 13977 0 -1 4202560 8551 0 0 0 92 3 0 0 20 0 15 0 99761573 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705967650136 140705963425174 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16848] ppid=16844 vsize=13980732 memory=85048 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16848/stat : 16848 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705882827152 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16849] ppid=16844 vsize=13980732 memory=7596263484103353428 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16849/stat : 16849 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705881774352 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16850] ppid=16844 vsize=13980732 memory=6370718150143009640 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16850/stat : 16850 (java) S 16844 16844 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705561307792 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16851] ppid=16844 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16851/stat : 16851 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761574 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705560254992 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16852] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16852/stat : 16852 (java) S 16844 16844 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99761575 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705441856112 140705963424386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16853] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16853/stat : 16853 (java) S 16844 16844 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99761575 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705440802080 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16854] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16854/stat : 16854 (java) S 16844 16844 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99761576 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705439749744 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16855] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16855/stat : 16855 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705438698064 140705963431835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16856] ppid=16844 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/16846/task/16856/stat : 16856 (java) R 16844 16844 13977 0 -1 1077944384 3493 0 0 0 54 0 0 0 20 0 15 0 99761578 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705437644912 140705963424386 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16857] ppid=16844 vsize=13980732 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/16846/task/16857/stat : 16857 (java) R 16844 16844 13977 0 -1 4202560 2948 0 0 0 57 0 0 0 20 0 15 0 99761578 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705436592112 140705963425174 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16858] ppid=16844 vsize=13980732 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/16846/task/16858/stat : 16858 (java) R 16844 16844 13977 0 -1 4202560 2078 0 0 0 36 0 0 0 20 0 15 0 99761578 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705435539824 140705963416528 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16859] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16859/stat : 16859 (java) S 16844 16844 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99761578 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705434487264 140705963423445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
[pid=16846/tid=16860] ppid=16844 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16846/task/16860/stat : 16860 (java) S 16844 16844 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99761583 14316269568 22763 18446744073709551615 4194304 4196468 140733029230416 140705433435056 140705963424386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20287488 140733029233073 140733029233249 140733029233249 140733029236687 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 92432 KiB
Child status: 0
Real time (s): 1.16287
CPU time (s): 2.5479
CPU user time (s): 2.48646
CPU system time (s): 0.061447
CPU usage (%): 219.105
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 92432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.48646
system time used= 0.061447
maximum resident set size= 93944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20004
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= 1869
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 16844
# total CPU time (s): 2.5479
# total CPU user time (s): 2.48646
# total CPU system time (s): 0.061447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031973 second user time and 0.05357 second system time
The end