Trace number 4088558

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb
MD5SUM149bc47a65ee9b475f97ab5e9dc95355
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-57
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 16038
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 16038
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 108144
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 40451 #constraint= 40950
65.17/65.25	c #Conflicts:       1000 | #Learnt:       1038 | 2.704
65.17/65.25	c total clause space: 545.701MB
65.17/65.25	c total #watches: 318299
163.36/163.43	c total #propagations: 3237253 / total #impl: 11672761 (eff. 0.277)
163.36/163.43	c #Conflicts:       2000 | #Learnt:       2039 | 1.592
163.36/163.43	c total clause space: 545.701MB
163.36/163.43	c total #watches: 2024779
251.75/251.84	c total #propagations: 4482911 / total #impl: 84831991 (eff. 0.053)
251.75/251.84	c GC COLLECT
251.75/251.84	c #Conflicts:       3000 | #Learnt:       2087 | 1.061
251.75/251.84	c total clause space: 545.701MB
251.75/251.84	c total #watches: 2337191
364.33/364.45	c total #propagations: 4857682 / total #impl: 277341194 (eff. 0.018)
364.33/364.45	c #Conflicts:       4000 | #Learnt:       3087 | 2.162
364.33/364.45	c total clause space: 545.701MB
364.33/364.45	c total #watches: 3344448
420.52/420.61	c total #propagations: 5645229 / total #impl: 411158151 (eff. 0.014)
420.52/420.61	c GC COLLECT
420.52/420.61	c #Conflicts:       5000 | #Learnt:       2473 | 1.829
420.52/420.61	c total clause space: 545.701MB
420.52/420.61	c total #watches: 3824403
460.21/460.32	c total #propagations: 6547885 / total #impl: 469332730 (eff. 0.014)
460.21/460.32	c #Conflicts:       6000 | #Learnt:       3473 | 1.551
460.21/460.32	c total clause space: 545.701MB
460.21/460.32	c total #watches: 7544986
537.20/537.38	c total #propagations: 6833302 / total #impl: 943892789 (eff. 0.007)
537.20/537.38	c GC COLLECT
537.20/537.38	c #Conflicts:       7000 | #Learnt:       2364 | 1.398
537.20/537.38	c total clause space: 545.701MB
537.20/537.38	c total #watches: 8346098
619.39/619.55	c total #propagations: 7916159 / total #impl: 1075444963 (eff. 0.007)
619.39/619.55	c #Conflicts:       8000 | #Learnt:       3364 | 1.228
619.39/619.55	c total clause space: 545.701MB
619.39/619.55	c total #watches: 9115707
718.28/718.44	c total #propagations: 9451752 / total #impl: 1182265457 (eff. 0.008)
718.28/718.44	c #Conflicts:       9000 | #Learnt:       4364 | 1.092
718.28/718.44	c total clause space: 545.701MB
718.28/718.44	c total #watches: 10395928
804.26/804.48	c total #propagations: 11280658 / total #impl: 1372219096 (eff. 0.008)
804.26/804.48	c GC COLLECT
804.26/804.48	c #Conflicts:      10000 | #Learnt:       2851 | 0.983
804.26/804.48	c total clause space: 545.701MB
804.26/804.48	c total #watches: 5821670
855.45/855.67	c total #propagations: 13082522 / total #impl: 1435877927 (eff. 0.009)
855.45/855.67	c #Conflicts:      11000 | #Learnt:       3851 | 1.053
855.45/855.67	c total clause space: 545.701MB
855.45/855.67	c total #watches: 12599906
1039.73/1039.91	c total #propagations: 13514992 / total #impl: 2165407657 (eff. 0.006)
1039.73/1039.91	c #Conflicts:      12000 | #Learnt:       4851 | 1.001
1039.73/1039.91	c total clause space: 886.764MB
1039.73/1039.91	c total #watches: 16115768
1298.78/1299.02	c total #propagations: 15416497 / total #impl: 2562345377 (eff. 0.006)
1298.78/1299.02	c #Conflicts:      13000 | #Learnt:       5851 | 2.051
1298.78/1299.02	c total clause space: 886.764MB
1298.78/1299.02	c total #watches: 16572476
1431.77/1432.04	c total #propagations: 17683709 / total #impl: 2910487629 (eff. 0.006)
1431.77/1432.04	c GC COLLECT
1431.77/1432.04	c #Conflicts:      14000 | #Learnt:       4001 | 2.238
1431.77/1432.04	c total clause space: 886.764MB
1431.77/1432.04	c total #watches: 14224438
1583.54/1583.81	c total #propagations: 19200833 / total #impl: 3029359656 (eff. 0.006)
1583.54/1583.81	c #Conflicts:      15000 | #Learnt:       5001 | 2.089
1583.54/1583.81	c total clause space: 886.764MB
1583.54/1583.81	c total #watches: 15526907

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-4088558-1465441637/watcher-4088558-1465441637 -o /tmp/evaluation-result-4088558-1465441637/solver-4088558-1465441637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465427031-29728 --watchdog 1960 --input HOME/instance-4088558-1465441637.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=31513
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.18 2.07 2.02 3/176 31516
/proc/meminfo: memFree=30424816/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 126097014 29810688 5268 33554432000 4194304 6201397 140735915914576 140736164113512 4211048 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 7278 5268 130 491 0 6777 0

