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 (9796 MiB free)
memory of node 1: 16384 MiB (7854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391475-1568310219/watcher-4391475-1568310219 -o /tmp/evaluation-result-4391475-1568310219/solver-4391475-1568310219 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20541 --watchdog 2560 nacre_mini_release HOME/instance-4391475-1568310219.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=22075, runsolver pid=22072
[startup+0.10022 s]*
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=18004488/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=115696 memory=81344 CPUtime=0.1 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 15365 0 0 0 7 3 0 0 20 0 1 0 406960314 118472704 20336 33554432000 4194304 4935366 140729079993344 140729079990344 140282865321888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 28924 20336 512 181 0 22541 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 115696 KiB
Current children cumulated memory: 81344 KiB
[startup+0.210153 s]*
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=17916252/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=194996 memory=164564 CPUtime=0.21 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 34606 0 0 0 16 5 0 0 20 0 1 0 406960314 199675904 41141 33554432000 4194304 4935366 140729079993344 140729079990344 140282865273829 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 48749 41141 574 181 0 42366 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 194996 KiB
Current children cumulated memory: 164564 KiB
[startup+0.309844 s]*
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=17885376/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=225940 memory=195452 CPUtime=0.31 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 42344 0 0 0 25 6 0 0 20 0 1 0 406960314 231362560 48863 33554432000 4194304 4935366 140729079993344 140729079990344 140282865266235 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 56485 48863 574 181 0 50102 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 225940 KiB
Current children cumulated memory: 195452 KiB
[startup+0.700454 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=17825236/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=337856 memory=307388 CPUtime=0.69 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 70323 0 0 0 60 9 0 0 20 0 1 0 406960314 345964544 76847 33554432000 4194304 4935366 140729079993344 140729079987976 140282865283984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 84464 76847 574 181 0 78081 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 337856 KiB
Current children cumulated memory: 307388 KiB
[startup+1.50044 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=17689436/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=543632 memory=513044 CPUtime=1.49 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 121767 0 0 0 133 16 0 0 20 0 1 0 406960314 556679168 128261 33554432000 4194304 4935366 140729079993344 140729079987976 140282865273829 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 135908 128261 574 181 0 129525 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 543632 KiB
Current children cumulated memory: 513044 KiB
[startup+3.10986 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=17211912/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=918056 memory=887580 CPUtime=3.09 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 224501 0 0 0 283 26 0 0 20 0 1 0 406960314 940089344 221895 33554432000 4194304 4935366 140729079993344 140729079987976 4592903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 229514 221895 574 181 0 223131 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 918056 KiB
Current children cumulated memory: 887580 KiB
[startup+6.30043 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=16608084/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=1496128 memory=1465772 CPUtime=6.29 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 506395 0 0 0 581 48 0 0 20 0 1 0 406960314 1532035072 366443 33554432000 4194304 4935366 140729079993344 140729079991368 4333136 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 374032 366443 593 181 0 367649 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1496128 KiB
Current children cumulated memory: 1465772 KiB
[startup+8.45849 s]
# the end of solver process 22075 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.85551 s, system=0.602941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40047 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=16608084/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=1496128 memory=1465772 CPUtime=6.39 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 521950 0 0 0 590 49 0 0 20 0 1 0 406960314 1532035072 366443 33554432000 4194304 4935366 140729079993344 140729079991368 140282865266201 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 374032 366443 593 181 0 367649 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 1496128 KiB
Current children cumulated memory: 1465772 KiB
[startup+7.20042 s]
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=16607960/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=1496128 memory=1465800 CPUtime=7.19 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 553665 0 0 0 669 50 0 0 20 0 1 0 406960314 1532035072 366450 33554432000 4194304 4935366 140729079993344 140729079991864 4390143 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 374032 366450 600 181 0 367649 0
Current children cumulated CPU time: 7.19 s
Current children cumulated vsize: 1496128 KiB
Current children cumulated memory: 1465800 KiB
[startup+8.00041 s]*
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=16607588/32770624 swapFree=66999144/67108860
[pid=22075] ppid=22072 vsize=1496128 memory=1465824 CPUtime=8 cores=0,2,4,6
/proc/22075/stat : 22075 (nacre_mini_rele) R 22072 22075 20510 0 -1 4202496 587508 0 0 0 748 52 0 0 20 0 1 0 406960314 1532035072 366456 33554432000 4194304 4935366 140729079993344 140729079991864 4390011 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 32247808 140729080001537 140729080001637 140729080001637 140729080004546 0
/proc/22075/statm: 374032 366456 606 181 0 367649 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 1496128 KiB
Current children cumulated memory: 1465824 KiB
[startup+8.4004 s]*
/proc/loadavg: 1.99 2.01 1.96 3/199 22076
/proc/meminfo: memFree=17015064/32770624 swapFree=66999144/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 8.45856
CPU time (s): 8.45845
CPU user time (s): 7.85551
CPU system time (s): 0.602941
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 1496128
Max. memory (cumulated for all children) (KiB): 1465824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.85551
system time used= 0.602941
maximum resident set size= 1465908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 590807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 22075
# total CPU time (s): 8.45845
# total CPU user time (s): 7.85551
# total CPU system time (s): 0.602941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062775 second user time and 0.101487 second system time
The end
Begin job on node140 at 2019-09-12 19:42:58
IDJOB=4391475
IDBENCH=131326
IDSOLVER=2834
FILE ID=node140/4391475-1568310219
RUNJOBID= node140-1568307582-20541
PBS_JOBID= 21701122
Free space on /tmp= 56868 MiB
SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-C-17.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391475-1568310219/watcher-4391475-1568310219 -o /tmp/evaluation-result-4391475-1568310219/solver-4391475-1568310219 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20541 --watchdog 2560 nacre_mini_release HOME/instance-4391475-1568310219.xml -ca -l100 -cm
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 968946b1363fb973e37d639f4c64f12a
RANDOM SEED=1378071483
node140.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 : 5333.43
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 : 5333.43
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 : 5333.43
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 : 5333.43
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: 18075168 kB
MemAvailable: 27932744 kB
Buffers: 145308 kB
Cached: 9887316 kB
SwapCached: 2876 kB
Active: 5476668 kB
Inactive: 8484524 kB
Active(anon): 3924992 kB
Inactive(anon): 43924 kB
Active(file): 1551676 kB
Inactive(file): 8440600 kB
Unevictable: 107728 kB
Mlocked: 107728 kB
SwapTotal: 67108860 kB
SwapFree: 66999144 kB
Dirty: 1052 kB
Writeback: 0 kB
AnonPages: 3959408 kB
Mapped: 43588 kB
Shmem: 32120 kB
Slab: 323684 kB
SReclaimable: 293760 kB
SUnreclaim: 29924 kB
KernelStack: 3808 kB
PageTables: 13572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 4472904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 56868 MiB
End job on node140 at 2019-09-12 19:43:07