0.00/0.00 c intension x[0] != x[2] using generic constraint
0.00/0.00 c intension x[0] != x[3] using generic constraint
0.00/0.01 c intension x[1] != x[3] using generic constraint
0.00/0.01 c intension x[1] != x[4] using generic constraint
0.00/0.01 c intension x[2] != x[4] using generic constraint
0.09/0.11 c SAT : Variables: 3125 -- Clauses: 975005
0.09/0.11 c root propagations : 0
0.09/0.11 c restarts enabled, print stats at every restarts
0.09/0.11 c
0.09/0.11 c
0.09/0.11 c
0.09/0.11 c This is cosoco 1.0 --
0.09/0.11 c
0.09/0.11 c ========================================[ Problem Statistics ]===========================================
0.09/0.11 c |
0.09/0.11 c | Parse time : 0.10 s
0.09/0.11 c |
0.09/0.11 c | Variables: 5
0.09/0.11 c | Domain Sizes: 625..625
0.09/0.11 c |
0.09/0.11 c | Constraints: 10
0.09/0.11 c | Arity: 2..2 -- Binary: 10
0.09/0.11 c |
0.09/0.11 c | Types:
0.09/0.11 c | (X != Y): 5
0.09/0.11 c | Intension: 5
0.09/0.11 c |
0.09/0.11 c =========================================================================================================
0.09/0.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.09/0.12 c 10 10 160 24797 1 9 1 1 0
0.09/0.13 c 20 20 310 49567 1 18 1 1 0
0.09/0.14 c 30 30 460 74359 1 27 1 1 0
0.09/0.16 c 40 40 610 99049 1 36 1 1 0
0.09/0.17 c 50 50 760 123774 1 45 1 1 0
0.09/0.18 c 60 60 910 148434 1 54 1 1 0
0.09/0.19 c 70 70 1060 173054 1 63 1 1 0
0.19/0.20 c 80 80 1210 197738 1 72 1 1 0
0.19/0.22 c 90 90 1360 222318 1 81 1 1 0
0.19/0.23 c 100 100 1510 246942 1 90 1 1 0
0.19/0.23 c 101 101 1525 249419 1 90 1 1 0
0.19/0.24 c 110 110 1660 271538 1 98 1 1 0
0.19/0.26 c 120 120 1810 296088 1 107 1 1 0
0.19/0.27 c 130 130 1960 320730 1 116 1 1 0
0.19/0.28 c 140 140 2110 345280 1 125 1 1 0
0.19/0.29 c 150 150 2260 369876 1 134 1 1 0
0.29/0.30 c 160 160 2410 394472 1 143 1 1 0
0.29/0.32 c 170 170 2560 419022 1 152 1 1 0
0.29/0.33 c 180 180 2710 443664 1 161 1 1 0
0.29/0.34 c 190 190 2860 468214 1 170 1 1 0
0.29/0.36 c 200 200 3010 492810 1 179 1 1 0
0.29/0.37 c 210 210 3160 517406 1 188 1 1 0
0.29/0.37 c 211 211 3175 519861 1 188 1 1 0
0.29/0.38 c 220 220 3310 541956 1 196 1 1 0
0.29/0.39 c 230 230 3460 566598 1 205 1 1 0
0.39/0.41 c 240 240 3610 591148 1 214 1 1 0
0.39/0.42 c 250 250 3760 615744 1 223 1 1 0
0.39/0.43 c 260 260 3910 640340 1 232 1 1 0
0.39/0.45 c 270 270 4060 664890 1 241 1 1 0
0.39/0.46 c 280 280 4210 689532 1 250 1 1 0
0.39/0.47 c 290 290 4360 714082 1 259 1 1 0
0.39/0.48 c 300 300 4510 738678 1 268 1 1 0
0.49/0.50 c 310 310 4660 763274 1 277 1 1 0
0.49/0.51 c 320 320 4810 787824 1 286 1 1 0
0.49/0.52 c 330 330 4960 812466 1 295 1 1 0
0.49/0.52 c 332 332 4990 817376 1 296 1 1 0
0.49/0.54 c 340 340 5110 837016 1 303 1 1 0
0.49/0.55 c 350 350 5260 861612 1 312 1 1 0
0.49/0.56 c 360 360 5410 886208 1 321 1 1 0
0.49/0.57 c 370 370 5560 910758 1 330 1 1 0
0.49/0.59 c 380 380 5710 935400 1 339 1 1 0
0.59/0.60 c 390 390 5860 959950 1 348 1 1 0
0.59/0.61 c 400 400 6010 984546 1 357 1 1 0
0.59/0.62 c 410 410 6160 1009142 1 366 1 1 0
0.59/0.64 c 420 420 6310 1033692 1 375 1 1 0
0.59/0.65 c 430 430 6460 1058334 1 384 1 1 0
0.59/0.66 c 440 440 6610 1082884 1 393 1 1 0
0.59/0.68 c 450 450 6760 1107480 1 402 1 1 0
0.59/0.69 c 460 460 6910 1132076 1 411 1 1 0
0.69/0.70 c 465 465 6985 1144351 1 415 1 1 0
0.69/0.70 c 470 470 7060 1156626 1 419 1 1 0
0.69/0.72 c 480 480 7210 1181268 1 428 1 1 0
0.69/0.73 c 490 490 7360 1205818 1 437 1 1 0
0.69/0.74 c 500 500 7510 1230414 1 446 1 1 0
0.69/0.75 c 510 510 7660 1255010 1 455 1 1 0
0.69/0.77 c 520 520 7810 1279560 1 464 1 1 0
0.69/0.78 c 530 530 7960 1304215 1 473 1 1 0
0.69/0.79 c 540 540 8110 1328795 1 482 1 1 0
0.79/0.81 c 550 550 8260 1353419 1 491 1 1 0
0.79/0.82 c 560 560 8410 1378079 1 500 1 1 0
0.79/0.83 c 570 570 8560 1402699 1 509 1 1 0
0.79/0.84 c 580 580 8710 1427429 1 518 1 1 0
0.79/0.85 c 590 590 8860 1452119 1 527 1 1 0
0.79/0.86 c 600 600 9010 1476844 1 536 1 1 0
0.79/0.87 c 610 610 9165 1502825 1 545 1 1 0
0.79/0.87 c 611 611 9185 1504122 3 545 1 1 0
0.79/0.88 c 620 620 9373 1515625 5 553 1 1 0
0.79/0.88 c restarts : 67
0.79/0.88 c conflicts : 624 (720 /sec)
0.79/0.88 c decisions : 624 (720 /sec)
0.79/0.88 c propagations : 1515976 (1749935 /sec)
0.79/0.88 c root propagations : 0
0.79/0.88 c filter calls : 9467 (10928 /sec)
0.79/0.88 c useless filter calls : 5054 (53 %)
0.79/0.88 c
0.79/0.88 c clauses : 975005
0.79/0.88 c SAT propagations : 0
0.79/0.88 c SAT conflicts : 0 (0 learnts)
0.79/0.88 c Memory used : 65.97 MB
0.79/0.88 c CPU time : 0.866304 s
0.79/0.88
0.79/0.88 s UNSATISFIABLE
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-4240212-1500623823/watcher-4240212-1500623823 -o /tmp/evaluation-result-4240212-1500623823/solver-4240212-1500623823 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500623778-4227 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240212-1500623823.xml
pid=4730
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.90 0.47 0.20 2/187 4733
/proc/meminfo: memFree=30129204/32770624 swapFree=6232/1062672
[pid=4733] ppid=4730 vsize=26992 CPUtime=0 cores=1,3,5,7
/proc/4733/stat : 4733 (cosoco) R 4730 4733 4195 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 1 0 15832554 27639808 832 33554432000 4194304 5970956 140729077513536 140729077510184 5219216 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18280448 140729077515452 140729077515587 140729077515587 140729077518286 0
/proc/4733/statm: 6748 832 740 434 0 112 0
[startup+0.100216 s]
/proc/loadavg: 1.90 0.47 0.20 2/187 4733
/proc/meminfo: memFree=30129204/32770624 swapFree=6232/1062672
[pid=4733] ppid=4730 vsize=62140 CPUtime=0.09 cores=1,3,5,7
/proc/4733/stat : 4733 (cosoco) R 4730 4733 4195 0 -1 4202496 6374 0 0 0 8 1 0 0 20 0 1 0 15832554 63631360 7705 33554432000 4194304 5970956 140729077513536 140729077510360 5279833 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18280448 140729077515452 140729077515587 140729077515587 140729077518286 0
/proc/4733/statm: 15535 7705 815 434 0 8899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62140
[startup+0.200378 s]
/proc/loadavg: 1.90 0.47 0.20 2/187 4733
/proc/meminfo: memFree=30129204/32770624 swapFree=6232/1062672
[pid=4733] ppid=4730 vsize=67548 CPUtime=0.19 cores=1,3,5,7
/proc/4733/stat : 4733 (cosoco) R 4730 4733 4195 0 -1 4202496 7817 0 0 0 18 1 0 0 20 0 1 0 15832554 69169152 10179 33554432000 4194304 5970956 140729077513536 140729077510872 5070006 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18280448 140729077515452 140729077515587 140729077515587 140729077518286 0
/proc/4733/statm: 16887 10179 815 434 0 10251 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 67548
[startup+0.300284 s]
/proc/loadavg: 1.90 0.47 0.20 2/187 4733
/proc/meminfo: memFree=30129204/32770624 swapFree=6232/1062672
[pid=4733] ppid=4730 vsize=67548 CPUtime=0.29 cores=1,3,5,7
/proc/4733/stat : 4733 (cosoco) R 4730 4733 4195 0 -1 4202496 7817 0 0 0 28 1 0 0 20 0 1 0 15832554 69169152 10179 33554432000 4194304 5970956 140729077513536 140729077510872 4967778 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18280448 140729077515452 140729077515587 140729077515587 140729077518286 0
/proc/4733/statm: 16887 10179 815 434 0 10251 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67548
[startup+0.700191 s]
/proc/loadavg: 1.90 0.47 0.20 2/187 4733
/proc/meminfo: memFree=30129204/32770624 swapFree=6232/1062672
[pid=4733] ppid=4730 vsize=67548 CPUtime=0.69 cores=1,3,5,7
/proc/4733/stat : 4733 (cosoco) R 4730 4733 4195 0 -1 4202496 7817 0 0 0 68 1 0 0 20 0 1 0 15832554 69169152 10179 33554432000 4194304 5970956 140729077513536 140729077510872 5069968 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18280448 140729077515452 140729077515587 140729077515587 140729077518286 0
/proc/4733/statm: 16887 10179 815 434 0 10251 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67548
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4733 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800207 s]
/proc/loadavg: 1.90 0.47 0.20 2/187 4733
/proc/meminfo: memFree=30129204/32770624 swapFree=6232/1062672
[pid=4733] ppid=4730 vsize=67548 CPUtime=0.79 cores=1,3,5,7
/proc/4733/stat : 4733 (cosoco) R 4730 4733 4195 0 -1 4202496 7817 0 0 0 78 1 0 0 20 0 1 0 15832554 69169152 10179 33554432000 4194304 5970956 140729077513536 140729077510872 4964406 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 18280448 140729077515452 140729077515587 140729077515587 140729077518286 0
/proc/4733/statm: 16887 10179 815 434 0 10251 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 67548
Child status: 0
Real time (s): 0.88556
CPU time (s): 0.88446
CPU user time (s): 0.866451
CPU system time (s): 0.018009
CPU usage (%): 99.8758
Max. virtual memory (cumulated for all children) (KiB): 67548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.866451
system time used= 0.018009
maximum resident set size= 40916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7836
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= 46
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004614 second user time and 0.016151 second system time
The end
Begin job on node134 at 2017-07-21 09:57:05
IDJOB=4240212
IDBENCH=120673
IDSOLVER=2621
FILE ID=node134/4240212-1500623823
RUNJOBID= node134-1500623778-4227
PBS_JOBID= 20622999
Free space on /tmp= 61660 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Knights/Knights-m1-s1/Knights-025-05.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240212-1500623823/watcher-4240212-1500623823 -o /tmp/evaluation-result-4240212-1500623823/solver-4240212-1500623823 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500623778-4227 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240212-1500623823.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 2360d4300bf0f014cb2ca48694f7fbc3
RANDOM SEED=618006526
node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/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 : 1600.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.83
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 : 1600.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 : 1600.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.83
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 : 1867.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 : 1600.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.83
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 : 1600.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 : 1600.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.83
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 : 1733.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: 30127136 kB
MemAvailable: 31992856 kB
Buffers: 156136 kB
Cached: 1971924 kB
SwapCached: 0 kB
Active: 1114176 kB
Inactive: 1071472 kB
Active(anon): 60376 kB
Inactive(anon): 8808 kB
Active(file): 1053800 kB
Inactive(file): 1062664 kB
Unevictable: 6232 kB
Mlocked: 6232 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 398572 kB
Writeback: 81412 kB
AnonPages: 63732 kB
Mapped: 32044 kB
Shmem: 8872 kB
Slab: 156104 kB
SReclaimable: 130180 kB
SUnreclaim: 25924 kB
KernelStack: 3328 kB
PageTables: 5872 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 316960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 61660 MiB
End job on node134 at 2017-07-21 09:57:06