[startup+0.100165 s]
/proc/loadavg: 2.18 2.07 2.02 3/176 31516
/proc/meminfo: memFree=30424816/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=35236 CPUtime=0.09 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 1632 0 0 0 9 0 0 0 20 0 1 0 126097014 36081664 7728 33554432000 4194304 6201397 140735915914576 140736164113512 5408672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 8809 7728 142 491 0 8308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35236

[startup+0.200359 s]
/proc/loadavg: 2.18 2.07 2.02 3/176 31516
/proc/meminfo: memFree=30424816/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=43072 CPUtime=0.19 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 3521 0 0 0 19 0 0 0 20 0 1 0 126097014 44105728 8837 33554432000 4194304 6201397 140735915914576 140736164113512 5408672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 10768 8838 143 491 0 10267 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 43072

[startup+0.300328 s]
/proc/loadavg: 2.18 2.07 2.02 3/176 31516
/proc/meminfo: memFree=30424816/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=52180 CPUtime=0.29 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 4690 0 0 0 29 0 0 0 20 0 1 0 126097014 53432320 9998 33554432000 4194304 6201397 140735915914576 140736164113512 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 13045 9998 147 491 0 12544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52180

[startup+0.700312 s]
/proc/loadavg: 2.18 2.07 2.02 3/176 31516
/proc/meminfo: memFree=30424816/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=64176 CPUtime=0.68 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 4886 0 0 0 68 0 0 0 20 0 1 0 126097014 65716224 11722 33554432000 4194304 6201397 140735915914576 140735915913288 4198559 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 16044 11722 147 491 0 15543 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 64176

[startup+1.50031 s]
/proc/loadavg: 2.18 2.07 2.02 3/177 31517
/proc/meminfo: memFree=30369492/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=114320 CPUtime=1.49 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 5194 0 0 0 148 1 0 0 20 0 1 0 126097014 117063680 19681 33554432000 4194304 6201397 140735915914576 140735915913288 4221954 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 28580 19681 147 491 0 28079 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114320

[startup+3.10029 s]
/proc/loadavg: 2.17 2.07 2.02 3/177 31517
/proc/meminfo: memFree=30306068/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=164896 CPUtime=3.09 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 5470 0 0 0 307 2 0 0 20 0 1 0 126097014 168853504 33236 33554432000 4194304 6201397 140735915914576 140735915913288 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 41224 33236 147 491 0 40723 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 164896

[startup+6.30024 s]
/proc/loadavg: 2.17 2.07 2.02 3/177 31517
/proc/meminfo: memFree=30270704/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=246976 CPUtime=6.29 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 5805 0 0 0 626 3 0 0 20 0 1 0 126097014 252903424 40720 33554432000 4194304 6201397 140735915914576 140735915913288 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 61744 40720 147 491 0 61243 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 246976

[startup+12.7003 s]
/proc/loadavg: 2.14 2.07 2.02 3/176 31517
/proc/meminfo: memFree=30211408/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=247748 CPUtime=12.69 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 6041 0 0 0 1265 4 0 0 20 0 1 0 126097014 253693952 54242 33554432000 4194304 6201397 140735915914576 140735915913288 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 61937 54242 147 491 0 61436 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 247748

