Trace number 4103929

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
toysat 2016-05-02? (MO) 147.241 147.276

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-roll3000.opb
MD5SUM553e03f28bab227c11d33a47edd1fb32
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1095891440
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
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 2016-06-18T10:46:45+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4103929-1466239605.opb"]
0.00/0.01	c use --random-gen="937624452 3859823948 1611743377 3229072704 2069317093 1026214044 1200613445 739467444 4071142579 4077820497 149401842 1506357010 3621058606 3209059333 3728340263 3600775932 3508891536 1019047910 3160743314 2748518527 1983670826 1014283497 120784523 236817 2968462075 1318120731 3515946879 1380101398 102492709 1100122285 3576611156 2276657477 665275307 1413679437 3665780832 462655206 1214687798 2687457240 308389751 2561376523 2638538379 3321328510 612539121 2763857041 2600860996 2369398207 4216416641 1648469038 2777420198 3731755364 789776512 1552093689 2766546038 2969031060 768419292 1787367356 1708581833 3401816734 1855166647 1261909064 2572105243 2637085944 894222692 903911746 3208679900 893900434 3258419718 2842101667 2926060772 4261341820 2282755473 3214550829 1825386432 2482491881 3938645639 3695747599 162628747 1492150616 2587335711 3057483816 4001560679 3114702430 1355445106 4223079543 2823297691 3203824650 202097056 3037481445 991229319 253962851 3106053324 2808450813 257856500 1838406316 2467412451 3308541139 4139499573 2090552926 3463800213 3224183684 1625447103 2753984622 3194883563 3547079509 62082593 1769290886 3423591524 2551576380 2646401593 2242483481 2162438446 629599846 191193576 3769388799 3072790032 2039975032 2298073611 2287929112 2429105418 3055430126 470816937 499121696 1756527608 1665876186 1575527516 3059464479 3661456257 3078414647 2037486526 4134241986 1730061145 229786563 1427640821 4135512078 140603405 273879506 2049085157 3156743174 2806989101 3269542402 3202884962 3429295385 571438627 3354865651 1382403847 3674367347 1780619617 691543304 3077278941 1510537022 2169987062 1550221209 166443966 2884757300 2301204707 1668469819 2290094819 612343688 3851522222 314367276 3314695312 1844517687 1194569761 24214184 2206720031 1449819188 1202348795 988791966 3404071971 3176351202 1540036784 1150332003 2831380314 426999164 3258091030 1029463620 4130937679 2717945201 994563643 4256132682 1305697954 3539654822 2989850648 3131732226 809982727 1901706204 3369663431 1270525641 61086037 1118642455 2293178126 4256031996 1531373042 1296912867 2036866154 1795193409 3282351961 1087166847 485244455 1448069970 1003478217 1111213908 905631489 3427207929 1621082957 2128179893 1865616262 2598948977 3515244366 3831249736 697240302 3108320377 3885945933 3289323472 2358180449 129266095 2339329123 1302502277 1072363331 1738081838 12935037 849276726 361926294 168029983 2233823607 2484170863 218757960 2173639193 3067651183 2721599119 3676021613 2658405877 2923533203 3618442994 885439082 647151109 296562841 1172048586 3121340168 3378305394 167847522 1527850307 3801333375 63630814 2568061131 3001761443 1480933648 4262749135 2875251297 2606769188 3646273856 2816168462 2025638361 2532219057 3622305199 876972252 255 362436" option to reproduce the execution
0.10/0.18	c #vars 8902
0.10/0.18	c #constraints 2864

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-4103929-1466239605/watcher-4103929-1466239605 -o /tmp/evaluation-result-4103929-1466239605/solver-4103929-1466239605 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103929-1466239605.opb 

pid=16410
running on 4 cores: 0,2,4,6

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.10 2.09 3/179 16413
/proc/meminfo: memFree=30495488/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=705092 CPUtime=0 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 2628 0 0 0 0 0 0 0 20 0 4 0 26010942 722014208 2989 33554432000 4194304 16246674 140736527645568 140736527644992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 176785 2997 442 2943 0 173679 0
[pid=16413/tid=16414] ppid=16410 vsize=722500 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 739840000 3055 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=726596 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 744034304 3072 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=730692 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26010942 748228608 3087 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.18 2.10 2.09 3/179 16413
/proc/meminfo: memFree=30495488/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=1302084 CPUtime=0.1 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 27692 0 0 0 6 4 0 0 20 0 4 0 26010942 1333334016 27991 33554432000 4194304 16246674 140736527645568 140736527644880 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 325521 28005 800 2943 0 322415 0
[pid=16413/tid=16414] ppid=16410 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 1333334016 28016 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 1333334016 28028 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 1333334016 28038 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1302084

