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 (8640 MiB free)
memory of node 1: 16384 MiB (5341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303068-1534018345/watcher-4303068-1534018345 -o /tmp/evaluation-result-4303068-1534018345/solver-4303068-1534018345 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12841 --watchdog 2580 xcsp_picat HOME/instance-4303068-1534018345.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=18124, runsolver pid=18121
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14301208/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2027780 memory=18368 CPUtime=0.1 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 2450 0 0 0 10 0 0 0 20 0 1 0 219397406 2076446720 4592 33554432000 4194304 5849708 140733193783904 140733193783904 5368757 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 506945 4592 725 405 0 503890 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027780 KiB
Current children cumulated memory: 18368 KiB
[startup+0.209661 s]*
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14300092/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2029292 memory=19332 CPUtime=0.21 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 2740 0 0 0 20 1 0 0 20 0 1 0 219397406 2077995008 4833 33554432000 4194304 5849708 140733193783904 140733193783904 5362064 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 507323 4833 728 405 0 504268 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2029292 KiB
Current children cumulated memory: 19332 KiB
[startup+0.309056 s]*
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14300092/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2029020 memory=19404 CPUtime=0.31 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 2782 0 0 0 30 1 0 0 20 0 1 0 219397406 2077716480 4851 33554432000 4194304 5849708 140733193783904 140733193783904 5337040 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 507255 4851 728 405 0 504200 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2029020 KiB
Current children cumulated memory: 19404 KiB
[startup+0.70027 s]
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14300092/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2029020 memory=19404 CPUtime=0.7 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 2787 0 0 0 69 1 0 0 20 0 1 0 219397406 2077716480 4851 33554432000 4194304 5849708 140733193783904 140733193782392 5328528 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 507255 4851 728 405 0 504200 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2029020 KiB
Current children cumulated memory: 19404 KiB
[startup+1.50028 s]
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14299868/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2030608 memory=21016 CPUtime=1.49 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 3777 0 0 0 148 1 0 0 20 0 1 0 219397406 2079342592 5254 33554432000 4194304 5849708 140733193783904 140733193782392 5305421 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 507652 5254 750 405 0 504597 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2030608 KiB
Current children cumulated memory: 21016 KiB
[startup+3.10939 s]
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14302132/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2028768 memory=19228 CPUtime=3.1 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 6168 0 0 0 309 1 0 0 20 0 1 0 219397406 2077458432 4807 33554432000 4194304 5849708 140733193783904 140733193782392 5310742 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 507192 4807 750 405 0 504137 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2028768 KiB
Current children cumulated memory: 19228 KiB
[startup+4.57647 s]
# the end of solver process 18124 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.55284 s, system=0.022999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2003 s]
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14302132/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2028768 memory=19228 CPUtime=3.19 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 6170 0 0 0 318 1 0 0 20 0 1 0 219397406 2077458432 4807 33554432000 4194304 5849708 140733193783904 140733193782392 5391822 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 507192 4807 750 405 0 504137 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 2028768 KiB
Current children cumulated memory: 19228 KiB
[startup+4.00025 s]*
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14302080/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2026064 memory=16816 CPUtime=3.99 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 6638 0 0 0 398 1 0 0 20 0 1 0 219397406 2074689536 4204 33554432000 4194304 5849708 140733193783904 140733193782392 140535377530759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 506516 4204 750 405 0 503461 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 2026064 KiB
Current children cumulated memory: 16816 KiB
[startup+4.40025 s]
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14302080/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2030608 memory=20996 CPUtime=4.39 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 7743 0 0 0 437 2 0 0 20 0 1 0 219397406 2079342592 5249 33554432000 4194304 5849708 140733193783904 140733193782392 4217836 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 507652 5249 750 405 0 504597 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 2030608 KiB
Current children cumulated memory: 20996 KiB
[startup+4.50025 s]
/proc/loadavg: 2.17 2.05 2.06 3/188 18125
/proc/meminfo: memFree=14302080/32770624 swapFree=67108688/67108860
[pid=18124] ppid=18121 vsize=2030608 memory=20996 CPUtime=4.49 cores=0,2,4,6
/proc/18124/stat : 18124 (xcsp_picat) R 18121 18124 12810 0 -1 4202496 7747 0 0 0 447 2 0 0 20 0 1 0 219397406 2079342592 5249 33554432000 4194304 5849708 140733193783904 140733193782392 5308864 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 16433152 140733193786550 140733193786628 140733193786628 140733193789386 0
/proc/18124/statm: 507652 5249 750 405 0 504597 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 2030608 KiB
Current children cumulated memory: 20996 KiB
Child status: 0
Real time (s): 4.5765
CPU time (s): 4.57583
CPU user time (s): 4.55284
CPU system time (s): 0.022999
CPU usage (%): 99.9855
Max. virtual memory (cumulated for all children) (KiB): 2030608
Max. memory (cumulated for all children) (KiB): 21232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.55284
system time used= 0.022999
maximum resident set size= 21236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7781
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: 18124
# total CPU time (s): 4.57583
# total CPU user time (s): 4.55284
# total CPU system time (s): 0.022999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036106 second user time and 0.071151 second system time
The end
Begin job on node106 at 2018-08-11 22:12:25
IDJOB=4303068
IDBENCH=141466
IDSOLVER=2778
FILE ID=node106/4303068-1534018345
RUNJOBID= node106-1533989978-12841
PBS_JOBID= 21036938
Free space on /tmp= 39652 MiB
SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/Rcpsp/Rcpsp-j30-01-04_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303068-1534018345/watcher-4303068-1534018345 -o /tmp/evaluation-result-4303068-1534018345/solver-4303068-1534018345 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12841 --watchdog 2580 xcsp_picat HOME/instance-4303068-1534018345.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= b6ecdc29b52a96e4336a8061885c8d68
RANDOM SEED=1869106908
node106.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 : 5334.11
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 : 5334.11
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 : 5334.11
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 : 5334.11
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: 14317296 kB
MemAvailable: 25389732 kB
Buffers: 81860 kB
Cached: 11139120 kB
SwapCached: 0 kB
Active: 11981836 kB
Inactive: 5798620 kB
Active(anon): 6504580 kB
Inactive(anon): 107224 kB
Active(file): 5477256 kB
Inactive(file): 5691396 kB
Unevictable: 6996 kB
Mlocked: 6996 kB
SwapTotal: 67108860 kB
SwapFree: 67108688 kB
Dirty: 3252 kB
Writeback: 0 kB
AnonPages: 6580668 kB
Mapped: 53464 kB
Shmem: 49632 kB
Slab: 359668 kB
SReclaimable: 332244 kB
SUnreclaim: 27424 kB
KernelStack: 3584 kB
PageTables: 18116 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 8517340 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3366912 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 39648 MiB
End job on node106 at 2018-08-11 22:12:30