0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280981-1503123768.xml" -tl '20160s' -p 8 -x 0
0.11/0.15 c [HOME/instance-4280981-1503123768.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.32/0.27 c parse instance...
10.09/6.55 c solve instance...
364.83/51.16 s UNSATISFIABLE
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 (10012 MiB free)
memory of node 1: 16384 MiB (12211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280981-1503123768/watcher-4280981-1503123768 -o /tmp/evaluation-result-4280981-1503123768/solver-4280981-1503123768 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503120141-18043 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1590227424 HOME/instance-4280981-1503123768.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19831, runsolver pid=19828
Current StackSize limit: 8192 KiB
[startup+0.100115 s]*
/proc/loadavg: 7.29 8.05 7.89 2/199 19852
/proc/meminfo: memFree=22742340/32770624 swapFree=67108860/67108860
[pid=19831] ppid=19828 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19831/stat : 19831 (xcsp3-exec) S 19828 19831 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145457808 9740288 346 33554432000 4194304 5098028 140723641726064 140723641724168 139680040383100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140723641734244 140723641734455 140723641734455 140723641737195 0
/proc/19831/statm: 2378 346 289 221 0 87 0
[pid=19833] ppid=19831 vsize=25999808 memory=26316 CPUtime=0.11 cores=0-7
/proc/19833/stat : 19833 (java) S 19831 19831 18016 0 -1 1077944320 5481 0 0 0 10 1 0 0 20 0 20 0 145457808 26623803392 6579 33554432000 4194304 4196468 140734884606192 140734884588736 140555593973495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
/proc/19833/statm: 6499952 6579 2847 1 0 6488269 0
[pid=19833/tid=19834] ppid=19831 vsize=25999808 memory=8258927099783322778 CPUtime=0.08 cores=0-7
/proc/19833/task/19834/stat : 19834 (java) R 19831 19831 18016 0 -1 4202560 3484 0 0 0 8 0 0 0 20 0 20 0 145457808 26623803392 6579 33554432000 4194304 4196468 140734884606192 140555598189648 140555232084818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19835] ppid=19831 vsize=25999808 memory=732370002934270949 CPUtime=0 cores=0-7
/proc/19833/task/19835/stat : 19835 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26623803392 6579 33554432000 4194304 4196468 140734884606192 140555151866896 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19836] ppid=19831 vsize=25999808 memory=139864596817536 CPUtime=0 cores=0-7
/proc/19833/task/19836/stat : 19836 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457809 26623803392 6579 33554432000 4194304 4196468 140734884606192 140555150814352 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19837] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19837/stat : 19837 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457809 26623803392 6579 33554432000 4194304 4196468 140734884606192 140555149761296 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19838] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19838/stat : 19838 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26623803392 6579 33554432000 4194304 4196468 140734884606192 140555148708752 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19839] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19839/stat : 19839 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457809 26623803392 6579 33554432000 4194304 4196468 140734884606192 140555147655696 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19840] ppid=19831 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19833/task/19840/stat : 19840 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457809 26623803392 6579 33554432000 4194304 4196468 140734884606192 140555146603152 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19841] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19841/stat : 19841 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26623803392 6579 33554432000 4194304 4196468 140734884606192 140555145550096 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19842] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19842/stat : 19842 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26623803392 6579 33554432000 4194304 4196468 140734884606192 140555144497552 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19843] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19843/stat : 19843 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457811 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554788444912 140555593984642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19844] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19844/stat : 19844 (java) S 19831 19831 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145457811 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554787391136 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19845] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19845/stat : 19845 (java) S 19831 19831 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145457811 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554786338032 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19846] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19846/stat : 19846 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457814 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554785286608 140555593992091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19847] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19847/stat : 19847 (java) S 19831 19831 18016 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 145457814 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554784233712 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19848] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19848/stat : 19848 (java) S 19831 19831 18016 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 145457814 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554783181168 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19849] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19849/stat : 19849 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457814 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554782128112 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19850] ppid=19831 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19833/task/19850/stat : 19850 (java) R 19831 19831 18016 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 20 0 145457814 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554781075568 140555573693457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19851] ppid=19831 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19851/stat : 19851 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457814 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554780023776 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19852] ppid=19831 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19833/task/19852/stat : 19852 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457814 26623803392 6579 33554432000 4194304 4196468 140734884606192 140554778971312 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27700 KiB
[startup+0.210143 s]*
/proc/loadavg: 7.29 8.05 7.89 1/199 19852
/proc/meminfo: memFree=22732276/32770624 swapFree=67108860/67108860
[pid=19831] ppid=19828 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19831/stat : 19831 (xcsp3-exec) S 19828 19831 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145457808 9740288 346 33554432000 4194304 5098028 140723641726064 140723641724168 139680040383100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140723641734244 140723641734455 140723641734455 140723641737195 0
/proc/19831/statm: 2378 346 289 221 0 87 0
[pid=19833] ppid=19831 vsize=26004064 memory=39168 CPUtime=0.32 cores=0-7
/proc/19833/stat : 19833 (java) S 19831 19831 18016 0 -1 1077944320 8361 0 0 0 30 2 0 0 20 0 20 0 145457808 26628161536 9792 33554432000 4194304 4196468 140734884606192 140734884588736 140555593973495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
/proc/19833/statm: 6501016 9792 3054 1 0 6488269 0
[pid=19833/tid=19834] ppid=19831 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/19833/task/19834/stat : 19834 (java) R 19831 19831 18016 0 -1 4202560 5387 0 0 0 18 1 0 0 20 0 20 0 145457808 26628161536 9792 33554432000 4194304 4196468 140734884606192 140555598194488 140555593995421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19835] ppid=19831 vsize=26004064 memory=279729065961208 CPUtime=0 cores=0-7
/proc/19833/task/19835/stat : 19835 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 9792 33554432000 4194304 4196468 140734884606192 140555151866896 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19836] ppid=19831 vsize=26004064 memory=139864596817536 CPUtime=0 cores=0-7
/proc/19833/task/19836/stat : 19836 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 9792 33554432000 4194304 4196468 140734884606192 140555150814352 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19837] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19837/stat : 19837 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 9792 33554432000 4194304 4196468 140734884606192 140555149761296 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19838] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19838/stat : 19838 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 9792 33554432000 4194304 4196468 140734884606192 140555148708752 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19839] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19839/stat : 19839 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 9792 33554432000 4194304 4196468 140734884606192 140555147655696 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19840] ppid=19831 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19833/task/19840/stat : 19840 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 9792 33554432000 4194304 4196468 140734884606192 140555146603152 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19841] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19841/stat : 19841 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 9792 33554432000 4194304 4196468 140734884606192 140555145550096 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19842] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19842/stat : 19842 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 9792 33554432000 4194304 4196468 140734884606192 140555144497552 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19843] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19843/stat : 19843 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457811 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554788444912 140555593984642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19844] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19844/stat : 19844 (java) S 19831 19831 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145457811 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554787391136 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19845] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19845/stat : 19845 (java) S 19831 19831 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145457811 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554786338032 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19846] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19846/stat : 19846 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457814 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554785286608 140555593992091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19847] ppid=19831 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19833/task/19847/stat : 19847 (java) S 19831 19831 18016 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 20 0 145457814 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554784233712 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19848] ppid=19831 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19833/task/19848/stat : 19848 (java) S 19831 19831 18016 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 145457814 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554783181168 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19849] ppid=19831 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19833/task/19849/stat : 19849 (java) S 19831 19831 18016 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 20 0 145457814 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554782128112 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19850] ppid=19831 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/19833/task/19850/stat : 19850 (java) S 19831 19831 18016 0 -1 1077944384 739 0 0 0 7 0 0 0 20 0 20 0 145457814 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554781075568 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19851] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19851/stat : 19851 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457814 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554780023776 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19852] ppid=19831 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19833/task/19852/stat : 19852 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457814 26628161536 9792 33554432000 4194304 4196468 140734884606192 140554778971312 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40552 KiB
[startup+0.309569 s]*
/proc/loadavg: 7.29 8.05 7.89 4/199 19852
/proc/meminfo: memFree=22725700/32770624 swapFree=67108860/67108860
[pid=19831] ppid=19828 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19831/stat : 19831 (xcsp3-exec) S 19828 19831 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145457808 9740288 346 33554432000 4194304 5098028 140723641726064 140723641724168 139680040383100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140723641734244 140723641734455 140723641734455 140723641737195 0
/proc/19831/statm: 2378 346 289 221 0 87 0
[pid=19833] ppid=19831 vsize=26004064 memory=43776 CPUtime=0.48 cores=0-7
/proc/19833/stat : 19833 (java) S 19831 19831 18016 0 -1 1077944320 9172 0 0 0 46 2 0 0 20 0 20 0 145457808 26628161536 10944 33554432000 4194304 4196468 140734884606192 140734884588736 140555593973495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
/proc/19833/statm: 6501016 10944 3084 1 0 6488269 0
[pid=19833/tid=19834] ppid=19831 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19833/task/19834/stat : 19834 (java) R 19831 19831 18016 0 -1 4202560 6075 0 0 0 27 2 0 0 20 0 20 0 145457808 26628161536 10944 33554432000 4194304 4196468 140734884606192 140555598212832 140555593995421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19835] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19835/stat : 19835 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 10944 33554432000 4194304 4196468 140734884606192 140555151866896 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19836] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19836/stat : 19836 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 10944 33554432000 4194304 4196468 140734884606192 140555150814352 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19837] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19837/stat : 19837 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 10944 33554432000 4194304 4196468 140734884606192 140555149761296 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19838] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19838/stat : 19838 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 10944 33554432000 4194304 4196468 140734884606192 140555148708752 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19839] ppid=19831 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/19833/task/19839/stat : 19839 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 10944 33554432000 4194304 4196468 140734884606192 140555147655696 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19840] ppid=19831 vsize=26004064 memory=139864469238703 CPUtime=0 cores=0-7
/proc/19833/task/19840/stat : 19840 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 10944 33554432000 4194304 4196468 140734884606192 140555146603152 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19841] ppid=19831 vsize=26004064 memory=139864469241008 CPUtime=0 cores=0-7
/proc/19833/task/19841/stat : 19841 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 10944 33554432000 4194304 4196468 140734884606192 140555145550096 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19842] ppid=19831 vsize=26004064 memory=139864469243312 CPUtime=0 cores=0-7
/proc/19833/task/19842/stat : 19842 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26628161536 10944 33554432000 4194304 4196468 140734884606192 140555144497552 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19843] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19843/stat : 19843 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457811 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554788444912 140555593984642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19844] ppid=19831 vsize=26004064 memory=279728938493584 CPUtime=0 cores=0-7
/proc/19833/task/19844/stat : 19844 (java) S 19831 19831 18016 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145457811 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554787391136 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19845] ppid=19831 vsize=26004064 memory=279728938500496 CPUtime=0 cores=0-7
/proc/19833/task/19845/stat : 19845 (java) S 19831 19831 18016 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145457811 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554786338032 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19846] ppid=19831 vsize=26004064 memory=279728938441776 CPUtime=0 cores=0-7
/proc/19833/task/19846/stat : 19846 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457814 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554785286608 140555593992091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19847] ppid=19831 vsize=26004064 memory=279728938514320 CPUtime=0.02 cores=0-7
/proc/19833/task/19847/stat : 19847 (java) S 19831 19831 18016 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 20 0 145457814 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554784233712 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19848] ppid=19831 vsize=26004064 memory=279728938521232 CPUtime=0.01 cores=0-7
/proc/19833/task/19848/stat : 19848 (java) S 19831 19831 18016 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 20 0 145457814 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554783181168 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19849] ppid=19831 vsize=26004064 memory=279728938518928 CPUtime=0.02 cores=0-7
/proc/19833/task/19849/stat : 19849 (java) S 19831 19831 18016 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 145457814 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554782128112 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19850] ppid=19831 vsize=26004064 memory=279728938535088 CPUtime=0.11 cores=0-7
/proc/19833/task/19850/stat : 19850 (java) R 19831 19831 18016 0 -1 4202560 817 0 0 0 11 0 0 0 20 0 20 0 145457814 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554781075568 140555572647638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19851] ppid=19831 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19833/task/19851/stat : 19851 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457814 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554780023776 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19852] ppid=19831 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19833/task/19852/stat : 19852 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457814 26628161536 10944 33554432000 4194304 4196468 140734884606192 140554778971312 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45160 KiB
[startup+0.700944 s]
/proc/loadavg: 7.29 8.05 7.89 6/199 19852
/proc/meminfo: memFree=22708952/32770624 swapFree=67108860/67108860
[pid=19831] ppid=19828 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19831/stat : 19831 (xcsp3-exec) S 19828 19831 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145457808 9740288 346 33554432000 4194304 5098028 140723641726064 140723641724168 139680040383100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140723641734244 140723641734455 140723641734455 140723641737195 0
/proc/19831/statm: 2378 346 289 221 0 87 0
[pid=19833] ppid=19831 vsize=26006188 memory=71396 CPUtime=1.71 cores=0-7
/proc/19833/stat : 19833 (java) S 19831 19831 18016 0 -1 1077944320 12487 0 0 0 167 4 0 0 20 0 20 0 145457808 26630336512 17849 33554432000 4194304 4196468 140734884606192 140734884588736 140555593973495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
/proc/19833/statm: 6501547 17849 3184 1 0 6488781 0
[pid=19833/tid=19834] ppid=19831 vsize=26006188 memory=279728938829952 CPUtime=0.67 cores=0-7
/proc/19833/task/19834/stat : 19834 (java) R 19831 19831 18016 0 -1 4202560 6575 0 0 0 65 2 0 0 20 0 20 0 145457808 26630336512 17849 33554432000 4194304 4196468 140734884606192 140555598209432 140555234862983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19835] ppid=19831 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/19833/task/19835/stat : 19835 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145457809 26630336512 17849 33554432000 4194304 4196468 140734884606192 140555151866896 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19836] ppid=19831 vsize=26006188 memory=11112 CPUtime=0 cores=0-7
/proc/19833/task/19836/stat : 19836 (java) S 19831 19831 18016 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145457809 26630336512 17849 33554432000 4194304 4196468 140734884606192 140555150814352 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19837] ppid=19831 vsize=26006188 memory=5776 CPUtime=0 cores=0-7
/proc/19833/task/19837/stat : 19837 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145457809 26630336512 17849 33554432000 4194304 4196468 140734884606192 140555149761296 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
################
# More data... #
################
[pid=19833/tid=19854] ppid=19831 vsize=26538700 memory=1751 CPUtime=18.19 cores=0-7
/proc/19833/task/19854/stat : 19854 (java) R 19831 19831 18016 0 -1 4202560 595 0 0 0 1819 0 0 0 20 0 28 0 145458464 27175628800 166911 33554432000 4194304 4196468 140734884606192 140554769907808 140555237528671 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19855] ppid=19831 vsize=26538700 memory=1793 CPUtime=18.22 cores=0-7
/proc/19833/task/19855/stat : 19855 (java) R 19831 19831 18016 0 -1 4202560 680 0 0 0 1822 0 0 0 20 0 28 0 145458464 27175628800 166911 33554432000 4194304 4196468 140734884606192 140554768854752 140555237528671 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19856] ppid=19831 vsize=26538700 memory=1806 CPUtime=17.71 cores=0-7
/proc/19833/task/19856/stat : 19856 (java) R 19831 19831 18016 0 -1 4202560 979 0 0 0 1770 1 0 0 20 0 28 0 145458464 27175628800 166911 33554432000 4194304 4196468 140734884606192 140554767802208 140555232041315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19857] ppid=19831 vsize=26538700 memory=1794 CPUtime=18.13 cores=0-7
/proc/19833/task/19857/stat : 19857 (java) R 19831 19831 18016 0 -1 4202560 1224 0 0 0 1812 1 0 0 20 0 28 0 145458464 27175628800 166911 33554432000 4194304 4196468 140734884606192 140554766749288 140555231244589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19858] ppid=19831 vsize=26538700 memory=1797 CPUtime=18.26 cores=0-7
/proc/19833/task/19858/stat : 19858 (java) R 19831 19831 18016 0 -1 4202560 507 0 0 0 1826 0 0 0 20 0 28 0 145458464 27175628800 166911 33554432000 4194304 4196468 140734884606192 140554765696744 140555237528788 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19859] ppid=19831 vsize=26538700 memory=0 CPUtime=18.14 cores=0-7
/proc/19833/task/19859/stat : 19859 (java) R 19831 19831 18016 0 -1 4202560 584 0 0 0 1813 1 0 0 20 0 28 0 145458464 27175628800 166911 33554432000 4194304 4196468 140734884606192 140554764644712 140555237529004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19860] ppid=19831 vsize=26538700 memory=4140 CPUtime=18.18 cores=0-7
/proc/19833/task/19860/stat : 19860 (java) R 19831 19831 18016 0 -1 4202560 597 0 0 0 1818 0 0 0 20 0 28 0 145458464 27175628800 166911 33554432000 4194304 4196468 140734884606192 140554763592168 140555237528677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
Current children cumulated CPU time: 160.56 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 669028 KiB
[startup+51.1107 s]
/proc/loadavg: 7.18 7.85 7.83 10/207 19860
/proc/meminfo: memFree=22103660/32770624 swapFree=67108860/67108860
[pid=19831] ppid=19828 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19831/stat : 19831 (xcsp3-exec) S 19828 19831 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145457808 9740288 346 33554432000 4194304 5098028 140723641726064 140723641724168 139680040383100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140723641734244 140723641734455 140723641734455 140723641737195 0
/proc/19831/statm: 2378 346 289 221 0 87 0
[pid=19833] ppid=19831 vsize=26538700 memory=667848 CPUtime=364.83 cores=0-7
/proc/19833/stat : 19833 (java) S 19831 19831 18016 0 -1 1077944320 55387 0 0 0 36368 115 0 0 20 0 28 0 145457808 27175628800 166962 33554432000 4194304 4196468 140734884606192 140734884588736 140555593973495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
/proc/19833/statm: 6634675 166962 3295 1 0 6621909 0
[pid=19833/tid=19834] ppid=19831 vsize=26538700 memory=667804 CPUtime=6.38 cores=0-7
/proc/19833/task/19834/stat : 19834 (java) S 19831 19831 18016 0 -1 1077944384 8906 0 0 0 632 6 0 0 20 0 28 0 145457808 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555598214272 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19835] ppid=19831 vsize=26538700 memory=667840 CPUtime=0.6 cores=0-7
/proc/19833/task/19835/stat : 19835 (java) S 19831 19831 18016 0 -1 1077944384 266 0 0 0 49 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555151866896 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19836] ppid=19831 vsize=26538700 memory=58 CPUtime=0.61 cores=0-7
/proc/19833/task/19836/stat : 19836 (java) S 19831 19831 18016 0 -1 1077944384 408 0 0 0 50 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555150814352 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19837] ppid=19831 vsize=26538700 memory=56 CPUtime=0.58 cores=0-7
/proc/19833/task/19837/stat : 19837 (java) S 19831 19831 18016 0 -1 1077944384 207 0 0 0 48 10 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555149761296 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19838] ppid=19831 vsize=26538700 memory=1384 CPUtime=0.57 cores=0-7
/proc/19833/task/19838/stat : 19838 (java) S 19831 19831 18016 0 -1 1077944384 466 0 0 0 47 10 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555148708752 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19839] ppid=19831 vsize=26538700 memory=1384 CPUtime=0.62 cores=0-7
/proc/19833/task/19839/stat : 19839 (java) S 19831 19831 18016 0 -1 1077944384 605 0 0 0 50 12 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555147655696 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19840] ppid=19831 vsize=26538700 memory=667800 CPUtime=0.61 cores=0-7
/proc/19833/task/19840/stat : 19840 (java) S 19831 19831 18016 0 -1 1077944384 397 0 0 0 50 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555146603152 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19841] ppid=19831 vsize=26538700 memory=4140 CPUtime=0.57 cores=0-7
/proc/19833/task/19841/stat : 19841 (java) S 19831 19831 18016 0 -1 1077944384 537 0 0 0 46 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555145550096 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19842] ppid=19831 vsize=26538700 memory=40724 CPUtime=0.61 cores=0-7
/proc/19833/task/19842/stat : 19842 (java) S 19831 19831 18016 0 -1 1077944384 306 0 0 0 50 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555144497552 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19843] ppid=19831 vsize=26538700 memory=33 CPUtime=0.07 cores=0-7
/proc/19833/task/19843/stat : 19843 (java) S 19831 19831 18016 0 -1 1077944384 1410 0 0 0 7 0 0 0 20 0 28 0 145457811 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554788444912 140555593984642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19844] ppid=19831 vsize=26538700 memory=279728938593080 CPUtime=0 cores=0-7
/proc/19833/task/19844/stat : 19844 (java) S 19831 19831 18016 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 145457811 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554787391200 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19845] ppid=19831 vsize=26538700 memory=279728938707200 CPUtime=0 cores=0-7
/proc/19833/task/19845/stat : 19845 (java) S 19831 19831 18016 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 145457811 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554786338048 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19846] ppid=19831 vsize=26538700 memory=-7595718147998060693 CPUtime=0 cores=0-7
/proc/19833/task/19846/stat : 19846 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554785286608 140555593992091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19847] ppid=19831 vsize=26538700 memory=1384 CPUtime=1.17 cores=0-7
/proc/19833/task/19847/stat : 19847 (java) S 19831 19831 18016 0 -1 1077944384 8194 0 0 0 115 2 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554784233712 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19848] ppid=19831 vsize=26538700 memory=667800 CPUtime=1.34 cores=0-7
/proc/19833/task/19848/stat : 19848 (java) S 19831 19831 18016 0 -1 1077944384 8748 0 0 0 133 1 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554783181168 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19849] ppid=19831 vsize=26538700 memory=1384 CPUtime=1.43 cores=0-7
/proc/19833/task/19849/stat : 19849 (java) S 19831 19831 18016 0 -1 1077944384 6819 0 0 0 142 1 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554782128112 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19850] ppid=19831 vsize=26538700 memory=667840 CPUtime=0.69 cores=0-7
/proc/19833/task/19850/stat : 19850 (java) S 19831 19831 18016 0 -1 1077944384 7365 0 0 0 68 1 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554781075568 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19851] ppid=19831 vsize=26538700 memory=10636 CPUtime=0 cores=0-7
/proc/19833/task/19851/stat : 19851 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554780023776 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19852] ppid=19831 vsize=26538700 memory=1384 CPUtime=0.01 cores=0-7
/proc/19833/task/19852/stat : 19852 (java) S 19831 19831 18016 0 -1 1077944384 634 0 0 0 1 0 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554778971312 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19853] ppid=19831 vsize=26538700 memory=667800 CPUtime=43.31 cores=0-7
/proc/19833/task/19853/stat : 19853 (java) R 19831 19831 18016 0 -1 4202560 1020 0 0 0 4330 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554770959248 140555237528788 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19854] ppid=19831 vsize=26538700 memory=920 CPUtime=43.33 cores=0-7
/proc/19833/task/19854/stat : 19854 (java) S 19831 19831 18016 0 -1 1077944384 930 0 0 0 4333 0 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554769913168 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19855] ppid=19831 vsize=26538700 memory=8881 CPUtime=43.75 cores=0-7
/proc/19833/task/19855/stat : 19855 (java) S 19831 19831 18016 0 -1 1077944384 1284 0 0 0 4375 0 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554768860112 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19856] ppid=19831 vsize=26538700 memory=4420 CPUtime=43.26 cores=0-7
/proc/19833/task/19856/stat : 19856 (java) R 19831 19831 18016 0 -1 4202560 1760 0 0 0 4325 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554767802208 140555237581600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19857] ppid=19831 vsize=26538700 memory=6628 CPUtime=43.71 cores=0-7
/proc/19833/task/19857/stat : 19857 (java) S 19831 19831 18016 0 -1 1077944384 1487 0 0 0 4370 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554766754512 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19858] ppid=19831 vsize=26538700 memory=8836 CPUtime=43.86 cores=0-7
/proc/19833/task/19858/stat : 19858 (java) R 19831 19831 18016 0 -1 4202560 707 0 0 0 4385 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554765696608 140555237581600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19859] ppid=19831 vsize=26538700 memory=0 CPUtime=43.74 cores=0-7
/proc/19833/task/19859/stat : 19859 (java) S 19831 19831 18016 0 -1 1077944384 816 0 0 0 4373 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554764649936 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19860] ppid=19831 vsize=26538700 memory=4026532099 CPUtime=43.77 cores=0-7
/proc/19833/task/19860/stat : 19860 (java) R 19831 19831 18016 0 -1 4202560 762 0 0 0 4377 0 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554763592168 140555232041303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
Current children cumulated CPU time: 364.83 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 669232 KiB
[startup+51.1728 s]
# the end of solver process 19831 was just reported to runsolver
# cumulated CPU time of all completed processes: user=363.811 s, system=1.16028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.1107 s]
/proc/loadavg: 7.18 7.85 7.83 10/207 19860
/proc/meminfo: memFree=22103660/32770624 swapFree=67108860/67108860
[pid=19831] ppid=19828 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19831/stat : 19831 (xcsp3-exec) S 19828 19831 18016 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145457808 9740288 346 33554432000 4194304 5098028 140723641726064 140723641724168 139680040383100 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37040128 140723641734244 140723641734455 140723641734455 140723641737195 0
/proc/19831/statm: 2378 346 289 221 0 87 0
[pid=19833] ppid=19831 vsize=26538700 memory=667848 CPUtime=364.83 cores=0-7
/proc/19833/stat : 19833 (java) S 19831 19831 18016 0 -1 1077944320 55387 0 0 0 36368 115 0 0 20 0 28 0 145457808 27175628800 166962 33554432000 4194304 4196468 140734884606192 140734884588736 140555593973495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
/proc/19833/statm: 6634675 166962 3295 1 0 6621909 0
[pid=19833/tid=19834] ppid=19831 vsize=26538700 memory=667804 CPUtime=6.38 cores=0-7
/proc/19833/task/19834/stat : 19834 (java) S 19831 19831 18016 0 -1 1077944384 8906 0 0 0 632 6 0 0 20 0 28 0 145457808 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555598214272 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19835] ppid=19831 vsize=26538700 memory=667840 CPUtime=0.6 cores=0-7
/proc/19833/task/19835/stat : 19835 (java) S 19831 19831 18016 0 -1 1077944384 266 0 0 0 49 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555151866896 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19836] ppid=19831 vsize=26538700 memory=58 CPUtime=0.61 cores=0-7
/proc/19833/task/19836/stat : 19836 (java) S 19831 19831 18016 0 -1 1077944384 408 0 0 0 50 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555150814352 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19837] ppid=19831 vsize=26538700 memory=56 CPUtime=0.58 cores=0-7
/proc/19833/task/19837/stat : 19837 (java) S 19831 19831 18016 0 -1 1077944384 207 0 0 0 48 10 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555149761296 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19838] ppid=19831 vsize=26538700 memory=1384 CPUtime=0.57 cores=0-7
/proc/19833/task/19838/stat : 19838 (java) S 19831 19831 18016 0 -1 1077944384 466 0 0 0 47 10 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555148708752 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19839] ppid=19831 vsize=26538700 memory=1384 CPUtime=0.62 cores=0-7
/proc/19833/task/19839/stat : 19839 (java) S 19831 19831 18016 0 -1 1077944384 605 0 0 0 50 12 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555147655696 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19840] ppid=19831 vsize=26538700 memory=667800 CPUtime=0.61 cores=0-7
/proc/19833/task/19840/stat : 19840 (java) S 19831 19831 18016 0 -1 1077944384 397 0 0 0 50 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555146603152 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19841] ppid=19831 vsize=26538700 memory=4140 CPUtime=0.57 cores=0-7
/proc/19833/task/19841/stat : 19841 (java) S 19831 19831 18016 0 -1 1077944384 537 0 0 0 46 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555145550096 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19842] ppid=19831 vsize=26538700 memory=40724 CPUtime=0.61 cores=0-7
/proc/19833/task/19842/stat : 19842 (java) S 19831 19831 18016 0 -1 1077944384 306 0 0 0 50 11 0 0 20 0 28 0 145457809 27175628800 166962 33554432000 4194304 4196468 140734884606192 140555144497552 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19843] ppid=19831 vsize=26538700 memory=33 CPUtime=0.07 cores=0-7
/proc/19833/task/19843/stat : 19843 (java) S 19831 19831 18016 0 -1 1077944384 1410 0 0 0 7 0 0 0 20 0 28 0 145457811 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554788444912 140555593984642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19844] ppid=19831 vsize=26538700 memory=279728938593080 CPUtime=0 cores=0-7
/proc/19833/task/19844/stat : 19844 (java) S 19831 19831 18016 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 145457811 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554787391200 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19845] ppid=19831 vsize=26538700 memory=279728938707200 CPUtime=0 cores=0-7
/proc/19833/task/19845/stat : 19845 (java) S 19831 19831 18016 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 145457811 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554786338048 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19846] ppid=19831 vsize=26538700 memory=-7595718147998060693 CPUtime=0 cores=0-7
/proc/19833/task/19846/stat : 19846 (java) S 19831 19831 18016 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554785286608 140555593992091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19847] ppid=19831 vsize=26538700 memory=1384 CPUtime=1.17 cores=0-7
/proc/19833/task/19847/stat : 19847 (java) S 19831 19831 18016 0 -1 1077944384 8194 0 0 0 115 2 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554784233712 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19848] ppid=19831 vsize=26538700 memory=667800 CPUtime=1.34 cores=0-7
/proc/19833/task/19848/stat : 19848 (java) S 19831 19831 18016 0 -1 1077944384 8748 0 0 0 133 1 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554783181168 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19849] ppid=19831 vsize=26538700 memory=1384 CPUtime=1.43 cores=0-7
/proc/19833/task/19849/stat : 19849 (java) S 19831 19831 18016 0 -1 1077944384 6819 0 0 0 142 1 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554782128112 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19850] ppid=19831 vsize=26538700 memory=667840 CPUtime=0.69 cores=0-7
/proc/19833/task/19850/stat : 19850 (java) S 19831 19831 18016 0 -1 1077944384 7365 0 0 0 68 1 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554781075568 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19851] ppid=19831 vsize=26538700 memory=10636 CPUtime=0 cores=0-7
/proc/19833/task/19851/stat : 19851 (java) S 19831 19831 18016 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554780023776 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19852] ppid=19831 vsize=26538700 memory=1384 CPUtime=0.01 cores=0-7
/proc/19833/task/19852/stat : 19852 (java) S 19831 19831 18016 0 -1 1077944384 634 0 0 0 1 0 0 0 20 0 28 0 145457814 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554778971312 140555593984642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19853] ppid=19831 vsize=26538700 memory=667800 CPUtime=43.31 cores=0-7
/proc/19833/task/19853/stat : 19853 (java) R 19831 19831 18016 0 -1 4202560 1020 0 0 0 4330 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554770959248 140555237528788 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19854] ppid=19831 vsize=26538700 memory=920 CPUtime=43.33 cores=0-7
/proc/19833/task/19854/stat : 19854 (java) S 19831 19831 18016 0 -1 1077944384 930 0 0 0 4333 0 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554769913168 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19855] ppid=19831 vsize=26538700 memory=8881 CPUtime=43.75 cores=0-7
/proc/19833/task/19855/stat : 19855 (java) S 19831 19831 18016 0 -1 1077944384 1284 0 0 0 4375 0 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554768860112 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19856] ppid=19831 vsize=26538700 memory=4420 CPUtime=43.26 cores=0-7
/proc/19833/task/19856/stat : 19856 (java) R 19831 19831 18016 0 -1 4202560 1760 0 0 0 4325 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554767802208 140555237581600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19857] ppid=19831 vsize=26538700 memory=6628 CPUtime=43.71 cores=0-7
/proc/19833/task/19857/stat : 19857 (java) S 19831 19831 18016 0 -1 1077944384 1487 0 0 0 4370 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554766754512 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19858] ppid=19831 vsize=26538700 memory=8836 CPUtime=43.86 cores=0-7
/proc/19833/task/19858/stat : 19858 (java) R 19831 19831 18016 0 -1 4202560 707 0 0 0 4385 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554765696608 140555237581600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19859] ppid=19831 vsize=26538700 memory=0 CPUtime=43.74 cores=0-7
/proc/19833/task/19859/stat : 19859 (java) S 19831 19831 18016 0 -1 1077944384 816 0 0 0 4373 1 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554764649936 140555593983701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
[pid=19833/tid=19860] ppid=19831 vsize=26538700 memory=4026532099 CPUtime=43.77 cores=0-7
/proc/19833/task/19860/stat : 19860 (java) R 19831 19831 18016 0 -1 4202560 762 0 0 0 4377 0 0 0 20 0 28 0 145458464 27175628800 166962 33554432000 4194304 4196468 140734884606192 140554763592168 140555232041303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21311488 140734884611218 140734884611395 140734884611395 140734884614095 0
Current children cumulated CPU time: 364.83 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 669232 KiB
Child status: 0
Real time (s): 51.1728
CPU time (s): 364.971
CPU user time (s): 363.811
CPU system time (s): 1.16028
CPU usage (%): 713.213
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 669232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.811
system time used= 1.16029
maximum resident set size= 667916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6459
involuntary context switches= 4513
# summary of solver processes directly reported to runsolver:
# pid: 19831
# total CPU time (s): 364.971
# total CPU user time (s): 363.811
# total CPU system time (s): 1.16028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.430714 second user time and 0.631022 second system time
The end
Begin job on node150 at 2017-08-19 08:08:28
IDJOB=4280981
IDBENCH=120888
IDSOLVER=2675
FILE ID=node150/4280981-1503123768
RUNJOBID= node150-1503120141-18043
PBS_JOBID= 20630767
Free space on /tmp= 61904 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-020-05-mul.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280981-1503123768/watcher-4280981-1503123768 -o /tmp/evaluation-result-4280981-1503123768/solver-4280981-1503123768 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503120141-18043 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1590227424 HOME/instance-4280981-1503123768.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= a36cd0da2272e5282cbf2247e3cbad08
RANDOM SEED=1590227424
node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.89
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.89
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.89
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.89
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 22757788 kB
MemAvailable: 31959688 kB
Buffers: 330424 kB
Cached: 9150756 kB
SwapCached: 0 kB
Active: 2737888 kB
Inactive: 6797692 kB
Active(anon): 57272 kB
Inactive(anon): 33232 kB
Active(file): 2680616 kB
Inactive(file): 6764460 kB
Unevictable: 7288 kB
Mlocked: 7288 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8392 kB
Writeback: 0 kB
AnonPages: 61088 kB
Mapped: 50956 kB
Shmem: 33416 kB
Slab: 171772 kB
SReclaimable: 145316 kB
SUnreclaim: 26456 kB
KernelStack: 3232 kB
PageTables: 4916 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 61896 MiB
End job on node150 at 2017-08-19 08:09:19