Trace number 4293744

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) 2519.96 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.30	c root propagations     : 0           
1.29/1.30	c restarts enabled, print stats at every restarts
1.29/1.30	c
1.29/1.30	c
1.29/1.30	c
1.29/1.30	c This is cosoco 1.12 --  
1.29/1.30	c
1.29/1.30	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293744-1532326130.xml 
1.29/1.30	c ========================================[ Problem Statistics ]===========================================
1.29/1.30	c |                                                                                                       
1.29/1.30	c |  Parse time        :         0.83 s 
1.29/1.30	c |
1.29/1.30	c |               Variables: 14400
1.29/1.30	c |            Domain Sizes: 2..2
1.29/1.30	c |
1.29/1.30	c |             Constraints: 1088
1.29/1.30	c |                   Arity: 120..225
1.29/1.30	c | 
1.29/1.30	c |                   Types: 
1.29/1.30	c |                          Sum: 1088
1.29/1.30	c |                          
1.29/1.30	c =========================================================================================================
1.29/1.30	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.18/6.26	c 101            15234          408151         168543         0              0              11507   13072   12716
8.28/8.33	c 211            20307          529121         276512         0              0              715   776   756
12.09/12.17	c 332            26214          805241         398196         0              0              619   758   677
16.38/16.47	c 465            41202          1107773        517319         0              0              332   12824   9932
19.78/19.89	c 611            48774          1330673        647352         0              0              329   4842   3641
23.88/23.98	c 771            57751          1611755        814155         0              0              295   3671   2665
28.78/28.82	c 947            65410          1946595        1077512        0              0              314   2549   2198
34.78/34.87	c 1140           73430          2353020        1400528        0              0              320   2057   1945
40.68/40.77	c 1352           98012          2817212        1552307        0              0              374   13977   10075
51.26/51.31	c 1585           110365         3599685        1883963        0              0              374   2047   781
59.86/59.94	c 1841           124783         4296998        2274851        0              0              553   4823   4274
66.08/66.13	c 2122           138822         4833485        2564275        0              0              583   6780   6140
75.47/75.51	c 2431           152509         5589521        2955638        0              0              591   3347   3121
89.77/89.81	c 2770           174774         6622552        3453079        0              0              780   3645   1799
109.07/109.13	c 3142           196660         8017441        4155531        0              0              578   2681   816
127.76/127.80	c 3551           219119         9321850        4988953        0              0              338   2617   1857
142.07/142.15	c 4000           248683         10296497       5496042        0              0              320   7916   2888
156.77/156.83	c 4493           270122         11448343       6009069        0              0              310   2333   1958
173.26/173.39	c 5035           292987         12755660       6658415        0              0              316   1602   1239
187.77/187.88	c 5631           320873         13997709       7236976        0              0              382   7248   5681
211.08/211.19	c 6286           349066         15894656       8084748        0              0              636   2776   2476
233.76/233.80	c 7006           386980         17540334       8894523        0              0              505   929   706
267.46/267.53	c 7798           424200         20099601       10063074       0              0              436   1782   1424
284.65/284.71	c 8669           510283         21678607       10603920       0              0              533   11270   9739
300.25/300.33	c 9627           561329         23037067       11347433       0              0              526   8388   6783
332.65/332.78	c 10680          738200         25712525       12252102       0              0              451   11428   8359
371.96/372.02	c 11838          791956         28744088       14493365       0              0              507   3977   3284
423.56/423.60	c 13111          844884         32425706       17544977       0              0              461   2782   2570
459.85/459.93	c 14511          983540         35468943       18945046       0              0              472   10357   7273
492.85/492.97	c 16051          1116282        38311251       20132685       0              0              487   9631   7588
528.25/528.37	c 17745          1226465        41244326       21620186       0              0              502   7976   6269
585.64/585.73	c 19608          1504309        45937964       23343569       0              0              547   11713   6878
651.74/651.83	c 21657          1638216        50942291       26528611       0              0              2409   5466   4490
739.64/739.73	c 23910          2130926        58135709       28820381       0              0              2897   11156   7700
850.54/850.69	c 26388          2262416        66639978       34103112       0              0              2829   3385   2995
923.84/923.99	c 29113          2661691        72735106       36068696       0              0              882   10714   8230
1005.14/1005.24	c 32110          2833158        80190941       39778119       0              0              1770   7963   7080
1102.34/1102.47	c 35406          3322257        88405555       42618734       0              0              2170   11152   7813
1201.24/1201.34	c 39031          3474412        96354049       46911980       0              0              2285   3837   3135
1296.95/1297.02	c 43018          3820540        104383154      50824712       0              0              2570   9143   7483
1413.63/1413.77	c 47403          4044811        114641882      57096307       0              0              2997   6864   6187
1589.84/1589.99	c 52226          4575405        127295691      63316731       0              0              1807   11127   6073
1741.23/1741.31	c 57531          5394449        140438215      67631852       0              0              1292   11701   8484
1875.83/1875.99	c 63366          6070688        152564297      71800729       0              0              1467   11316   8801
2082.23/2082.31	c 69784          7387657        170054318      76621546       0              0              1502   11944   9108
2237.33/2237.45	c 76843          7770530        184182957      84082025       0              0              3220   7997   6648
2495.83/2495.90	c 84607          8489989        201582808      95370613       0              0              1898   3814   2770
2519.93/2520.00	
2519.93/2520.00	c *** INTERRUPTED ***
2519.93/2520.00	c restarts              : 47          
2519.93/2520.00	c conflicts             : 85163        (34 /sec)
2519.93/2520.00	c decisions             : 8572429      (3403 /sec)
2519.93/2520.00	c propagations          : 96218627    (38194 /sec)
2519.93/2520.00	c root propagations     : 0           
2519.93/2520.00	c filter calls          : 202914825      (80548 /sec)
2519.93/2520.00	c useless filter calls  : 198990465      (98 %)
2519.93/2520.00	c Memory used           : 939.40 MB
2519.93/2520.00	c CPU time              : 2519.18 s
2519.93/2520.00	
2519.93/2520.00	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 (13083 MiB free)
  memory of node 1: 16384 MiB (13711 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293744-1532326130/watcher-4293744-1532326130 -o /tmp/evaluation-result-4293744-1532326130/solver-4293744-1532326130 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10562 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293744-1532326130.xml 

running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB

solver pid=14193, runsolver pid=14190

[startup+0.100116 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=27427836/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=37716 memory=14020 CPUtime=0.1 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 3669 0 0 0 9 1 0 0 20 0 1 0 50176220 38621184 3505 33554432000 4194304 6142532 140721468853776 140721468850408 139981681331200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 9429 3505 786 476 0 2751 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37716 KiB
Current children cumulated memory: 14020 KiB

[startup+0.209749 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=27426348/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=40816 memory=17188 CPUtime=0.21 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 4480 0 0 0 20 1 0 0 20 0 1 0 50176220 41795584 4297 33554432000 4194304 6142532 140721468853776 140721468850408 139981680892901 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 10204 4297 823 476 0 3526 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40816 KiB
Current children cumulated memory: 17188 KiB

[startup+0.309328 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=27410228/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=56912 memory=33292 CPUtime=0.31 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 8489 0 0 0 30 1 0 0 20 0 1 0 50176220 58277888 8323 33554432000 4194304 6142532 140721468853776 140721468850408 5748503 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 14228 8323 823 476 0 7550 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56912 KiB
Current children cumulated memory: 33292 KiB

[startup+0.700302 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=27398552/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=95076 memory=71572 CPUtime=0.69 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 18058 0 0 0 67 2 0 0 20 0 1 0 50176220 97357824 17893 33554432000 4194304 6142532 140721468853776 140721468850424 139981690839563 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 23769 17893 823 476 0 17091 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 95076 KiB
Current children cumulated memory: 71572 KiB

[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=27360828/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=105288 memory=81828 CPUtime=1.49 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 20635 0 0 0 147 2 0 0 20 0 1 0 50176220 107814912 20457 33554432000 4194304 6142532 140721468853776 140721468847464 5347477 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 26322 20457 862 476 0 19644 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105288 KiB
Current children cumulated memory: 81828 KiB

[startup+3.10961 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=27206324/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=286992 memory=254480 CPUtime=3.09 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 72213 0 0 0 300 9 0 0 20 0 1 0 50176220 293879808 63620 33554432000 4194304 6142532 140721468853776 140721468850968 5347477 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 71748 63620 862 476 0 65070 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 286992 KiB
Current children cumulated memory: 254480 KiB

[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=26851768/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=650996 memory=588840 CPUtime=6.28 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 163439 0 0 0 607 21 0 0 20 0 1 0 50176220 666619904 147210 33554432000 4194304 6142532 140721468853776 140721468850616 5335508 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 162749 147210 864 476 0 156071 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 650996 KiB
Current children cumulated memory: 588840 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=26850832/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=650996 memory=588848 CPUtime=12.68 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 194234 0 0 0 1245 23 0 0 20 0 1 0 50176220 666619904 147212 33554432000 4194304 6142532 140721468853776 140721468851176 5336576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 162749 147212 864 476 0 156071 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 650996 KiB
Current children cumulated memory: 588848 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=26691068/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=824348 memory=746992 CPUtime=25.48 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 312968 0 0 0 2516 32 0 0 20 0 1 0 50176220 844132352 186748 33554432000 4194304 6142532 140721468853776 140721468851176 5347440 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/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.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14194
/proc/meminfo: memFree=26623628/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=905396 memory=814072 CPUtime=51.07 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 404629 0 0 0 5068 39 0 0 20 0 1 0 50176220 927125504 203518 33554432000 4194304 6142532 140721468853776 140721468851176 5347469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/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.00 2.01 2.05 3/192 14204
/proc/meminfo: memFree=26622500/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=905396 memory=814372 CPUtime=102.27 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 467235 0 0 0 10184 43 0 0 20 0 1 0 50176220 927125504 203593 33554432000 4194304 6142532 140721468853776 140721468851176 5140318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 226349 203593 864 476 0 219671 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 905396 KiB
Current children cumulated memory: 814372 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14206
/proc/meminfo: memFree=26622328/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=905396 memory=814668 CPUtime=162.27 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 511412 0 0 0 16181 46 0 0 20 0 1 0 50176220 927125504 203667 33554432000 4194304 6142532 140721468853776 140721468851176 5175098 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 226349 203667 864 476 0 219671 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 905396 KiB
Current children cumulated memory: 814668 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14207
/proc/meminfo: memFree=26617720/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=905396 memory=819580 CPUtime=222.26 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 543007 0 0 0 22178 48 0 0 20 0 1 0 50176220 927125504 204895 33554432000 4194304 6142532 140721468853776 140721468851176 5138256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 226349 204895 864 476 0 219671 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 905396 KiB
Current children cumulated memory: 819580 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14208
/proc/meminfo: memFree=26607316/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=908540 memory=830272 CPUtime=282.26 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 574056 0 0 0 28175 51 0 0 20 0 1 0 50176220 930344960 207568 33554432000 4194304 6142532 140721468853776 140721468850808 5138368 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 227135 207568 864 476 0 220457 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 908540 KiB
Current children cumulated memory: 830272 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14209
/proc/meminfo: memFree=26582152/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=929608 memory=855408 CPUtime=342.25 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 619752 0 0 0 34170 55 0 0 20 0 1 0 50176220 951918592 213852 33554432000 4194304 6142532 140721468853776 140721468851176 5138448 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 232402 213852 864 476 0 225724 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 929608 KiB
Current children cumulated memory: 855408 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14210
/proc/meminfo: memFree=26573820/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=929608 memory=864052 CPUtime=402.26 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 633217 0 0 0 40170 56 0 0 20 0 1 0 50176220 951918592 216013 33554432000 4194304 6142532 140721468853776 140721468851176 5139924 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 232402 216013 864 476 0 225724 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 929608 KiB
Current children cumulated memory: 864052 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14211
/proc/meminfo: memFree=26565360/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=932456 memory=872548 CPUtime=462.25 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 656285 0 0 0 46167 58 0 0 20 0 1 0 50176220 954834944 218137 33554432000 4194304 6142532 140721468853776 140721468851176 5138259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 233114 218137 864 476 0 226436 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 932456 KiB
Current children cumulated memory: 872548 KiB


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

/proc/14193/statm: 238814 230872 864 476 0 232136 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 955256 KiB
Current children cumulated memory: 923488 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.48 2/185 14301
/proc/meminfo: memFree=26589128/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=956104 memory=924272 CPUtime=1782.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 795821 0 0 0 178151 72 0 0 20 0 1 0 50176220 979050496 231068 33554432000 4194304 6142532 140721468853776 140721468850808 5347469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 239026 231068 864 476 0 232348 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 956104 KiB
Current children cumulated memory: 924272 KiB

[startup+1842.3 s]
/proc/loadavg: 1.00 1.07 1.45 2/185 14302
/proc/meminfo: memFree=26586824/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=956428 memory=925436 CPUtime=1842.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 796779 0 0 0 184151 72 0 0 20 0 1 0 50176220 979382272 231359 33554432000 4194304 6142532 140721468853776 140721468850808 5215584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 239107 231359 864 476 0 232429 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 956428 KiB
Current children cumulated memory: 925436 KiB

[startup+1902.3 s]
/proc/loadavg: 1.08 1.08 1.43 2/186 14311
/proc/meminfo: memFree=26586712/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=957352 memory=926220 CPUtime=1902.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 803031 0 0 0 190150 73 0 0 20 0 1 0 50176220 980328448 231555 33554432000 4194304 6142532 140721468853776 140721468851176 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 239338 231555 864 476 0 232660 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 957352 KiB
Current children cumulated memory: 926220 KiB

[startup+1962.3 s]
/proc/loadavg: 1.03 1.06 1.40 2/185 14312
/proc/meminfo: memFree=26584620/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=960048 memory=928444 CPUtime=1962.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 806007 0 0 0 196149 74 0 0 20 0 1 0 50176220 983089152 232111 33554432000 4194304 6142532 140721468853776 140721468850808 5347469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240012 232111 864 476 0 233334 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 960048 KiB
Current children cumulated memory: 928444 KiB

[startup+2022.3 s]
/proc/loadavg: 1.06 1.07 1.38 2/185 14313
/proc/meminfo: memFree=26584684/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961024 memory=929168 CPUtime=2022.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 807604 0 0 0 202149 74 0 0 20 0 1 0 50176220 984088576 232292 33554432000 4194304 6142532 140721468853776 140721468850808 5318922 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240256 232292 864 476 0 233578 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 961024 KiB
Current children cumulated memory: 929168 KiB

[startup+2082.3 s]
/proc/loadavg: 1.02 1.06 1.36 2/184 14314
/proc/meminfo: memFree=26583824/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961944 memory=929880 CPUtime=2082.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 809250 0 0 0 208149 74 0 0 20 0 1 0 50176220 985030656 232470 33554432000 4194304 6142532 140721468853776 140721468850808 5318922 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240486 232470 864 476 0 233808 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 929880 KiB

[startup+2142.3 s]
/proc/loadavg: 1.01 1.04 1.34 2/185 14316
/proc/meminfo: memFree=26583472/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961944 memory=929896 CPUtime=2142.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 814793 0 0 0 214148 75 0 0 20 0 1 0 50176220 985030656 232474 33554432000 4194304 6142532 140721468853776 140721468851176 5215810 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240486 232474 864 476 0 233808 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 929896 KiB

[startup+2202.3 s]
/proc/loadavg: 1.04 1.05 1.32 2/185 14318
/proc/meminfo: memFree=26583448/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961944 memory=929896 CPUtime=2202.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 816175 0 0 0 220148 75 0 0 20 0 1 0 50176220 985030656 232474 33554432000 4194304 6142532 140721468853776 140721468851176 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240486 232474 864 476 0 233808 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 929896 KiB

[startup+2262.3 s]
/proc/loadavg: 1.01 1.04 1.30 2/185 14319
/proc/meminfo: memFree=26583548/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961944 memory=929896 CPUtime=2262.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 821950 0 0 0 226148 75 0 0 20 0 1 0 50176220 985030656 232474 33554432000 4194304 6142532 140721468853776 140721468851176 5347477 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240486 232474 864 476 0 233808 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 929896 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.04 1.28 2/185 14320
/proc/meminfo: memFree=26583296/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961944 memory=929896 CPUtime=2322.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 825964 0 0 0 232147 76 0 0 20 0 1 0 50176220 985030656 232474 33554432000 4194304 6142532 140721468853776 140721468851176 5138432 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240486 232474 864 476 0 233808 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 929896 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.03 1.27 2/185 14321
/proc/meminfo: memFree=26583312/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961944 memory=929896 CPUtime=2382.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 828417 0 0 0 238147 76 0 0 20 0 1 0 50176220 985030656 232474 33554432000 4194304 6142532 140721468853776 140721468851176 5139732 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240486 232474 864 476 0 233808 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 929896 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/184 14322
/proc/meminfo: memFree=26583328/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961944 memory=929896 CPUtime=2442.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 830707 0 0 0 244147 76 0 0 20 0 1 0 50176220 985030656 232474 33554432000 4194304 6142532 140721468853776 140721468851176 5215601 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240486 232474 864 476 0 233808 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 929896 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/183 14330
/proc/meminfo: memFree=26580384/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961944 memory=931304 CPUtime=2502.23 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 834637 0 0 0 250147 76 0 0 20 0 1 0 50176220 985030656 232826 33554432000 4194304 6142532 140721468853776 140721468851176 4990723 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240486 232826 864 476 0 233808 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 931304 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.02 1.22 2/183 14330
/proc/meminfo: memFree=26580508/32770624 swapFree=67108860/67108860
[pid=14193] ppid=14190 vsize=961944 memory=931304 CPUtime=2519.93 cores=0,2,4,6
/proc/14193/stat : 14193 (cosoco) R 14190 14193 10531 0 -1 4202496 836195 0 0 0 251917 76 0 0 20 0 1 0 50176220 985030656 232826 33554432000 4194304 6142532 140721468853776 140721468851176 5347469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19349504 140721468855430 140721468855560 140721468855560 140721468858318 0
/proc/14193/statm: 240486 232826 864 476 0 233808 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 961944 KiB
Current children cumulated memory: 931304 KiB

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

[startup+2520.02 s]
# the end of solver process 14193 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.18 s, system=0.779992 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): 2519.96
CPU user time (s): 2519.18
CPU system time (s): 0.779992
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 961944
Max. memory (cumulated for all children) (KiB): 931304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.18
system time used= 0.779992
maximum resident set size= 931368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836236
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= 90
involuntary context switches= 1095


# summary of solver processes directly reported to runsolver:
#   pid: 14193
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.18
#   total CPU system time (s): 0.779992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.83352 second user time and 18.3765 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-23 08:08:50
IDJOB=4293744
IDBENCH=141231
IDSOLVER=2752
FILE ID=node134/4293744-1532326130
RUNJOBID= node134-1532293349-10562
PBS_JOBID= 21018978
Free space on /tmp= 55992 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-4293744-1532326130/watcher-4293744-1532326130 -o /tmp/evaluation-result-4293744-1532326130/solver-4293744-1532326130 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10562 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293744-1532326130.xml

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

MD5SUM BENCH= 5947b7d603c6960c1f689b2eabbe33a0
RANDOM SEED=701612597

node134.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.68
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.68
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.68
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.68
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:        27438484 kB
MemAvailable:   31909264 kB
Buffers:          184244 kB
Cached:          4550976 kB
SwapCached:            0 kB
Active:          1459928 kB
Inactive:        3398804 kB
Active(anon):      73044 kB
Inactive(anon):    70304 kB
Active(file):    1386884 kB
Inactive(file):  3328500 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3140 kB
Writeback:             0 kB
AnonPages:        130712 kB
Mapped:            38868 kB
Shmem:             17056 kB
Slab:             170592 kB
SReclaimable:     142460 kB
SUnreclaim:        28132 kB
KernelStack:        3408 kB
PageTables:         5564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     412532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55992 MiB
End job on node134 at 2018-07-23 08:50:50