[startup+0.200508 s]
/proc/loadavg: 2.18 2.10 2.09 3/179 16413
/proc/meminfo: memFree=30495488/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 44126 0 0 0 13 6 0 0 20 0 4 0 26010942 1343819776 44935 33554432000 4194304 16246674 140736527645568 140736527644880 12449269 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 328081 44935 820 2943 0 324975 0
[pid=16413/tid=16414] ppid=16410 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 1343819776 44935 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 1343819776 44935 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 1343819776 44935 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300472 s]
/proc/loadavg: 2.18 2.10 2.09 3/179 16413
/proc/meminfo: memFree=30495488/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 57120 0 0 0 21 8 0 0 20 0 4 0 26010942 1343819776 57929 33554432000 4194304 16246674 140736527645568 140736527627456 12657222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 328081 57935 820 2943 0 324975 0
[pid=16413/tid=16414] ppid=16410 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 1343819776 57939 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 1343819776 57943 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 1343819776 57946 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700392 s]
/proc/loadavg: 2.18 2.10 2.09 3/179 16413
/proc/meminfo: memFree=30495488/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 148497 0 0 0 53 16 0 0 20 0 4 0 26010942 1343819776 149307 33554432000 4194304 16246674 140736527645568 140736527627456 12449273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 328081 149321 839 2943 0 324975 0
[pid=16413/tid=16414] ppid=16410 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 1343819776 149329 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 1343819776 149339 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 1343819776 149347 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50039 s]
/proc/loadavg: 2.18 2.10 2.09 3/183 16417
/proc/meminfo: memFree=29523756/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=1471044 CPUtime=1.49 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 308286 0 0 0 113 36 0 0 20 0 4 0 26010942 1506349056 309095 33554432000 4194304 16246674 140736527645568 140736527644232 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 367761 309101 841 2943 0 364655 0
[pid=16413/tid=16414] ppid=16410 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 1506349056 309104 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 1506349056 309108 33554432000 4194304 16246674 140736527645568 139817962675216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=1471044 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 1506349056 309111 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1471044

[startup+3.1004 s]
/proc/loadavg: 2.18 2.10 2.09 3/183 16417
/proc/meminfo: memFree=29232868/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=1497668 CPUtime=3.09 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 315040 0 0 0 272 37 0 0 20 0 4 0 26010942 1533612032 315849 33554432000 4194304 16246674 140736527645568 140736527644880 4220807 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 374417 315849 841 2943 0 371311 0
[pid=16413/tid=16414] ppid=16410 vsize=1497668 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 1533612032 315849 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=1497668 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 1533612032 315849 33554432000 4194304 16246674 140736527645568 139817962675216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=1497668 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 1533612032 315849 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1497668

[startup+6.3004 s]
/proc/loadavg: 2.25 2.11 2.09 3/183 16417
/proc/meminfo: memFree=28970504/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=1759812 CPUtime=6.29 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 380577 0 0 0 583 46 0 0 20 0 4 0 26010942 1802047488 381386 33554432000 4194304 16246674 140736527645568 140736527644664 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 439953 381386 841 2943 0 436847 0
[pid=16413/tid=16414] ppid=16410 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 1802047488 381386 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 1802047488 381386 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=1759812 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 1802047488 381386 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1759812

[startup+12.7004 s]
/proc/loadavg: 2.23 2.11 2.09 3/183 16417
/proc/meminfo: memFree=28113196/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=3067460 CPUtime=12.69 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 707488 0 0 0 1179 90 0 0 20 0 4 0 26010942 3141079040 708297 33554432000 4194304 16246674 140736527645568 140736527644232 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 767121 708308 841 2943 0 764015 0
[pid=16413/tid=16414] ppid=16410 vsize=3068484 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 3142127616 708313 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=3068484 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 3142127616 708318 33554432000 4194304 16246674 140736527645568 139817962675216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=3068484 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 3142127616 708322 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3067460

[startup+25.5005 s]
/proc/loadavg: 2.24 2.12 2.09 3/183 16417
/proc/meminfo: memFree=25431340/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=5291588 CPUtime=25.49 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 1263523 0 0 0 2386 163 0 0 20 0 4 0 26010942 5418586112 1264332 33554432000 4194304 16246674 140736527645568 140736527644744 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 1322897 1264332 841 2943 0 1319791 0
[pid=16413/tid=16414] ppid=16410 vsize=5291588 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 5418586112 1264332 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=5291588 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 5418586112 1264332 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=5291588 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 5418586112 1264332 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5291588

