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 (13541 MiB free)
memory of node 1: 16384 MiB (14205 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303198-1534021127/watcher-4303198-1534021127 -o /tmp/evaluation-result-4303198-1534021127/solver-4303198-1534021127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1533992673-18252 --watchdog 2580 xcsp_picat HOME/instance-4303198-1534021127.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
solver pid=21366, runsolver pid=21363
Current StackSize limit: 8192 KiB
[startup+0.100197 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28395840/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2025744 memory=20320 CPUtime=0.1 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 1658 0 0 0 10 0 0 0 20 0 1 0 219675850 2074361856 5080 33554432000 4194304 5849708 140728521598640 140728521598640 5473647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506436 5080 714 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 20320 KiB
[startup+0.209814 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28395840/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2025744 memory=20320 CPUtime=0.21 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 1663 0 0 0 21 0 0 0 20 0 1 0 219675850 2074361856 5080 33554432000 4194304 5849708 140728521598640 140728521598640 5519877 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506436 5080 714 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 20320 KiB
[startup+0.308976 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28394724/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2026524 memory=21248 CPUtime=0.3 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 1952 0 0 0 30 0 0 0 20 0 1 0 219675850 2075160576 5312 33554432000 4194304 5849708 140728521598640 140728521598640 5373299 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506631 5312 735 405 0 503576 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026524 KiB
Current children cumulated memory: 21248 KiB
[startup+0.700336 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28394724/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2026084 memory=20788 CPUtime=0.69 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 2054 0 0 0 69 0 0 0 20 0 1 0 219675850 2074710016 5197 33554432000 4194304 5849708 140728521598640 140728521598640 5471915 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506521 5197 760 405 0 503466 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026084 KiB
Current children cumulated memory: 20788 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28393992/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2027292 memory=21996 CPUtime=1.49 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 2613 0 0 0 147 2 0 0 20 0 1 0 219675850 2075947008 5499 33554432000 4194304 5849708 140728521598640 140728521597800 5395948 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506823 5499 760 405 0 503768 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2027292 KiB
Current children cumulated memory: 21996 KiB
[startup+3.10933 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28394060/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2027308 memory=21956 CPUtime=3.1 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 3690 0 0 0 307 3 0 0 20 0 1 0 219675850 2075963392 5489 33554432000 4194304 5849708 140728521598640 140728521596904 5358843 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506827 5489 760 405 0 503772 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2027308 KiB
Current children cumulated memory: 21956 KiB
[startup+3.94077 s]
# the end of solver process 21366 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.89482 s, system=0.046001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20035 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28394060/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2027308 memory=21956 CPUtime=3.19 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 3690 0 0 0 316 3 0 0 20 0 1 0 219675850 2075963392 5489 33554432000 4194304 5849708 140728521598640 140728521596904 140617095200647 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506827 5489 760 405 0 503772 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 2027308 KiB
Current children cumulated memory: 21956 KiB
[startup+3.60031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28394060/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2027292 memory=21968 CPUtime=3.59 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 4214 0 0 0 355 4 0 0 20 0 1 0 219675850 2075947008 5492 33554432000 4194304 5849708 140728521598640 140728521596904 5366437 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506823 5492 760 405 0 503768 0
Current children cumulated CPU time: 3.59 s
Current children cumulated vsize: 2027292 KiB
Current children cumulated memory: 21968 KiB
[startup+3.80031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28394060/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2027292 memory=21968 CPUtime=3.79 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 4214 0 0 0 375 4 0 0 20 0 1 0 219675850 2075947008 5492 33554432000 4194304 5849708 140728521598640 140728521596904 140617094738493 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506823 5492 760 405 0 503768 0
Current children cumulated CPU time: 3.79 s
Current children cumulated vsize: 2027292 KiB
Current children cumulated memory: 21968 KiB
[startup+3.90031 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21367
/proc/meminfo: memFree=28394060/32770624 swapFree=67108804/67108860
[pid=21366] ppid=21363 vsize=2027292 memory=21968 CPUtime=3.89 cores=0,2,4,6
/proc/21366/stat : 21366 (xcsp_picat) R 21363 21366 18221 0 -1 4202496 4214 0 0 0 385 4 0 0 20 0 1 0 219675850 2075947008 5492 33554432000 4194304 5849708 140728521598640 140728521596904 5394535 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 30289920 140728521602230 140728521602308 140728521602308 140728521605066 0
/proc/21366/statm: 506823 5492 760 405 0 503768 0
Current children cumulated CPU time: 3.89 s
Current children cumulated vsize: 2027292 KiB
Current children cumulated memory: 21968 KiB
Child status: 0
Real time (s): 3.94079
CPU time (s): 3.94082
CPU user time (s): 3.89482
CPU system time (s): 0.046001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2028332
Max. memory (cumulated for all children) (KiB): 22896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.89482
system time used= 0.046001
maximum resident set size= 22896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4243
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= 2
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 21366
# total CPU time (s): 3.94082
# total CPU user time (s): 3.89482
# total CPU system time (s): 0.046001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039775 second user time and 0.057684 second system time
The end
Begin job on node105 at 2018-08-11 22:58:47
IDJOB=4303198
IDBENCH=141525
IDSOLVER=2778
FILE ID=node105/4303198-1534021127
RUNJOBID= node105-1533992673-18252
PBS_JOBID= 21036949
Free space on /tmp= 40728 MiB
SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/Mario/Mario-easy-5_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303198-1534021127/watcher-4303198-1534021127 -o /tmp/evaluation-result-4303198-1534021127/solver-4303198-1534021127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1533992673-18252 --watchdog 2580 xcsp_picat HOME/instance-4303198-1534021127.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 4fc2559afebff091b84e9ba27308c103
RANDOM SEED=44929214
node105.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.32
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.32
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.32
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.32
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: 28413232 kB
MemAvailable: 31535012 kB
Buffers: 56668 kB
Cached: 3330988 kB
SwapCached: 16 kB
Active: 2056644 kB
Inactive: 1767032 kB
Active(anon): 386240 kB
Inactive(anon): 102096 kB
Active(file): 1670404 kB
Inactive(file): 1664936 kB
Unevictable: 7372 kB
Mlocked: 7372 kB
SwapTotal: 67108860 kB
SwapFree: 67108804 kB
Dirty: 3140 kB
Writeback: 0 kB
AnonPages: 441968 kB
Mapped: 52064 kB
Shmem: 49748 kB
Slab: 232332 kB
SReclaimable: 204548 kB
SUnreclaim: 27784 kB
KernelStack: 3344 kB
PageTables: 6548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 2754932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 321536 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 130432 kB
DirectMap2M: 33415168 kB
Free space on /tmp at the end= 40724 MiB
End job on node105 at 2018-08-11 22:58:51