Trace number 4298764

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 NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520 2520.02

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin16_c18.xml
MD5SUM5947b7d603c6960c1f689b2eabbe33a0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables14400
Number of constraints1088
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":14400}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":14400}]
Minimum constraint arity120
Maximum constraint arity225
Distribution of constraint arities[{"arity":120,"count":960},{"arity":225,"count":128}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1088}]
Optimization problemNO
Type of objective

Solver Data 

1.29/1.31	c root propagations     : 0           
1.29/1.31	c restarts enabled, print stats at every restarts
1.29/1.31	c
1.29/1.31	c
1.29/1.31	c
1.29/1.31	c This is cosoco 1.12 --  
1.29/1.31	c
1.29/1.31	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298764-1532766985.xml 
1.29/1.31	c ========================================[ Problem Statistics ]===========================================
1.29/1.31	c |                                                                                                       
1.29/1.31	c |  Parse time        :         0.83 s 
1.29/1.31	c |
1.29/1.31	c |               Variables: 14400
1.29/1.31	c |            Domain Sizes: 2..2
1.29/1.31	c |
1.29/1.31	c |             Constraints: 1088
1.29/1.31	c |                   Arity: 120..225
1.29/1.31	c | 
1.29/1.31	c |                   Types: 
1.29/1.31	c |                          Sum: 1088
1.29/1.31	c |                          
1.29/1.31	c =========================================================================================================
1.29/1.31	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.38/6.45	c 101            15234          408151         168543         0              0              11507   13072   12716
8.39/8.49	c 211            20307          529121         276512         0              0              715   776   756
12.09/12.18	c 332            26214          805241         398196         0              0              619   758   677
16.39/16.46	c 465            41202          1107773        517319         0              0              332   12824   9932
19.78/19.85	c 611            48774          1330673        647352         0              0              329   4842   3641
23.88/23.92	c 771            57751          1611755        814155         0              0              295   3671   2665
28.67/28.74	c 947            65410          1946595        1077512        0              0              314   2549   2198
34.67/34.76	c 1140           73430          2353020        1400528        0              0              320   2057   1945
40.57/40.61	c 1352           98012          2817212        1552307        0              0              374   13977   10075
50.97/51.08	c 1585           110365         3599685        1883963        0              0              374   2047   781
59.57/59.66	c 1841           124783         4296998        2274851        0              0              553   4823   4274
65.76/65.80	c 2122           138822         4833485        2564275        0              0              583   6780   6140
75.08/75.12	c 2431           152509         5589521        2955638        0              0              591   3347   3121
89.26/89.33	c 2770           174774         6622552        3453079        0              0              780   3645   1799
108.47/108.53	c 3142           196660         8017441        4155531        0              0              578   2681   816
126.97/127.09	c 3551           219119         9321850        4988953        0              0              338   2617   1857
141.26/141.34	c 4000           248683         10296497       5496042        0              0              320   7916   2888
155.86/155.93	c 4493           270122         11448343       6009069        0              0              310   2333   1958
172.36/172.41	c 5035           292987         12755660       6658415        0              0              316   1602   1239
186.66/186.79	c 5631           320873         13997709       7236976        0              0              382   7248   5681
209.86/209.98	c 6286           349066         15894656       8084748        0              0              636   2776   2476
232.35/232.45	c 7006           386980         17540334       8894523        0              0              505   929   706
265.85/265.96	c 7798           424200         20099601       10063074       0              0              436   1782   1424
282.96/283.03	c 8669           510283         21678607       10603920       0              0              533   11270   9739
298.44/298.55	c 9627           561329         23037067       11347433       0              0              526   8388   6783
330.64/330.79	c 10680          738200         25712525       12252102       0              0              451   11428   8359
369.64/369.77	c 11838          791956         28744088       14493365       0              0              507   3977   3284
420.95/421.02	c 13111          844884         32425706       17544977       0              0              461   2782   2570
457.05/457.11	c 14511          983540         35468943       18945046       0              0              472   10357   7273
489.84/489.92	c 16051          1116282        38311251       20132685       0              0              487   9631   7588
524.95/525.09	c 17745          1226465        41244326       21620186       0              0              502   7976   6269
582.04/582.11	c 19608          1504309        45937964       23343569       0              0              547   11713   6878
647.74/647.88	c 21657          1638216        50942291       26528611       0              0              2409   5466   4490
735.14/735.29	c 23910          2130926        58135709       28820381       0              0              2897   11156   7700
845.54/845.69	c 26388          2262416        66639978       34103112       0              0              2829   3385   2995
918.45/918.56	c 29113          2661691        72735106       36068696       0              0              882   10714   8230
999.25/999.36	c 32110          2833158        80190941       39778119       0              0              1770   7963   7080
1096.05/1096.16	c 35406          3322257        88405555       42618734       0              0              2170   11152   7813
1194.75/1194.80	c 39031          3474412        96354049       46911980       0              0              2285   3837   3135
1290.06/1290.18	c 43018          3820540        104383154      50824712       0              0              2570   9143   7483
1406.55/1406.61	c 47403          4044811        114641882      57096307       0              0              2997   6864   6187
1582.25/1582.37	c 52226          4575405        127295691      63316731       0              0              1807   11127   6073
1733.15/1733.29	c 57531          5394449        140438215      67631852       0              0              1292   11701   8484
1867.45/1867.59	c 63366          6070688        152564297      71800729       0              0              1467   11316   8801
2073.26/2073.31	c 69784          7387657        170054318      76621546       0              0              1502   11944   9108
2227.86/2227.93	c 76843          7770530        184182957      84082025       0              0              3220   7997   6648
2485.57/2485.66	c 84607          8489989        201582808      95370613       0              0              1898   3814   2770
2519.98/2520.01	
2519.98/2520.01	c *** INTERRUPTED ***
2519.98/2520.01	c restarts              : 47          
2519.98/2520.01	c conflicts             : 85520        (34 /sec)
2519.98/2520.01	c decisions             : 8607394      (3417 /sec)
2519.98/2520.01	c propagations          : 96728615    (38398 /sec)
2519.98/2520.01	c root propagations     : 0           
2519.98/2520.01	c filter calls          : 203526413      (80793 /sec)
2519.98/2520.01	c useless filter calls  : 199589066      (98 %)
2519.98/2520.01	c Memory used           : 939.40 MB
2519.98/2520.01	c CPU time              : 2519.1 s
2519.98/2520.01	
2519.98/2520.01	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11564 MiB free)
  memory of node 1: 16384 MiB (15093 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298764-1532766985/watcher-4298764-1532766985 -o /tmp/evaluation-result-4298764-1532766985/solver-4298764-1532766985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532739149-2862 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298764-1532766985.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5956, runsolver pid=5953
Current StackSize limit: 8192 KiB


[startup+0.100117 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 5957
/proc/meminfo: memFree=27286652/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=37716 memory=13884 CPUtime=0.09 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 3670 0 0 0 9 0 0 0 20 0 1 0 94261641 38621184 3471 33554432000 4194304 6142532 140730956900608 140730956897240 4964544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 9429 3471 785 476 0 2751 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37716 KiB
Current children cumulated memory: 13884 KiB

[startup+0.209763 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 5957
/proc/meminfo: memFree=27285164/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=40816 memory=17052 CPUtime=0.21 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 4479 0 0 0 20 1 0 0 20 0 1 0 94261641 41795584 4263 33554432000 4194304 6142532 140730956900608 140730956897240 140193133550565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 10204 4263 823 476 0 3526 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40816 KiB
Current children cumulated memory: 17052 KiB

[startup+0.309344 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 5957
/proc/meminfo: memFree=27269044/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=56912 memory=33420 CPUtime=0.31 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 8517 0 0 0 30 1 0 0 20 0 1 0 94261641 58277888 8355 33554432000 4194304 6142532 140730956900608 140730956894296 140193133550565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 14228 8355 823 476 0 7550 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56912 KiB
Current children cumulated memory: 33420 KiB

[startup+0.700319 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5957
/proc/meminfo: memFree=27257800/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=95076 memory=71436 CPUtime=0.69 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 18057 0 0 0 67 2 0 0 20 0 1 0 94261641 97357824 17859 33554432000 4194304 6142532 140730956900608 140730956894184 140193143489238 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 23769 17859 823 476 0 17091 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 95076 KiB
Current children cumulated memory: 71436 KiB

[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 5957
/proc/meminfo: memFree=27219856/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=105156 memory=81564 CPUtime=1.48 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 20600 0 0 0 146 2 0 0 20 0 1 0 94261641 107679744 20391 33554432000 4194304 6142532 140730956900608 140730956894184 140193133550565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 26289 20391 862 476 0 19611 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105156 KiB
Current children cumulated memory: 81564 KiB

[startup+3.10966 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 5957
/proc/meminfo: memFree=27079364/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=270892 memory=240160 CPUtime=3.09 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 66575 0 0 0 301 8 0 0 20 0 1 0 94261641 277393408 59974 33554432000 4194304 6142532 140730956900608 140730956897800 5168903 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 67762 59974 862 476 0 61084 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 270892 KiB
Current children cumulated memory: 240160 KiB

[startup+6.30032 s]
/proc/loadavg: 1.92 2.00 2.04 3/191 5957
/proc/meminfo: memFree=26711536/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=650848 memory=588756 CPUtime=6.28 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 160872 0 0 0 608 20 0 0 20 0 1 0 94261641 666468352 147189 33554432000 4194304 6142532 140730956900608 140730956897448 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 162712 147189 862 476 0 156034 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 650848 KiB
Current children cumulated memory: 588756 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/191 5957
/proc/meminfo: memFree=26710536/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=650996 memory=588848 CPUtime=12.69 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 189540 0 0 0 1246 23 0 0 20 0 1 0 94261641 666619904 147212 33554432000 4194304 6142532 140730956900608 140730956898008 5138344 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 162749 147212 864 476 0 156071 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 650996 KiB
Current children cumulated memory: 588848 KiB

[startup+25.5004 s]
/proc/loadavg: 1.87 1.98 2.03 3/191 5957
/proc/meminfo: memFree=26553036/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=824348 memory=746992 CPUtime=25.48 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 314075 0 0 0 2514 34 0 0 20 0 1 0 94261641 844132352 186748 33554432000 4194304 6142532 140730956900608 140730956898008 5215649 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 206087 186748 864 476 0 199409 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 824348 KiB
Current children cumulated memory: 746992 KiB

[startup+51.1098 s]
/proc/loadavg: 1.91 1.98 2.03 3/191 5957
/proc/meminfo: memFree=26485712/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=905396 memory=814072 CPUtime=51.07 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 405197 0 0 0 5067 40 0 0 20 0 1 0 94261641 927125504 203518 33554432000 4194304 6142532 140730956900608 140730956898008 5140224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 226349 203518 864 476 0 219671 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 905396 KiB
Current children cumulated memory: 814072 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/190 5958
/proc/meminfo: memFree=26486064/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=905396 memory=814376 CPUtime=102.27 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 466058 0 0 0 10182 45 0 0 20 0 1 0 94261641 927125504 203594 33554432000 4194304 6142532 140730956900608 140730956898008 5138432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 226349 203594 864 476 0 219671 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 905396 KiB
Current children cumulated memory: 814376 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/190 5960
/proc/meminfo: memFree=26484700/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=905396 memory=814700 CPUtime=162.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 510370 0 0 0 16177 49 0 0 20 0 1 0 94261641 927125504 203675 33554432000 4194304 6142532 140730956900608 140730956898008 5215649 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 226349 203675 864 476 0 219671 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 905396 KiB
Current children cumulated memory: 814700 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/190 6029
/proc/meminfo: memFree=26490068/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=905396 memory=819160 CPUtime=222.25 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 541080 0 0 0 22174 51 0 0 20 0 1 0 94261641 927125504 204790 33554432000 4194304 6142532 140730956900608 140730956898008 5215594 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 226349 204790 864 476 0 219671 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 905396 KiB
Current children cumulated memory: 819160 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6090
/proc/meminfo: memFree=26416400/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=909344 memory=830968 CPUtime=282.25 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 572731 0 0 0 28171 54 0 0 20 0 1 0 94261641 931168256 207742 33554432000 4194304 6142532 140730956900608 140730956897448 5137884 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 227336 207742 864 476 0 220658 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 909344 KiB
Current children cumulated memory: 830968 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6091
/proc/meminfo: memFree=26391700/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=929608 memory=854924 CPUtime=342.25 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 619705 0 0 0 34166 59 0 0 20 0 1 0 94261641 951918592 213731 33554432000 4194304 6142532 140730956900608 140730956898008 5215819 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 232402 213731 864 476 0 225724 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 929608 KiB
Current children cumulated memory: 854924 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6092
/proc/meminfo: memFree=26382732/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=929608 memory=863792 CPUtime=402.24 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 628951 0 0 0 40165 59 0 0 20 0 1 0 94261641 951918592 215948 33554432000 4194304 6142532 140730956900608 140730956898008 5138688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 232402 215948 864 476 0 225724 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 929608 KiB
Current children cumulated memory: 863792 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6093
/proc/meminfo: memFree=26374664/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=932456 memory=871784 CPUtime=462.24 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 652961 0 0 0 46163 61 0 0 20 0 1 0 94261641 954834944 217946 33554432000 4194304 6142532 140730956900608 140730956898008 5215639 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 233114 217946 864 476 0 226436 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 932456 KiB
Current children cumulated memory: 871784 KiB


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

/proc/5956/statm: 238814 230978 864 476 0 232136 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 955256 KiB
Current children cumulated memory: 923912 KiB

[startup+1782.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/190 6217
/proc/meminfo: memFree=26399336/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=956104 memory=924636 CPUtime=1782.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 789544 0 0 0 178144 82 0 0 20 0 1 0 94261641 979050496 231159 33554432000 4194304 6142532 140730956900608 140730956897640 5215810 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 239026 231159 864 476 0 232348 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 956104 KiB
Current children cumulated memory: 924636 KiB

[startup+1842.3 s]
/proc/loadavg: 2.40 2.16 2.09 3/190 6218
/proc/meminfo: memFree=26399172/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=956428 memory=924836 CPUtime=1842.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 790669 0 0 0 184144 82 0 0 20 0 1 0 94261641 979382272 231209 33554432000 4194304 6142532 140730956900608 140730956897640 5215644 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 239107 231209 864 476 0 232429 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 956428 KiB
Current children cumulated memory: 924836 KiB

[startup+1902.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/191 6220
/proc/meminfo: memFree=26396148/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=957352 memory=927056 CPUtime=1902.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 797148 0 0 0 190143 83 0 0 20 0 1 0 94261641 980328448 231764 33554432000 4194304 6142532 140730956900608 140730956898008 5137453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 239338 231764 864 476 0 232660 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 957352 KiB
Current children cumulated memory: 927056 KiB

[startup+1962.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/191 6221
/proc/meminfo: memFree=26394412/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=960240 memory=929316 CPUtime=1962.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 800330 0 0 0 196142 84 0 0 20 0 1 0 94261641 983285760 232329 33554432000 4194304 6142532 140730956900608 140730956897640 5318922 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240060 232329 864 476 0 233382 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 960240 KiB
Current children cumulated memory: 929316 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/192 6230
/proc/meminfo: memFree=26392512/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961024 memory=929980 CPUtime=2022.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 801915 0 0 0 202142 84 0 0 20 0 1 0 94261641 984088576 232495 33554432000 4194304 6142532 140730956900608 140730956897640 5138416 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240256 232495 864 476 0 233578 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 961024 KiB
Current children cumulated memory: 929980 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/192 6231
/proc/meminfo: memFree=26392976/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961944 memory=930684 CPUtime=2082.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 807905 0 0 0 208140 86 0 0 20 0 1 0 94261641 985030656 232671 33554432000 4194304 6142532 140730956900608 140730956898008 5215819 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240486 232671 864 476 0 233808 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 930684 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/192 6232
/proc/meminfo: memFree=26392612/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961944 memory=930684 CPUtime=2142.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 809291 0 0 0 214140 86 0 0 20 0 1 0 94261641 985030656 232671 33554432000 4194304 6142532 140730956900608 140730956898008 5215632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240486 232671 864 476 0 233808 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 930684 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 6233
/proc/meminfo: memFree=26392628/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961944 memory=930684 CPUtime=2202.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 810645 0 0 0 220140 86 0 0 20 0 1 0 94261641 985030656 232671 33554432000 4194304 6142532 140730956900608 140730956898008 5138432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240486 232671 864 476 0 233808 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 930684 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 6234
/proc/meminfo: memFree=26392692/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961944 memory=930684 CPUtime=2262.26 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 816392 0 0 0 226140 86 0 0 20 0 1 0 94261641 985030656 232671 33554432000 4194304 6142532 140730956900608 140730956898008 5138024 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240486 232671 864 476 0 233808 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 930684 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6236
/proc/meminfo: memFree=26392312/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961944 memory=930684 CPUtime=2322.27 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 820466 0 0 0 232140 87 0 0 20 0 1 0 94261641 985030656 232671 33554432000 4194304 6142532 140730956900608 140730956898008 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240486 232671 864 476 0 233808 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 930684 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6237
/proc/meminfo: memFree=26392296/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961944 memory=930684 CPUtime=2382.27 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 823005 0 0 0 238140 87 0 0 20 0 1 0 94261641 985030656 232671 33554432000 4194304 6142532 140730956900608 140730956898008 5138259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240486 232671 864 476 0 233808 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 930684 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6238
/proc/meminfo: memFree=26392520/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961944 memory=930684 CPUtime=2442.27 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 825130 0 0 0 244139 88 0 0 20 0 1 0 94261641 985030656 232671 33554432000 4194304 6142532 140730956900608 140730956898008 5138432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240486 232671 864 476 0 233808 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 930684 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6239
/proc/meminfo: memFree=26392628/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961944 memory=930684 CPUtime=2502.27 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 830049 0 0 0 250139 88 0 0 20 0 1 0 94261641 985030656 232671 33554432000 4194304 6142532 140730956900608 140730956898008 5215611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240486 232671 864 476 0 233808 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 930684 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 6239
/proc/meminfo: memFree=26392068/32770624 swapFree=67108860/67108860
[pid=5956] ppid=5953 vsize=961944 memory=931188 CPUtime=2519.98 cores=1,3,5,7
/proc/5956/stat : 5956 (cosoco) R 5953 5956 2830 0 -1 4202496 831061 0 0 0 251910 88 0 0 20 0 1 0 94261641 985030656 232797 33554432000 4194304 6142532 140730956900608 140730956898008 5139736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 16945152 140730956903558 140730956903688 140730956903688 140730956906446 0
/proc/5956/statm: 240486 232797 864 476 0 233808 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 931188 KiB

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

[startup+2520.02 s]
# the end of solver process 5956 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.1 s, system=0.899009 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.02
CPU time (s): 2520
CPU user time (s): 2519.1
CPU system time (s): 0.899009
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 961944
Max. memory (cumulated for all children) (KiB): 931188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.1
system time used= 0.899009
maximum resident set size= 931252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831102
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= 95
involuntary context switches= 1829


# summary of solver processes directly reported to runsolver:
#   pid: 5956
#   total CPU time (s): 2520
#   total CPU user time (s): 2519.1
#   total CPU system time (s): 0.899009

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9276 second user time and 17.9955 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-28 10:36:25
IDJOB=4298764
IDBENCH=141231
IDSOLVER=2761
FILE ID=node135/4298764-1532766985
RUNJOBID= node135-1532739149-2862
PBS_JOBID= 21022438
Free space on /tmp= 48364 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin16_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298764-1532766985/watcher-4298764-1532766985 -o /tmp/evaluation-result-4298764-1532766985/solver-4298764-1532766985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532739149-2862 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4298764-1532766985.xml

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

MD5SUM BENCH= 5947b7d603c6960c1f689b2eabbe33a0
RANDOM SEED=991692369

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27297764 kB
MemAvailable:   31898252 kB
Buffers:          190328 kB
Cached:          4643240 kB
SwapCached:            0 kB
Active:          1674700 kB
Inactive:        3245276 kB
Active(anon):      37532 kB
Inactive(anon):    76948 kB
Active(file):    1637168 kB
Inactive(file):  3168328 kB
Unevictable:        7212 kB
Mlocked:            7212 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3504 kB
Writeback:             0 kB
AnonPages:         55000 kB
Mapped:            44512 kB
Shmem:             25248 kB
Slab:             249420 kB
SReclaimable:     221656 kB
SUnreclaim:        27764 kB
KernelStack:        3424 kB
PageTables:         5008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     383708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 48360 MiB
End job on node135 at 2018-07-28 11:18:25