[startup+51.1005 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 16417
/proc/meminfo: memFree=19779020/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=10932804 CPUtime=51.09 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 2673828 0 0 0 4763 346 0 0 20 0 4 0 26010942 11195191296 2674637 33554432000 4194304 16246674 140736527645568 140736527644880 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 2733201 2674637 841 2943 0 2730095 0
[pid=16413/tid=16414] ppid=16410 vsize=10932804 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 11195191296 2674637 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=10932804 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 11195191296 2674637 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=10932804 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 11195191296 2674637 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 10932804

[startup+102.3 s]
/proc/loadavg: 2.18 2.12 2.09 3/183 16418
/proc/meminfo: memFree=12036536/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=14077508 CPUtime=102.28 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 3460010 0 0 0 9772 456 0 0 20 0 4 0 26010942 14415368192 3460819 33554432000 4194304 16246674 140736527645568 140736527644744 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 3519377 3460819 846 2943 0 3516271 0
[pid=16413/tid=16414] ppid=16410 vsize=14077508 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 14415368192 3460819 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=14077508 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 14415368192 3460819 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=14077508 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 14415368192 3460819 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14077508



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+146.407 s]
/proc/loadavg: 2.08 2.10 2.09 3/183 16419
/proc/meminfo: memFree=3847232/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=15911492 CPUtime=146.38 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) R 16410 16413 11324 0 -1 4202496 3918354 0 0 0 14113 525 0 0 20 0 4 0 26010942 16293367808 3919163 33554432000 4194304 16246674 140736527645568 140736527644664 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 3977873 3919163 846 2943 0 3974767 0
[pid=16413/tid=16414] ppid=16410 vsize=15911492 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16414/stat : 16414 (toysat) S 16410 16413 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26010942 16293367808 3919163 33554432000 4194304 16246674 140736527645568 139817973165296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=15911492 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) S 16410 16413 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26010942 16293367808 3919163 33554432000 4194304 16246674 140736527645568 139817962675440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16413/tid=16416] ppid=16410 vsize=15911492 CPUtime=0 cores=0,2,4,6
/proc/16413/task/16416/stat : 16416 (toysat) S 16410 16413 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26010942 16293367808 3919163 33554432000 4194304 16246674 140736527645568 139817952201904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 146.38
Current children cumulated vsize (KiB) 15911492

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 16413 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+146.8 s]
/proc/loadavg: 2.08 2.10 2.09 3/183 16419
/proc/meminfo: memFree=3847232/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=0 CPUtime=146.76 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) Z 16410 16413 11324 0 -1 4203532 3918879 0 0 0 14113 563 0 0 20 0 2 0 26010942 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 0 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=0 CPUtime=0.37 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) R 16410 16413 11324 0 -1 4203588 8 0 0 0 0 37 0 0 20 0 2 0 26010942 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 146.76
Current children cumulated vsize (KiB) 0

[startup+147.2 s]
/proc/loadavg: 2.08 2.10 2.09 3/183 16419
/proc/meminfo: memFree=3847232/32872528 swapFree=249320/249320
[pid=16413] ppid=16410 vsize=0 CPUtime=147.16 cores=0,2,4,6
/proc/16413/stat : 16413 (toysat) Z 16410 16413 11324 0 -1 4203532 3918879 0 0 0 14113 603 0 0 20 0 2 0 26010942 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16413/statm: 0 0 0 0 0 0 0
[pid=16413/tid=16415] ppid=16410 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/16413/task/16415/stat : 16415 (toysat) R 16410 16413 11324 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 26010942 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 147.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 147.276
CPU time (s): 147.241
CPU user time (s): 141.138
CPU system time (s): 6.10307
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 15911492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.138
system time used= 6.10307
maximum resident set size= 15678752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3918879
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= 66
involuntary context switches= 152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.379942 second user time and 0.561914 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 10:46:45
IDJOB=4103929
IDBENCH=2508
IDSOLVER=2542
FILE ID=node103/4103929-1466239605
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103929-1466239605/watcher-4103929-1466239605 -o /tmp/evaluation-result-4103929-1466239605/solver-4103929-1466239605 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103929-1466239605.opb

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

MD5SUM BENCH= 553e03f28bab227c11d33a47edd1fb32
RANDOM SEED=873745445

node103.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		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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		: 2667.278
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.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
cpu MHz		: 2667.278
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.55
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		: 2667.278
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.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
cpu MHz		: 2667.278
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		: 2667.278
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30495860 kB
Buffers:          130500 kB
Cached:           143680 kB
SwapCached:         2188 kB
Active:          1204776 kB
Inactive:         184636 kB
Active(anon):    1113904 kB
Inactive(anon):     3672 kB
Active(file):      90872 kB
Inactive(file):   180964 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             17092 kB
Writeback:             0 kB
AnonPages:       1363444 kB
Mapped:            10456 kB
Shmem:                 0 kB
Slab:             602616 kB
SReclaimable:      46692 kB
SUnreclaim:       555924 kB
KernelStack:        1504 kB
PageTables:         6784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1507964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71700 MiB
End job on node103 at 2016-06-18 10:49:13