0.31/0.34 c version: 2017-07-26
0.31/0.34 c seed: 1348929741
0.31/0.34 c timeout: 264
0.31/0.34 c memlimit: 11000
0.31/0.34 c nbcore: 4
0.31/0.36 c Parsing instance...
1.32/0.88 c Parsing done, starting search...
1.32/0.90 o 14415
1.32/0.90 o 12915
1.32/0.90 o 11485
1.61/0.91 o 10209
1.61/0.91 o 10169
1.61/0.91 o 9557
1.61/0.91 o 8927
1.61/0.91 o 6637
1.61/0.91 o 6405
1.61/0.91 o 6273
1.61/0.91 o 6165
1.61/0.92 o 6119
1.61/0.92 s OPTIMUM FOUND
1.61/0.92 v <instantiation>
1.61/0.92 v <list>
1.61/0.92 v x[0] drd[0][0] drd[1][0] drd[2][0] drd[3][0] drd[4][0] drd[5][0] drd[6][0] drd[7][0] drd[8][0] drd[9][0] drd[10][0] drd[11][0] drd[12][0] drd[13][0] drd[14][0] drd[15][0] drd[16][0] drd[17][0] drd[18][0] drd[19][0] drd[20][0] drd[21][0] drd[22][0] drd[23][0] drd[24][0] drd[25][0] drd[26][0] drd[27][0] drd[28][0] drd[29][0] drd[30][0] drd[31][0] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31]
1.61/0.92 v </list>
1.61/0.92 v <values>
1.61/0.92 v 137 0 87 15 15 50 56 50 79 23 39 42 112 114 574 96 375 375 33 70 524 524 330 330 101 75 75 469 469 72 125 411 409 0 87 15 15 50 56 50 79 23 39 42 112 114 574 96 375 375 33 70 524 524 330 330 101 75 75 469 469 72 125 411 409
1.61/0.92 v </values>
1.61/0.92 v </instantiation>
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255993-1501651933/watcher-4255993-1501651933 -o /tmp/evaluation-result-4255993-1501651933/solver-4255993-1501651933 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1348929741 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255993-1501651933.xml
pid=9689
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.00 2.00 3/199 9692
/proc/meminfo: memFree=31557312/32770624 swapFree=0/233776
[pid=9692] ppid=9689 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (runsolver) D 9689 9692 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13008657 24240128 108 18446744073709551615 4194304 4338465 140733588106976 140733588104616 140665339978455 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 20971520 140733588111462 140733588111942 140733588111942 140733588115402 0
/proc/9692/statm: 5918 108 54 36 0 2156 0
[startup+0.103902 s]
/proc/loadavg: 2.08 2.00 2.00 3/199 9692
/proc/meminfo: memFree=31557312/32770624 swapFree=0/233776
[pid=9692] ppid=9689 vsize=13574692 CPUtime=0.04 cores=1,3,5,7
/proc/9692/stat : 9692 (java) S 9689 9692 5228 0 -1 1077944320 4280 0 0 0 3 1 0 0 20 0 10 0 13008657 13900484608 4844 18446744073709551615 4194304 4196468 140720623017088 140720622999632 140130058030839 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 26173440 140720623022481 140720623022667 140720623022667 140720623026127 0
/proc/9692/statm: 3393673 4844 2136 1 0 3383178 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13574692
[startup+0.200261 s]
/proc/loadavg: 2.08 2.00 2.00 3/199 9692
/proc/meminfo: memFree=31557312/32770624 swapFree=0/233776
[pid=9692] ppid=9689 vsize=13975920 CPUtime=0.14 cores=1,3,5,7
/proc/9692/stat : 9692 (java) S 9689 9692 5228 0 -1 1077944320 9385 0 0 0 11 3 0 0 20 0 15 0 13008657 14311342080 8395 18446744073709551615 4194304 4196468 140720623017088 140720622999632 140130058030839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 26173440 140720623022481 140720623022667 140720623022667 140720623026127 0
/proc/9692/statm: 3493980 8395 3375 1 0 3482767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13975920
[startup+0.300224 s]
/proc/loadavg: 2.08 2.00 2.00 3/199 9692
/proc/meminfo: memFree=31557312/32770624 swapFree=0/233776
[pid=9692] ppid=9689 vsize=13975920 CPUtime=0.31 cores=1,3,5,7
/proc/9692/stat : 9692 (java) S 9689 9692 5228 0 -1 1077944320 10919 0 0 0 27 4 0 0 20 0 15 0 13008657 14311342080 10681 18446744073709551615 4194304 4196468 140720623017088 140720622999632 140130058030839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 26173440 140720623022481 140720623022667 140720623022667 140720623026127 0
/proc/9692/statm: 3493980 10681 3570 1 0 3482767 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 13975920
[startup+0.700218 s]
/proc/loadavg: 2.08 2.00 2.00 3/199 9692
/proc/meminfo: memFree=31557312/32770624 swapFree=0/233776
[pid=9692] ppid=9689 vsize=13977988 CPUtime=1.17 cores=1,3,5,7
/proc/9692/stat : 9692 (java) S 9689 9692 5228 0 -1 1077944320 15117 0 0 0 112 5 0 0 20 0 15 0 13008657 14313459712 18428 18446744073709551615 4194304 4196468 140720623017088 140720622999632 140130058030839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 26173440 140720623022481 140720623022667 140720623022667 140720623026127 0
/proc/9692/statm: 3494497 18428 3723 1 0 3483279 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9692 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800313 s]
/proc/loadavg: 2.08 2.00 2.00 3/199 9692
/proc/meminfo: memFree=31557312/32770624 swapFree=0/233776
[pid=9692] ppid=9689 vsize=13980036 CPUtime=1.32 cores=1,3,5,7
/proc/9692/stat : 9692 (java) S 9689 9692 5228 0 -1 1077944320 15806 0 0 0 126 6 0 0 20 0 15 0 13008657 14315556864 20676 18446744073709551615 4194304 4196468 140720623017088 140720622999632 140130058030839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 26173440 140720623022481 140720623022667 140720623022667 140720623026127 0
/proc/9692/statm: 3495009 20676 3728 1 0 3483791 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 13980036
[startup+0.906045 s]
/proc/loadavg: 2.08 2.00 2.00 3/199 9692
/proc/meminfo: memFree=31557312/32770624 swapFree=0/233776
[pid=9692] ppid=9689 vsize=13980036 CPUtime=1.61 cores=1,3,5,7
/proc/9692/stat : 9692 (java) S 9689 9692 5228 0 -1 1077944320 16307 0 0 0 155 6 0 0 20 0 15 0 13008657 14315556864 24702 18446744073709551615 4194304 4196468 140720623017088 140720622999632 140130058030839 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 26173440 140720623022481 140720623022667 140720623022667 140720623026127 0
/proc/9692/statm: 3495009 24702 3731 1 0 3483791 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 0.938606
CPU time (s): 1.70247
CPU user time (s): 1.63033
CPU system time (s): 0.072138
CPU usage (%): 181.383
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.63033
system time used= 0.072138
maximum resident set size= 101956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1746
involuntary context switches= 5
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.005417 second user time and 0.005521 second system time
The end
Begin job on node133 at 2017-08-02 07:18:07
IDJOB=4255993
IDBENCH=138383
IDSOLVER=2639
FILE ID=node133/4255993-1501651933
RUNJOBID= node133-1501622945-15686
PBS_JOBID=
Free space on /tmp= 61820 MiB
SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff69.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255993-1501651933/watcher-4255993-1501651933 -o /tmp/evaluation-result-4255993-1501651933/solver-4255993-1501651933 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1348929741 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255993-1501651933.xml
TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 3619f551efba05977411abbefb319bf8
RANDOM SEED=1348929741
node133.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.17
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.17
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.17
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.17
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: 31557704 kB
MemAvailable: 31799360 kB
Buffers: 123196 kB
Cached: 398944 kB
SwapCached: 0 kB
Active: 561888 kB
Inactive: 242312 kB
Active(anon): 282408 kB
Inactive(anon): 8536 kB
Active(file): 279480 kB
Inactive(file): 233776 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42932 kB
Writeback: 0 kB
AnonPages: 291772 kB
Mapped: 44968 kB
Shmem: 8892 kB
Slab: 114788 kB
SReclaimable: 88468 kB
SUnreclaim: 26320 kB
KernelStack: 3776 kB
PageTables: 5704 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 1245252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 354332 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 188416 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 132480 kB
DirectMap2M: 33413120 kB
Free space on /tmp at the end= 61780 MiB
End job on node133 at 2017-08-02 07:18:08