[startup+25.5003 s]
/proc/loadavg: 2.12 2.06 2.02 3/177 31518
/proc/meminfo: memFree=30163100/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=380944 CPUtime=25.48 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 6417 0 0 0 2544 4 0 0 20 0 1 0 126097014 390086656 61766 33554432000 4194304 6201397 140735915914576 140735915913608 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 95236 61766 147 491 0 94735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 380944

[startup+51.1003 s]
/proc/loadavg: 2.21 2.09 2.02 3/177 31518
/proc/meminfo: memFree=30055252/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=382332 CPUtime=51.08 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 6821 0 0 0 5103 5 0 0 20 0 1 0 126097014 391507968 86698 33554432000 4194304 6201397 140735915914576 140735915913288 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 95583 86698 147 491 0 95082 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 382332

[startup+102.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/177 31519
/proc/meminfo: memFree=29895588/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=599004 CPUtime=102.28 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 7339 0 0 0 10221 7 0 0 20 0 1 0 126097014 613380096 112255 33554432000 4194304 6201397 140735915914576 140735915913288 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 149751 112255 160 491 0 149250 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 599004

[startup+162.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/177 31520
/proc/meminfo: memFree=29777380/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=612740 CPUtime=162.26 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 20899 0 0 0 16216 10 0 0 20 0 1 0 126097014 627445760 139101 33554432000 4194304 6201397 140735915914576 140735915913208 4240322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 153185 139101 160 491 0 152684 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 612740

[startup+222.307 s]
/proc/loadavg: 2.21 2.10 2.03 3/178 31524
/proc/meminfo: memFree=29645136/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=622700 CPUtime=222.26 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 30305 0 0 0 22214 12 0 0 20 0 1 0 126097014 637644800 149194 33554432000 4194304 6201397 140735915914576 140735915912856 4213180 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 155675 149194 160 491 0 155174 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 622700

[startup+282.3 s]
/proc/loadavg: 2.15 2.10 2.03 3/177 31525
/proc/meminfo: memFree=29603752/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=623500 CPUtime=282.25 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 73397 0 0 0 28206 19 0 0 20 0 1 0 126097014 638464000 149422 33554432000 4194304 6201397 140735915914576 140735915912856 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 155875 149422 166 491 0 155374 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 623500

[startup+342.3 s]
/proc/loadavg: 2.09 2.09 2.03 3/177 31527
/proc/meminfo: memFree=29556216/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=624288 CPUtime=342.23 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 73717 0 0 0 34204 19 0 0 20 0 1 0 126097014 639270912 149759 33554432000 4194304 6201397 140735915914576 140735915912856 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 156072 149759 166 491 0 155571 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 624288

[startup+402.3 s]
/proc/loadavg: 2.21 2.12 2.04 3/177 31528
/proc/meminfo: memFree=29496940/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=646556 CPUtime=402.22 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 79259 0 0 0 40203 19 0 0 20 0 1 0 126097014 662073344 155317 33554432000 4194304 6201397 140735915914576 140735915912856 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 161639 155317 166 491 0 161138 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 646556

[startup+462.3 s]
/proc/loadavg: 2.14 2.11 2.04 3/177 31529
/proc/meminfo: memFree=29427500/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=707760 CPUtime=462.21 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 124332 0 0 0 46195 26 0 0 20 0 1 0 126097014 724746240 170579 33554432000 4194304 6201397 140735915914576 140735915913288 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 176940 170579 166 491 0 176439 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 707760

[startup+522.3 s]
/proc/loadavg: 2.17 2.12 2.04 3/177 31530
/proc/meminfo: memFree=29414976/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=715384 CPUtime=522.21 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 128070 0 0 0 52194 27 0 0 20 0 1 0 126097014 732553216 172565 33554432000 4194304 6201397 140735915914576 140735915913288 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 178846 172565 166 491 0 178345 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 715384

[startup+582.3 s]
/proc/loadavg: 2.21 2.14 2.05 3/177 31531
/proc/meminfo: memFree=29402876/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=716560 CPUtime=582.2 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 128660 0 0 0 58193 27 0 0 20 0 1 0 126097014 733757440 173052 33554432000 4194304 6201397 140735915914576 140735915913288 4213339 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 179140 173052 166 491 0 178639 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 716560


################
# More data... #
################


[startup+942.3 s]
/proc/loadavg: 2.18 2.11 2.06 3/177 31542
/proc/meminfo: memFree=29044132/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1164488 CPUtime=942.14 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 299672 0 0 0 94158 56 0 0 20 0 1 0 126097014 1192435712 237720 33554432000 4194304 6201397 140735915914576 140735915913288 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 291122 237720 166 491 0 290621 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1164488

[startup+1002.3 s]
/proc/loadavg: 2.28 2.14 2.07 3/177 31543
/proc/meminfo: memFree=28977488/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1165044 CPUtime=1002.13 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 299812 0 0 0 100157 56 0 0 20 0 1 0 126097014 1193005056 238371 33554432000 4194304 6201397 140735915914576 140735915913288 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 291261 238371 166 491 0 290760 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1165044

[startup+1062.3 s]
/proc/loadavg: 2.15 2.13 2.07 3/177 31544
/proc/meminfo: memFree=28869036/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1165840 CPUtime=1062.13 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 300014 0 0 0 106156 57 0 0 20 0 1 0 126097014 1193820160 240106 33554432000 4194304 6201397 140735915914576 140735915913704 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 291460 240106 166 491 0 290959 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1165840

[startup+1122.3 s]
/proc/loadavg: 2.17 2.13 2.07 3/177 31545
/proc/meminfo: memFree=28838764/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1166000 CPUtime=1122.12 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 300059 0 0 0 112155 57 0 0 20 0 1 0 126097014 1193984000 241173 33554432000 4194304 6201397 140735915914576 140735915913288 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 291500 241173 166 491 0 290999 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1166000

[startup+1182.3 s]
/proc/loadavg: 2.12 2.12 2.07 3/177 31546
/proc/meminfo: memFree=28802404/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1166396 CPUtime=1182.1 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 300163 0 0 0 118153 57 0 0 20 0 1 0 126097014 1194389504 243832 33554432000 4194304 6201397 140735915914576 140735915913288 4214498 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 291599 243832 166 491 0 291098 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1166396

[startup+1242.3 s]
/proc/loadavg: 2.14 2.13 2.07 3/177 31548
/proc/meminfo: memFree=28795764/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1166744 CPUtime=1242.09 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 300269 0 0 0 124152 57 0 0 20 0 1 0 126097014 1194745856 244960 33554432000 4194304 6201397 140735915914576 140735915912856 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 291686 244960 166 491 0 291185 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1166744

[startup+1302.3 s]
/proc/loadavg: 2.13 2.12 2.07 3/177 31549
/proc/meminfo: memFree=28717140/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1167000 CPUtime=1302.08 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 301118 0 0 0 130150 58 0 0 20 0 1 0 126097014 1195008000 262308 33554432000 4194304 6201397 140735915914576 140735915913704 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 291750 262308 166 491 0 291249 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1167000

[startup+1362.3 s]
/proc/loadavg: 2.11 2.11 2.07 3/177 31550
/proc/meminfo: memFree=28667064/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1167240 CPUtime=1362.08 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 301789 0 0 0 136149 59 0 0 20 0 1 0 126097014 1195253760 262329 33554432000 4194304 6201397 140735915914576 140735915913288 4213244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 291810 262329 166 491 0 291309 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1167240

[startup+1422.3 s]
/proc/loadavg: 2.08 2.10 2.07 3/178 31554
/proc/meminfo: memFree=28562212/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1167672 CPUtime=1422.08 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 301934 0 0 0 142149 59 0 0 20 0 1 0 126097014 1195696128 262474 33554432000 4194304 6201397 140735915914576 140735915912856 4213249 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 291918 262474 166 491 0 291417 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1167672

[startup+1482.3 s]
/proc/loadavg: 2.15 2.11 2.08 3/177 31555
/proc/meminfo: memFree=28548688/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1168740 CPUtime=1482.06 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 302176 0 0 0 148147 59 0 0 20 0 1 0 126097014 1196789760 262716 33554432000 4194304 6201397 140735915914576 140735915912856 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 292185 262716 166 491 0 291684 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1168740

[startup+1542.31 s]
/proc/loadavg: 2.24 2.14 2.09 3/177 31557
/proc/meminfo: memFree=28488320/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1170248 CPUtime=1542.06 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 302567 0 0 0 154147 59 0 0 20 0 1 0 126097014 1198333952 263107 33554432000 4194304 6201397 140735915914576 140735915912856 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 292562 263107 166 491 0 292061 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1170248

[startup+1602.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/177 31558
/proc/meminfo: memFree=28483012/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1170996 CPUtime=1602.04 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 302726 0 0 0 160145 59 0 0 20 0 1 0 126097014 1199099904 263266 33554432000 4194304 6201397 140735915914576 140735915912856 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 292749 263266 166 491 0 292248 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1170996

[startup+1662.3 s]
/proc/loadavg: 2.23 2.15 2.10 3/177 32203
/proc/meminfo: memFree=29701808/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1170996 CPUtime=1662.03 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 302726 0 0 0 166144 59 0 0 20 0 1 0 126097014 1199099904 263266 33554432000 4194304 6201397 140735915914576 140735915912856 4213371 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 292749 263266 166 491 0 292248 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1170996

[startup+1722.3 s]
/proc/loadavg: 1.67 2.01 2.05 3/170 32280
/proc/meminfo: memFree=29756576/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1170996 CPUtime=1722.02 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 302742 0 0 0 172143 59 0 0 20 0 1 0 126097014 1199099904 263282 33554432000 4194304 6201397 140735915914576 140735915912856 4213244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 292749 263282 166 491 0 292248 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1170996

[startup+1782.3 s]
/proc/loadavg: 1.30 1.84 1.99 2/170 32281
/proc/meminfo: memFree=29755624/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1171624 CPUtime=1782.01 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 302918 0 0 0 178142 59 0 0 20 0 1 0 126097014 1199742976 263524 33554432000 4194304 6201397 140735915914576 140735915912856 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 292906 263524 166 491 0 292405 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1171624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.21 1.78 1.96 2/170 32281
/proc/meminfo: memFree=29755904/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1171624 CPUtime=1800.01 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 302918 0 0 0 179942 59 0 0 20 0 1 0 126097014 1199742976 263524 33554432000 4194304 6201397 140735915914576 140735915912856 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 292906 263524 166 491 0 292405 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1171624

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31516 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 1.21 1.78 1.96 2/170 32281
/proc/meminfo: memFree=29755904/32872528 swapFree=11320/319964
[pid=31516] ppid=31513 vsize=1171624 CPUtime=1800.01 cores=1,3,5,7
/proc/31516/stat : 31516 (cdcl-cuttingpla) R 31513 31516 29711 0 -1 4202496 302918 0 0 0 179942 59 0 0 20 0 1 0 126097014 1199742976 263524 33554432000 4194304 6201397 140735915914576 140735915912856 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31516/statm: 292906 263524 166 491 0 292405 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1171624

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.42
CPU system time (s): 0.599908
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 1171624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.599908
maximum resident set size= 1054096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302918
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= 10
involuntary context switches= 2637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.26935 second user time and 7.18991 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-09 05:07:17
IDJOB=4088558
IDBENCH=90633
IDSOLVER=2550
FILE ID=node128/4088558-1465441637
RUNJOBID= node128-1465427031-29728
PBS_JOBID= 19859784
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088558-1465441637/watcher-4088558-1465441637 -o /tmp/evaluation-result-4088558-1465441637/solver-4088558-1465441637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465427031-29728 --watchdog 1960 --input HOME/instance-4088558-1465441637.opb ./cdcl-cuttingplanes-opt-linearsearch-release

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 149bc47a65ee9b475f97ab5e9dc95355
RANDOM SEED=1797391264

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
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
cpu MHz		: 2666.486
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 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 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 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
cpu MHz		: 2666.486
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.486
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
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
cpu MHz		: 2666.486
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.486
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 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 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 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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30425460 kB
Buffers:          192064 kB
Cached:           768956 kB
SwapCached:         1660 kB
Active:           625188 kB
Inactive:         742072 kB
Active(anon):     406436 kB
Inactive(anon):     2136 kB
Active(file):     218752 kB
Inactive(file):   739936 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098544 kB
Dirty:              4648 kB
Writeback:             0 kB
AnonPages:        727332 kB
Mapped:             7720 kB
Shmem:                 0 kB
Slab:             626036 kB
SReclaimable:      69352 kB
SUnreclaim:       556684 kB
KernelStack:        1448 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     879280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    704512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node128 at 2016-06-09 05:37:18