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 (14944 MiB free)
memory of node 1: 16384 MiB (14691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272702-1502737058/watcher-4272702-1502737058 -o /tmp/evaluation-result-4272702-1502737058/solver-4272702-1502737058 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1511976035 HOME/instance-4272702-1502737058.xml
running on 4 cores: 0,2,4,6
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=25417, runsolver pid=25414
[startup+0.10017 s]*
/proc/loadavg: 2.58 2.07 1.85 3/205 25427
/proc/meminfo: memFree=30341620/32770624 swapFree=67108860/67108860
[pid=25417] ppid=25414 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25417/stat : 25417 (xcsp3-exec) S 25414 25417 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75926489 9740288 345 18446744073709551615 4194304 5098028 140732488926112 140732488924216 139959522640508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 19632128 140732488933752 140732488933957 140732488933957 140732488937451 0
/proc/25417/statm: 2378 345 289 221 0 87 0
[pid=25419] ppid=25417 vsize=13574484 memory=17684 CPUtime=0.03 cores=0,2,4,6
/proc/25419/stat : 25419 (java) S 25417 25417 897 0 -1 1077944320 4293 0 0 0 3 0 0 0 20 0 9 0 75926495 13900271616 4421 18446744073709551615 4194304 4196468 140723914691744 140723914674288 139987979824887 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
/proc/25419/statm: 3393621 4421 2105 1 0 3383118 0
[pid=25419/tid=25420] ppid=25417 vsize=13574484 memory=7311146985107750967 CPUtime=0.03 cores=0,2,4,6
/proc/25419/task/25420/stat : 25420 (java) R 25417 25417 897 0 -1 4202560 2996 0 0 0 3 0 0 0 20 0 9 0 75926496 13900271616 4933 18446744073709551615 4194304 4196468 140723914691744 139987984062832 139987963023602 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25421] ppid=25417 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25421/stat : 25421 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75926496 13900271616 4933 18446744073709551615 4194304 4196468 140723914691744 139987580381968 139987979835093 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25422] ppid=25417 vsize=13574484 memory=140135347187827 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25422/stat : 25422 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75926496 13900271616 4933 18446744073709551615 4194304 4196468 140723914691744 139987579329424 139987979835093 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25423] ppid=25417 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25423/stat : 25423 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75926496 13900271616 4933 18446744073709551615 4194304 4196468 140723914691744 139987578276880 139987979835093 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25424] ppid=25417 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25424/stat : 25424 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75926496 13900271616 4933 18446744073709551615 4194304 4196468 140723914691744 139987577224336 139987979835093 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25425] ppid=25417 vsize=13574484 memory=140135347164800 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25425/stat : 25425 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75926498 13900271616 4933 18446744073709551615 4194304 4196468 140723914691744 139986896619504 139987979836034 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25426] ppid=25417 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25426/stat : 25426 (java) S 25417 25417 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 75926498 13900271616 4933 18446744073709551615 4194304 4196468 140723914691744 139986895565728 139987979835093 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25427] ppid=25417 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25427/stat : 25427 (java) S 25417 25417 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 75926498 13900271616 4933 18446744073709551615 4194304 4196468 140723914691744 139986894513136 139987979835093 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19064 KiB
[startup+0.210528 s]*
/proc/loadavg: 2.58 2.07 1.85 3/211 25433
/proc/meminfo: memFree=30330884/32770624 swapFree=67108860/67108860
[pid=25417] ppid=25414 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25417/stat : 25417 (xcsp3-exec) S 25414 25417 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75926489 9740288 345 18446744073709551615 4194304 5098028 140732488926112 140732488924216 139959522640508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 19632128 140732488933752 140732488933957 140732488933957 140732488937451 0
/proc/25417/statm: 2378 345 289 221 0 87 0
[pid=25419] ppid=25417 vsize=13974352 memory=28884 CPUtime=0.14 cores=0,2,4,6
/proc/25419/stat : 25419 (java) S 25417 25417 897 0 -1 1077944320 5633 0 0 0 13 1 0 0 20 0 15 0 75926495 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 140723914674288 139987979824887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
/proc/25419/statm: 3493588 7221 2873 1 0 3482964 0
[pid=25419/tid=25420] ppid=25417 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=0,2,4,6
/proc/25419/task/25420/stat : 25420 (java) R 25417 25417 897 0 -1 4202560 3561 0 0 0 10 0 0 0 20 0 15 0 75926496 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139987984055888 139987979836822 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25421] ppid=25417 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25421/stat : 25421 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926496 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139987580381968 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25422] ppid=25417 vsize=13974352 memory=140135347187827 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25422/stat : 25422 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926496 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139987579329424 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25423] ppid=25417 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25423/stat : 25423 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926496 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139987578276880 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25424] ppid=25417 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25424/stat : 25424 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926496 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139987577224336 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25425] ppid=25417 vsize=13974352 memory=140135347164800 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25425/stat : 25425 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926498 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139986896619504 139987979836034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25426] ppid=25417 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25426/stat : 25426 (java) S 25417 25417 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75926498 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139986895565728 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25427] ppid=25417 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25427/stat : 25427 (java) S 25417 25417 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75926498 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139986894513136 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25428] ppid=25417 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25428/stat : 25428 (java) S 25417 25417 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926501 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139986893461712 139987979843483 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25429] ppid=25417 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25429/stat : 25429 (java) R 25417 25417 897 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 75926501 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139986892409328 139987979836034 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25430] ppid=25417 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25430/stat : 25430 (java) R 25417 25417 897 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 75926501 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139986891356784 139987963237088 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25431] ppid=25417 vsize=13974352 memory=140135347164800 CPUtime=0.01 cores=0,2,4,6
/proc/25419/task/25431/stat : 25431 (java) R 25417 25417 897 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 75926501 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139986890304240 139987972062014 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25432] ppid=25417 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25432/stat : 25432 (java) S 25417 25417 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926501 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139986889251936 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25433] ppid=25417 vsize=13974352 memory=140135347164800 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25433/stat : 25433 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926505 14309736448 7221 18446744073709551615 4194304 4196468 140723914691744 139986888198448 139987979836034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30264 KiB
[startup+0.312096 s]*
/proc/loadavg: 2.58 2.07 1.85 3/211 25433
/proc/meminfo: memFree=30317964/32770624 swapFree=67108860/67108860
[pid=25417] ppid=25414 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25417/stat : 25417 (xcsp3-exec) S 25414 25417 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75926489 9740288 345 18446744073709551615 4194304 5098028 140732488926112 140732488924216 139959522640508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 19632128 140732488933752 140732488933957 140732488933957 140732488937451 0
/proc/25417/statm: 2378 345 289 221 0 87 0
[pid=25419] ppid=25417 vsize=13978608 memory=40424 CPUtime=0.33 cores=0,2,4,6
/proc/25419/stat : 25419 (java) S 25417 25417 897 0 -1 1077944320 9322 0 0 0 30 3 0 0 20 0 15 0 75926495 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 140723914674288 139987979824887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
/proc/25419/statm: 3494652 10106 3032 1 0 3482964 0
[pid=25419/tid=25420] ppid=25417 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/25419/task/25420/stat : 25420 (java) R 25417 25417 897 0 -1 4202560 6458 0 0 0 18 2 0 0 20 0 15 0 75926496 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139987984038896 139987963931175 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25421] ppid=25417 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25421/stat : 25421 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926496 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139987580381968 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25422] ppid=25417 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25422/stat : 25422 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926496 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139987579329424 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25423] ppid=25417 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25423/stat : 25423 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926496 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139987578276880 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25424] ppid=25417 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25424/stat : 25424 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926496 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139987577224336 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25425] ppid=25417 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25425/stat : 25425 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926498 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139986896619504 139987979836034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25426] ppid=25417 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25426/stat : 25426 (java) S 25417 25417 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75926498 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139986895565728 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25427] ppid=25417 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25427/stat : 25427 (java) S 25417 25417 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75926498 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139986894513136 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25428] ppid=25417 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25428/stat : 25428 (java) S 25417 25417 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926501 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139986893461712 139987979843483 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25429] ppid=25417 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25419/task/25429/stat : 25429 (java) S 25417 25417 897 0 -1 1077944384 606 0 0 0 3 0 0 0 20 0 15 0 75926501 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139986892409328 139987979836034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25430] ppid=25417 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25419/task/25430/stat : 25430 (java) S 25417 25417 897 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 15 0 75926501 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139986891356784 139987979836034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25431] ppid=25417 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25419/task/25431/stat : 25431 (java) R 25417 25417 897 0 -1 4202560 777 0 0 0 7 0 0 0 20 0 15 0 75926501 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139986890304240 139987963905374 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25432] ppid=25417 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25432/stat : 25432 (java) S 25417 25417 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926501 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139986889251936 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25433] ppid=25417 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25433/stat : 25433 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926505 14314094592 10106 18446744073709551615 4194304 4196468 140723914691744 139986888198448 139987979836034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41804 KiB
[startup+0.700825 s]
/proc/loadavg: 2.58 2.07 1.85 4/211 25433
/proc/meminfo: memFree=30308708/32770624 swapFree=67108860/67108860
[pid=25417] ppid=25414 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25417/stat : 25417 (xcsp3-exec) S 25414 25417 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75926489 9740288 345 18446744073709551615 4194304 5098028 140732488926112 140732488924216 139959522640508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 19632128 140732488933752 140732488933957 140732488933957 140732488937451 0
/proc/25417/statm: 2378 345 289 221 0 87 0
[pid=25419] ppid=25417 vsize=13980732 memory=68268 CPUtime=1.29 cores=0,2,4,6
/proc/25419/stat : 25419 (java) S 25417 25417 897 0 -1 1077944320 14182 0 0 0 124 5 0 0 20 0 14 0 75926495 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 140723914674288 139987979824887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
/proc/25419/statm: 3495183 17067 3176 1 0 3483476 0
[pid=25419/tid=25420] ppid=25417 vsize=13980732 memory=6935649255759568960 CPUtime=0.58 cores=0,2,4,6
/proc/25419/task/25420/stat : 25420 (java) S 25417 25417 897 0 -1 1077944384 8597 0 0 0 55 3 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987984067728 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25421] ppid=25417 vsize=13980732 memory=6935652631620640832 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25421/stat : 25421 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987580381968 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25422] ppid=25417 vsize=13980732 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25422/stat : 25422 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987579329424 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25423] ppid=25417 vsize=13980732 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25423/stat : 25423 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987578276880 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25424] ppid=25417 vsize=13980732 memory=6935649255759568981 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25424/stat : 25424 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987577224336 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25425] ppid=25417 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25425/stat : 25425 (java) S 25417 25417 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 75926498 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986896619712 139987979836034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25426] ppid=25417 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25426/stat : 25426 (java) S 25417 25417 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 75926498 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986895565728 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25427] ppid=25417 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25427/stat : 25427 (java) S 25417 25417 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 75926498 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986894513136 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25428] ppid=25417 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25428/stat : 25428 (java) S 25417 25417 897 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986893461360 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25429] ppid=25417 vsize=13980732 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/25419/task/25429/stat : 25429 (java) S 25417 25417 897 0 -1 1077944384 1247 0 0 0 18 0 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986892389728 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25430] ppid=25417 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/25419/task/25430/stat : 25430 (java) S 25417 25417 897 0 -1 1077944384 1085 0 0 0 17 0 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986891337184 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25431] ppid=25417 vsize=13980732 memory=2529 CPUtime=0.33 cores=0,2,4,6
/proc/25419/task/25431/stat : 25431 (java) S 25417 25417 897 0 -1 1077944384 1942 0 0 0 32 1 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986890304240 139987979836034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25432] ppid=25417 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25432/stat : 25432 (java) S 25417 25417 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986889251936 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69648 KiB
[startup+0.712202 s]
# the end of solver process 25417 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.24693 s, system=0.061161 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.700825 s]
/proc/loadavg: 2.58 2.07 1.85 4/211 25433
/proc/meminfo: memFree=30308708/32770624 swapFree=67108860/67108860
[pid=25417] ppid=25414 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25417/stat : 25417 (xcsp3-exec) S 25414 25417 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 75926489 9740288 345 18446744073709551615 4194304 5098028 140732488926112 140732488924216 139959522640508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 19632128 140732488933752 140732488933957 140732488933957 140732488937451 0
/proc/25417/statm: 2378 345 289 221 0 87 0
[pid=25419] ppid=25417 vsize=13980732 memory=68268 CPUtime=1.29 cores=0,2,4,6
/proc/25419/stat : 25419 (java) S 25417 25417 897 0 -1 1077944320 14182 0 0 0 124 5 0 0 20 0 14 0 75926495 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 140723914674288 139987979824887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
/proc/25419/statm: 3495183 17067 3176 1 0 3483476 0
[pid=25419/tid=25420] ppid=25417 vsize=13980732 memory=6935649255759568960 CPUtime=0.58 cores=0,2,4,6
/proc/25419/task/25420/stat : 25420 (java) S 25417 25417 897 0 -1 1077944384 8597 0 0 0 55 3 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987984067728 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25421] ppid=25417 vsize=13980732 memory=6935652631620640832 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25421/stat : 25421 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987580381968 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25422] ppid=25417 vsize=13980732 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25422/stat : 25422 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987579329424 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25423] ppid=25417 vsize=13980732 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25423/stat : 25423 (java) S 25417 25417 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987578276880 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25424] ppid=25417 vsize=13980732 memory=6935649255759568981 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25424/stat : 25424 (java) S 25417 25417 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 75926496 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139987577224336 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25425] ppid=25417 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25425/stat : 25425 (java) S 25417 25417 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 75926498 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986896619712 139987979836034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25426] ppid=25417 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25426/stat : 25426 (java) S 25417 25417 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 75926498 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986895565728 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25427] ppid=25417 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25427/stat : 25427 (java) S 25417 25417 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 75926498 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986894513136 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25428] ppid=25417 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25428/stat : 25428 (java) S 25417 25417 897 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986893461360 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25429] ppid=25417 vsize=13980732 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/25419/task/25429/stat : 25429 (java) S 25417 25417 897 0 -1 1077944384 1247 0 0 0 18 0 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986892389728 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25430] ppid=25417 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/25419/task/25430/stat : 25430 (java) S 25417 25417 897 0 -1 1077944384 1085 0 0 0 17 0 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986891337184 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25431] ppid=25417 vsize=13980732 memory=2529 CPUtime=0.33 cores=0,2,4,6
/proc/25419/task/25431/stat : 25431 (java) S 25417 25417 897 0 -1 1077944384 1942 0 0 0 32 1 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986890304240 139987979836034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
[pid=25419/tid=25432] ppid=25417 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25419/task/25432/stat : 25432 (java) S 25417 25417 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 75926501 14316269568 17067 18446744073709551615 4194304 4196468 140723914691744 139986889251936 139987979835093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21655552 140723914699185 140723914699361 140723914699361 140723914702799 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69648 KiB
Child status: 0
Real time (s): 0.712224
CPU time (s): 1.30809
CPU user time (s): 1.24693
CPU system time (s): 0.061161
CPU usage (%): 183.662
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 69648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.24693
system time used= 0.061161
maximum resident set size= 68832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14712
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= 1509
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 25417
# total CPU time (s): 1.30809
# total CPU user time (s): 1.24693
# total CPU system time (s): 0.061161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01812 second user time and 0.054686 second system time
The end