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 (12843 MiB free)
memory of node 1: 16384 MiB (15244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283601-1503192779/watcher-4283601-1503192779 -o /tmp/evaluation-result-4283601-1503192779/solver-4283601-1503192779 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25501 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 980733544 HOME/instance-4283601-1503192779.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=29388, runsolver pid=29385
[startup+0.100131 s]*
/proc/loadavg: 2.13 1.96 1.88 2/196 29389
/proc/meminfo: memFree=28762436/32770624 swapFree=67108860/67108860
[pid=29388] ppid=29385 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/29388/stat : 29388 (runsolver) R 29385 29388 8563 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 121498390 34791424 113 18446744073709551615 4194304 4346622 140723066742672 140723066739304 139982403379927 0 0 1 24578 0 0 0 17 7 0 0 0 0 0 6446216 6449568 23183360 140723066748983 140723066749476 140723066749476 140723066752970 0
/proc/29388/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.20902 s]*
/proc/loadavg: 2.13 1.96 1.88 2/210 29403
/proc/meminfo: memFree=28752516/32770624 swapFree=67108860/67108860
[pid=29388] ppid=29385 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29388/stat : 29388 (xcsp3-exec) S 29385 29388 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121498390 9740288 345 18446744073709551615 4194304 5098028 140722208808320 140722208806424 140412813750908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 33779712 140722208813433 140722208813637 140722208813637 140722208817131 0
/proc/29388/statm: 2378 345 289 221 0 87 0
[pid=29390] ppid=29388 vsize=13973868 memory=20648 CPUtime=0.05 cores=1,3,5,7
/proc/29390/stat : 29390 (java) S 29388 29388 8563 0 -1 1077944320 4567 0 0 0 5 0 0 0 20 0 15 0 121498401 14309240832 5162 18446744073709551615 4194304 4196468 140735336481456 140735336464000 140028102065911 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
/proc/29390/statm: 3493467 5162 2570 1 0 3482964 0
[pid=29390/tid=29391] ppid=29388 vsize=13973868 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/29390/task/29391/stat : 29391 (java) R 29388 29388 8563 0 -1 4202560 2735 0 0 0 4 0 0 0 20 0 15 0 121498401 14309240832 5162 18446744073709551615 4194304 4196468 140735336481456 140028106308192 140028086146398 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29392] ppid=29388 vsize=13973868 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29392/stat : 29392 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498402 14309240832 5162 18446744073709551615 4194304 4196468 140735336481456 140028021479824 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29393] ppid=29388 vsize=13973868 memory=288370358558041728 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29393/stat : 29393 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498402 14309240832 5162 18446744073709551615 4194304 4196468 140735336481456 140028020427024 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29394] ppid=29388 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29394/stat : 29394 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498402 14309240832 5162 18446744073709551615 4194304 4196468 140735336481456 140028019374736 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29395] ppid=29388 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29395/stat : 29395 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498402 14309240832 5162 18446744073709551615 4194304 4196468 140735336481456 140028018321936 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29396] ppid=29388 vsize=13973868 memory=139982406329984 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29396/stat : 29396 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498403 14309240832 5162 18446744073709551615 4194304 4196468 140735336481456 140027602365040 140028102077058 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29397] ppid=29388 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29397/stat : 29397 (java) S 29388 29388 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121498404 14309240832 5162 18446744073709551615 4194304 4196468 140735336481456 140027601311008 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29398] ppid=29388 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29398/stat : 29398 (java) S 29388 29388 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121498404 14309240832 5162 18446744073709551615 4194304 4196468 140735336481456 140027600258672 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29399] ppid=29388 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29399/stat : 29399 (java) S 29388 29388 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121498406 14309240832 5674 18446744073709551615 4194304 4196468 140735336481456 140027599206992 140028102084507 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29400] ppid=29388 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29400/stat : 29400 (java) S 29388 29388 8563 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 121498406 14309240832 5674 18446744073709551615 4194304 4196468 140735336481456 140027598153840 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29401] ppid=29388 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29401/stat : 29401 (java) S 29388 29388 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121498406 14309240832 5674 18446744073709551615 4194304 4196468 140735336481456 140027597101040 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29402] ppid=29388 vsize=13973868 memory=139982406329984 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29402/stat : 29402 (java) S 29388 29388 8563 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 121498406 14309240832 5674 18446744073709551615 4194304 4196468 140735336481456 140027596048752 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29403] ppid=29388 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29403/stat : 29403 (java) S 29388 29388 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121498406 14309240832 5674 18446744073709551615 4194304 4196468 140735336481456 140027594996192 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29404] ppid=29388 vsize=13973868 memory=139982406329984 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29404/stat : 29404 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498411 14309240832 5674 18446744073709551615 4194304 4196468 140735336481456 140027593943984 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 22028 KiB
[startup+0.310144 s]*
/proc/loadavg: 2.13 1.96 1.88 3/211 29404
/proc/meminfo: memFree=28738648/32770624 swapFree=67108860/67108860
[pid=29388] ppid=29385 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29388/stat : 29388 (xcsp3-exec) S 29385 29388 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121498390 9740288 345 18446744073709551615 4194304 5098028 140722208808320 140722208806424 140412813750908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 33779712 140722208813433 140722208813637 140722208813637 140722208817131 0
/proc/29388/statm: 2378 345 289 221 0 87 0
[pid=29390] ppid=29388 vsize=13974352 memory=37296 CPUtime=0.23 cores=1,3,5,7
/proc/29390/stat : 29390 (java) S 29388 29388 8563 0 -1 1077944320 8359 0 0 0 21 2 0 0 20 0 15 0 121498401 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140735336464000 140028102065911 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
/proc/29390/statm: 3493588 9324 2979 1 0 3482964 0
[pid=29390/tid=29391] ppid=29388 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/29390/task/29391/stat : 29391 (java) R 29388 29388 8563 0 -1 4202560 5594 0 0 0 13 1 0 0 20 0 15 0 121498401 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140028106279360 140028086146428 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29392] ppid=29388 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29392/stat : 29392 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498402 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140028021479824 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29393] ppid=29388 vsize=13974352 memory=139982406329984 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29393/stat : 29393 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498402 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140028020427024 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29394] ppid=29388 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29394/stat : 29394 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498402 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140028019374736 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29395] ppid=29388 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29395/stat : 29395 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498402 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140028018321936 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29396] ppid=29388 vsize=13974352 memory=139982406329984 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29396/stat : 29396 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498403 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140027602365040 140028102077058 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29397] ppid=29388 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29397/stat : 29397 (java) S 29388 29388 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121498404 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140027601311008 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29398] ppid=29388 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29398/stat : 29398 (java) S 29388 29388 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121498404 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140027600258672 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29399] ppid=29388 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29399/stat : 29399 (java) S 29388 29388 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121498406 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140027599206992 140028102084507 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29400] ppid=29388 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29390/task/29400/stat : 29400 (java) R 29388 29388 8563 0 -1 4202560 589 0 0 0 1 0 0 0 20 0 15 0 121498406 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140027598153840 140028085566294 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29401] ppid=29388 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29390/task/29401/stat : 29401 (java) S 29388 29388 8563 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 121498406 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140027597101040 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29402] ppid=29388 vsize=13974352 memory=139982406329984 CPUtime=0.05 cores=1,3,5,7
/proc/29390/task/29402/stat : 29402 (java) S 29388 29388 8563 0 -1 1077944384 662 0 0 0 5 0 0 0 20 0 15 0 121498406 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140027596048752 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29403] ppid=29388 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29403/stat : 29403 (java) S 29388 29388 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121498406 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140027594996192 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29404] ppid=29388 vsize=13974352 memory=139982406329984 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29404/stat : 29404 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498411 14309736448 9324 18446744073709551615 4194304 4196468 140735336481456 140027593943984 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38676 KiB
[startup+0.63589 s]
# the end of solver process 29388 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.826271 s, system=0.053655 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410492 s]*
/proc/loadavg: 2.13 1.96 1.88 4/211 29404
/proc/meminfo: memFree=28730276/32770624 swapFree=67108860/67108860
[pid=29388] ppid=29385 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29388/stat : 29388 (xcsp3-exec) S 29385 29388 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121498390 9740288 345 18446744073709551615 4194304 5098028 140722208808320 140722208806424 140412813750908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 33779712 140722208813433 140722208813637 140722208813637 140722208817131 0
/proc/29388/statm: 2378 345 289 221 0 87 0
[pid=29390] ppid=29388 vsize=13978608 memory=42816 CPUtime=0.41 cores=1,3,5,7
/proc/29390/stat : 29390 (java) S 29388 29388 8563 0 -1 1077944320 9575 0 0 0 38 3 0 0 20 0 15 0 121498401 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140735336464000 140028102065911 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
/proc/29390/statm: 3494652 10704 3017 1 0 3482964 0
[pid=29390/tid=29391] ppid=29388 vsize=13978608 memory=7311146985107750967 CPUtime=0.24 cores=1,3,5,7
/proc/29390/task/29391/stat : 29391 (java) R 29388 29388 8563 0 -1 4202560 6692 0 0 0 22 2 0 0 20 0 15 0 121498401 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140028106303456 140028080095553 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29392] ppid=29388 vsize=13978608 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29392/stat : 29392 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498402 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140028021479824 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29393] ppid=29388 vsize=13978608 memory=288370358558041728 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29393/stat : 29393 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498402 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140028020427024 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29394] ppid=29388 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29394/stat : 29394 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498402 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140028019374736 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29395] ppid=29388 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29395/stat : 29395 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498402 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140028018321936 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29396] ppid=29388 vsize=13978608 memory=139982406329984 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29396/stat : 29396 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498403 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140027602365040 140028102077058 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29397] ppid=29388 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29397/stat : 29397 (java) S 29388 29388 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121498404 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140027601311008 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29398] ppid=29388 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29398/stat : 29398 (java) S 29388 29388 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121498404 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140027600258672 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29399] ppid=29388 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29399/stat : 29399 (java) S 29388 29388 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121498406 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140027599206992 140028102084507 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29400] ppid=29388 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29390/task/29400/stat : 29400 (java) S 29388 29388 8563 0 -1 1077944384 654 0 0 0 3 0 0 0 20 0 15 0 121498406 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140027598153840 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29401] ppid=29388 vsize=13978608 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29390/task/29401/stat : 29401 (java) S 29388 29388 8563 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 15 0 121498406 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140027597101040 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29402] ppid=29388 vsize=13978608 memory=139982406329984 CPUtime=0.09 cores=1,3,5,7
/proc/29390/task/29402/stat : 29402 (java) R 29388 29388 8563 0 -1 4202560 683 0 0 0 9 0 0 0 20 0 15 0 121498406 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140027596048752 140028081032035 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29403] ppid=29388 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29403/stat : 29403 (java) S 29388 29388 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121498406 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140027594996192 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29404] ppid=29388 vsize=13978608 memory=139982406329984 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29404/stat : 29404 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498411 14314094592 10704 18446744073709551615 4194304 4196468 140735336481456 140027593943984 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 44196 KiB
[startup+0.610144 s]
/proc/loadavg: 2.13 1.96 1.88 6/211 29404
/proc/meminfo: memFree=28723676/32770624 swapFree=67108860/67108860
[pid=29388] ppid=29385 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29388/stat : 29388 (xcsp3-exec) S 29385 29388 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121498390 9740288 345 18446744073709551615 4194304 5098028 140722208808320 140722208806424 140412813750908 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 33779712 140722208813433 140722208813637 140722208813637 140722208817131 0
/proc/29388/statm: 2378 345 289 221 0 87 0
[pid=29390] ppid=29388 vsize=13980732 memory=60012 CPUtime=0.84 cores=1,3,5,7
/proc/29390/stat : 29390 (java) S 29388 29388 8563 0 -1 1077944320 12099 0 0 0 79 5 0 0 20 0 15 0 121498401 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140735336464000 140028102065911 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
/proc/29390/statm: 3495183 15003 3160 1 0 3483476 0
[pid=29390/tid=29391] ppid=29388 vsize=13980732 memory=3689345524760330225 CPUtime=0.43 cores=1,3,5,7
/proc/29390/task/29391/stat : 29391 (java) R 29388 29388 8563 0 -1 4202560 8105 0 0 0 40 3 0 0 20 0 15 0 121498401 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140028106295856 140028086146398 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29392] ppid=29388 vsize=13980732 memory=8514726395714956677 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29392/stat : 29392 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498402 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140028021479824 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29393] ppid=29388 vsize=13980732 memory=7593747801300362857 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29393/stat : 29393 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498402 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140028020427024 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29394] ppid=29388 vsize=13980732 memory=7679937539709960979 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29394/stat : 29394 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498402 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140028019374736 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29395] ppid=29388 vsize=13980732 memory=4206468019014164576 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29395/stat : 29395 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498402 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140028018321936 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29396] ppid=29388 vsize=13980732 memory=-7449383003082255510 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29396/stat : 29396 (java) S 29388 29388 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121498403 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140027602365040 140028102077058 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29397] ppid=29388 vsize=13980732 memory=-7606742959547834223 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29397/stat : 29397 (java) S 29388 29388 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121498404 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140027601311008 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29398] ppid=29388 vsize=13980732 memory=-5587106306044206369 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29398/stat : 29398 (java) S 29388 29388 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121498404 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140027600258672 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29399] ppid=29388 vsize=13980732 memory=6943487855420614559 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29399/stat : 29399 (java) S 29388 29388 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121498406 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140027599206992 140028102084507 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29400] ppid=29388 vsize=13980732 memory=6944656575208382560 CPUtime=0.11 cores=1,3,5,7
/proc/29390/task/29400/stat : 29400 (java) S 29388 29388 8563 0 -1 1077944384 1123 0 0 0 11 0 0 0 20 0 15 0 121498406 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140027598153840 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29401] ppid=29388 vsize=13980732 memory=6655300316396806240 CPUtime=0.09 cores=1,3,5,7
/proc/29390/task/29401/stat : 29401 (java) R 29388 29388 8563 0 -1 4202560 608 0 0 0 9 0 0 0 20 0 15 0 121498406 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140027597090032 140028080513211 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29402] ppid=29388 vsize=13980732 memory=6944656592455097440 CPUtime=0.17 cores=1,3,5,7
/proc/29390/task/29402/stat : 29402 (java) R 29388 29388 8563 0 -1 4202560 959 0 0 0 17 0 0 0 20 0 15 0 121498406 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140027596048752 140028102077846 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29403] ppid=29388 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29403/stat : 29403 (java) S 29388 29388 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121498406 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140027594996192 140028102076117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
[pid=29390/tid=29404] ppid=29388 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29390/task/29404/stat : 29404 (java) S 29388 29388 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121498411 14316269568 15003 18446744073709551615 4194304 4196468 140735336481456 140027593943984 140028102077058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20852736 140735336489393 140735336489569 140735336489569 140735336493007 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 61392 KiB
Child status: 0
Real time (s): 0.635943
CPU time (s): 0.879926
CPU user time (s): 0.826271
CPU system time (s): 0.053655
CPU usage (%): 138.366
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 61392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.826271
system time used= 0.053655
maximum resident set size= 60820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12825
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= 1181
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 29388
# total CPU time (s): 0.879926
# total CPU user time (s): 0.826271
# total CPU system time (s): 0.053655
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030601 second user time and 0.041153 second system time
The end