Trace number 4295316

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.79 2520.01

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g17-g37_c18.xml
MD5SUM15f6930ab26cfa444fe93224da66a51d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark89.8838
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints113
Number of domains1
Minimum domain size120
Maximum domain size120
Distribution of domain sizes[{"size":120,"count":64}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":24},{"degree":5,"count":36}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":112},{"arity":64,"count":1}]
Number of extensional constraints112
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":112},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295316-1532547641.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.00 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 64
0.00/0.01	c |            Domain Sizes: 120..120
0.00/0.01	c |
0.00/0.01	c |             Constraints: 113
0.00/0.01	c |                   Arity: 2..64  -- Binary: 112
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 1
0.00/0.01	c |                          Extension: 112  (nb tuples: 1276..1276) -- (shared: 111)
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.03	c 101            241            7308           39305          0              0              7   25   17    
0.00/0.05	c 211            538            16776          83275          0              0              10   36   26   
0.00/0.08	c 332            852            26084          130291         0              0              10   36   26   
0.00/0.10	c 465            1269           34507          161563         0              0              12   30   28   
0.10/0.12	c 611            1566           41171          198272         0              0              10   22   17   
0.10/0.15	c 771            1933           52189          253514         0              0              7   25   18    
0.10/0.20	c 947            2518           68531          338105         0              0              11   37   22   
0.21/0.24	c 1140           3062           84275          406530         0              0              9   35   25    
0.21/0.27	c 1352           3523           93400          449461         0              0              12   32   27   
0.21/0.30	c 1585           4006           105296         506639         0              0              9   33   26    
0.30/0.34	c 1841           4492           116800         565454         0              0              12   32   24   
0.30/0.40	c 2122           5181           136801         660963         0              0              9   34   26    
0.40/0.45	c 2431           5873           155571         746044         0              0              7   27   19    
0.40/0.50	c 2770           6573           173628         844721         0              0              12   33   23   
0.50/0.58	c 3142           7411           201448         991396         0              0              13   36   25   
0.60/0.68	c 3551           8395           231891         1144550        0              0              12   39   30   
0.69/0.74	c 4000           9467           253671         1273218        0              0              10   27   21   
0.79/0.84	c 4493           10709          291688         1426950        0              0              9   25   20    
0.89/0.99	c 5035           12054          342336         1679399        0              0              13   36   27   
1.00/1.10	c 5631           13426          380544         1852269        0              0              12   42   26   
1.19/1.23	c 6286           14959          426497         2049840        0              0              12   36   26   
1.29/1.34	c 7006           16521          463925         2232291        0              0              12   28   22   
1.39/1.47	c 7798           18352          502963         2427698        0              0              9   34   30    
1.59/1.60	c 8669           20406          547843         2621293        0              0              10   33   29   
1.69/1.77	c 9627           22464          606304         2914798        0              0              10   37   23   
1.89/1.98	c 10680          25031          674989         3193187        0              0              12   38   32   
2.00/2.10	c 11838          27089          716408         3462447        0              0              10   26   20   
2.19/2.27	c 13111          29862          772634         3765833        0              0              9   34   27    
2.49/2.55	c 14511          33112          876811         4176415        0              0              9   29   20    
2.79/2.84	c 16051          37011          963576         4568567        0              0              10   43   37   
3.10/3.12	c 17745          40248          1051387        4972554        0              0              10   35   23   
3.39/3.43	c 19608          44749          1157681        5463633        0              0              12   41   30   
3.69/3.76	c 21657          49193          1266424        5941842        0              0              10   26   21   
4.10/4.19	c 23910          54239          1433472        6677244        0              0              7   29   17    
4.39/4.44	c 26388          58061          1518654        7257810        0              0              10   26   21   
4.79/4.84	c 29113          64006          1653799        7840528        0              0              10   27   21   
5.39/5.42	c 32110          70807          1862117        8786551        0              0              9   30   23    
5.79/5.89	c 35406          77800          2023147        9614524        0              0              10   27   20   
6.39/6.42	c 39031          86218          2204605        10565168       0              0              10   27   21   
6.79/6.88	c 43018          94497          2359971        11439759       0              0              10   26   21   
7.69/7.74	c 47403          104604         2687066        12889223       0              0              7   33   18    
8.39/8.44	c 52226          115473         2926249        14129596       0              0              10   29   22   
9.29/9.35	c 57531          128500         3242423        15593824       0              0              9   41   27    
10.29/10.38	c 63366          141069         3574054        17108303       0              0              12   43   26   
11.49/11.58	c 69784          155758         3997501        19063952       0              0              9   39   24    
12.29/12.37	c 76843          170199         4275491        20599637       0              0              10   28   21   
13.59/13.60	c 84607          187069         4673159        22460090       0              0              10   29   22   
15.19/15.26	c 93147          206018         5298827        25306164       0              0              7   41   20    
16.49/16.58	c 102541         227064         5726839        27024817       0              0              10   56   32   
18.29/18.35	c 112874         249905         6314831        29487579       0              0              10   35   24   
20.19/20.27	c 124240         274996         6950875        32414339       0              0              10   31   22   
22.69/22.78	c 136742         306080         7874150        36184069       0              0              12   40   27   
25.59/25.60	c 150494         337764         8829423        40520572       0              0              12   45   30   
28.48/28.60	c 165621         372014         9845627        45129883       0              0              12   39   28   
31.68/31.77	c 182260         409251         11000847       50324802       0              0              7   41   20    
35.58/35.65	c 200562         450327         12342506       56261357       0              0              12   42   28   
38.09/38.18	c 220694         491079         13261661       60933419       0              0              3   39   22    
42.38/42.42	c 242839         540196         14646817       67689141       0              0              3   41   25    
45.88/45.98	c 267198         589083         15835416       73752991       0              0              10   38   33   
49.99/50.09	c 293992         643432         17171692       80183701       0              0              10   30   23   
55.88/55.99	c 323465         711053         19211440       89314824       0              0              12   41   29   
62.09/62.11	c 355885         786206         21277661       99515146       0              0              10   43   28   
68.38/68.49	c 391547         867612         23304420       108618141      0              0              8   43   26    
74.58/74.65	c 430775         949478         25343706       118217294      0              0              10   30   23   
82.48/82.50	c 473925         1044202        28152731       130852669      0              0              7   41   21    
91.88/91.93	c 521390         1149555        31381893       145638743      0              0              8   40   28    
102.68/102.76	c 573601         1272338        34715231       159821641      0              0              10   43   29   
112.68/112.78	c 631033         1398200        38010016       175076841      0              0              3   36   22    
122.48/122.50	c 694208         1526350        41233232       190646730      0              0              10   30   23   
136.18/136.21	c 763700         1694042        45803402       209162809      0              0              9   43   23    
150.77/150.81	c 840141         1877723        50844599       232232520      0              0              9   44   27    
164.77/164.87	c 924226         2055903        55645064       255580685      0              0              2   44   24    
178.37/178.46	c 1016719        2260958        60446583       278866018      0              0              2   43   26    
198.47/198.54	c 1118461        2488427        67282239       312573170      0              0              12   41   30   
219.98/220.02	c 1230377        2749612        74097857       341808073      0              0              5   43   28    
241.17/241.22	c 1353484        3022189        80594280       369907691      0              0              12   36   29   
266.36/266.44	c 1488901        3318397        89209544       408395856      0              0              8   50   30    
288.36/288.45	c 1637859        3663643        96667402       441905466      0              0              2   46   30    
317.07/317.16	c 1801712        4024960        106461081      488143279      0              0              3   47   29    
351.96/352.01	c 1981950        4461651        117911137      534413423      0              0              9   45   24    
389.45/389.59	c 2180211        4933269        130374734      584738403      0              0              9   43   25    
426.96/427.09	c 2398298        5431822        142991580      638869995      0              0              3   46   26    
472.35/472.47	c 2638193        6001201        158211582      702828638      0              0              8   45   27    
513.14/513.21	c 2902077        6561823        172167007      763806918      0              0              2   48   30    
568.64/568.79	c 3192349        7234083        191194993      855625725      0              0              7   51   26    
622.04/622.18	c 3511648        7988037        208962815      938431315      0              0              2   45   29    
683.94/684.03	c 3862876        8772361        229620529      1032093293     0              0              8   50   31    
761.82/761.94	c 4249226        9674322        257452417      1162844721     0              0              12   46   29   
830.92/831.10	c 4674211        10639502       280229258      1258590098     0              0              2   57   30    
913.02/913.16	c 5141694        11704200       308002994      1378130030     0              0              2   48   26    
999.50/999.63	c 5655925        12815502       337299267      1521785452     0              0              3   50   31    
1080.39/1080.50	c 6221579        14125209       364558551      1619757207     0              0              3   57   40    
1192.89/1193.10	c 6843798        15497894       398049835      1783987545     0              0              10   44   34   
1307.47/1307.64	c 7528238        16985180       437100925      1970172354     0              0              4   55   29    
1437.06/1437.23	c 8281122        18660779       478031326      2150411586     0              0              3   49   28    
1592.96/1593.12	c 9109294        20474567       532950141      2413683723     0              0              9   46   29    
1736.34/1736.58	c 10020283       22364817       580524997      2647277292     0              0              3   55   33    
1889.83/1890.05	c 11022370       24456959       631742286      2896336737     0              0              2   50   31    
2078.31/2078.57	c 12124665       26912986       691007339      3168033805     0              0              3   53   38    
2278.80/2279.08	c 13337189       29597548       757401918      3476679844     0              0              3   55   32    
2515.17/2515.47	c 14670965       32613829       838139224      3837569472     0              0              4   50   28    
2519.78/2520.00	
2519.78/2520.00	c *** INTERRUPTED ***
2519.78/2520.00	c restarts              : 101         
2519.78/2520.00	c conflicts             : 14704022     (5835 /sec)
2519.78/2520.00	c decisions             : 32689046     (12973 /sec)
2519.78/2520.00	c propagations          : 3845102950  (1525966 /sec)
2519.78/2520.00	c root propagations     : 0           
2519.78/2520.00	c filter calls          : 839673355      (333232 /sec)
2519.78/2520.00	c useless filter calls  : 485566902      (57 %)
2519.78/2520.00	c Memory used           : 26.80 MB
2519.78/2520.00	c CPU time              : 2519.78 s
2519.78/2520.00	
2519.78/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 (2264 MiB free)
  memory of node 1: 16384 MiB (6360 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295316-1532547641/watcher-4295316-1532547641 -o /tmp/evaluation-result-4295316-1532547641/solver-4295316-1532547641 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295316-1532547641.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
Current StackSize limit: 8192 KiB

solver pid=28637, runsolver pid=28634

[startup+0.100825 s]*
/proc/loadavg: 1.92 1.98 2.03 3/188 28638
/proc/meminfo: memFree=8831368/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=3936 CPUtime=0.1 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1171 0 0 0 10 0 0 0 20 0 1 0 72326988 28098560 984 33554432000 4194304 6142532 140727049919664 140727049917064 5060741 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 984 811 476 0 182 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 3936 KiB

[startup+0.20948 s]*
/proc/loadavg: 1.92 1.98 2.03 3/188 28638
/proc/meminfo: memFree=8830996/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=3936 CPUtime=0.21 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1171 0 0 0 21 0 0 0 20 0 1 0 72326988 28098560 984 33554432000 4194304 6142532 140727049919664 140727049917064 4995831 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 984 811 476 0 182 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 3936 KiB

[startup+0.308915 s]*
/proc/loadavg: 1.92 1.98 2.03 4/188 28638
/proc/meminfo: memFree=8830996/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=3936 CPUtime=0.3 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1171 0 0 0 30 0 0 0 20 0 1 0 72326988 28098560 984 33554432000 4194304 6142532 140727049919664 140727049917064 5058615 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 984 811 476 0 182 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 3936 KiB

[startup+0.70027 s]
/proc/loadavg: 1.92 1.98 2.03 3/188 28638
/proc/meminfo: memFree=8830996/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=3936 CPUtime=0.69 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1171 0 0 0 69 0 0 0 20 0 1 0 72326988 28098560 984 33554432000 4194304 6142532 140727049919664 140727049917064 5057941 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 984 811 476 0 182 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 3936 KiB

[startup+1.50027 s]
/proc/loadavg: 1.92 1.98 2.03 3/188 28638
/proc/meminfo: memFree=8830996/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=3936 CPUtime=1.49 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1171 0 0 0 149 0 0 0 20 0 1 0 72326988 28098560 984 33554432000 4194304 6142532 140727049919664 140727049917064 5061915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 984 811 476 0 182 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 3936 KiB

[startup+3.10896 s]
/proc/loadavg: 1.92 1.98 2.03 3/188 28638
/proc/meminfo: memFree=8830996/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=3.1 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1277 0 0 0 310 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5060597 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+6.30026 s]
/proc/loadavg: 1.92 1.98 2.03 3/188 28638
/proc/meminfo: memFree=8831000/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=6.29 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1383 0 0 0 629 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5058648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 2.03 3/188 28638
/proc/meminfo: memFree=8831000/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=12.69 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1489 0 0 0 1269 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5058213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 2.03 3/188 28638
/proc/meminfo: memFree=8831484/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=25.49 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1689 0 0 0 2549 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 4995353 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+51.1089 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 28638
/proc/meminfo: memFree=8831484/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=51.09 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1807 0 0 0 5109 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5054432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/188 28639
/proc/meminfo: memFree=8831360/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=102.28 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 1913 0 0 0 10228 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5058075 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 28640
/proc/meminfo: memFree=8830964/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=162.27 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 2019 0 0 0 16227 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5060757 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 2.00 2.04 3/188 28641
/proc/meminfo: memFree=8831692/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=222.27 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 2125 0 0 0 22227 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5054961 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+282.3 s]
/proc/loadavg: 2.38 2.12 2.08 3/187 28642
/proc/meminfo: memFree=8832204/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=282.26 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 2231 0 0 0 28226 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5060728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+342.3 s]
/proc/loadavg: 2.14 2.10 2.07 3/187 28643
/proc/meminfo: memFree=8831756/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=342.26 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 2337 0 0 0 34226 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5054704 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/187 28644
/proc/meminfo: memFree=8831692/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=402.25 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 2443 0 0 0 40225 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5061893 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/187 28645
/proc/meminfo: memFree=8831692/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=462.25 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 2549 0 0 0 46225 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 4995712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB


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

/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28836
/proc/meminfo: memFree=8830500/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=1782.13 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 4775 0 0 0 178213 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5053584 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28837
/proc/meminfo: memFree=8831104/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=1842.13 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 4868 0 0 0 184213 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5170127 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28838
/proc/meminfo: memFree=8830852/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=1902.12 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 4975 0 0 0 190212 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5058360 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28839
/proc/meminfo: memFree=8830736/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=1962.12 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5068 0 0 0 196212 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5054357 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28840
/proc/meminfo: memFree=8831136/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2022.11 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5161 0 0 0 202211 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5058259 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28841
/proc/meminfo: memFree=8830940/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2082.11 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5267 0 0 0 208211 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5175070 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28842
/proc/meminfo: memFree=8831188/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2142.1 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5360 0 0 0 214210 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5058668 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28843
/proc/meminfo: memFree=8830816/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2202.1 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5453 0 0 0 220210 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5054680 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28844
/proc/meminfo: memFree=8830952/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2262.09 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5546 0 0 0 226209 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5055676 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28845
/proc/meminfo: memFree=8830952/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2322.09 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5652 0 0 0 232209 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 4995681 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28854
/proc/meminfo: memFree=8830456/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2382.08 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5744 0 0 0 238208 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5327273 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28855
/proc/meminfo: memFree=8830472/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2442.08 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5837 0 0 0 244208 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5060719 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28856
/proc/meminfo: memFree=8830596/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2502.07 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 5930 0 0 0 250207 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5053619 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28856
/proc/meminfo: memFree=8830712/32770624 swapFree=67108860/67108860
[pid=28637] ppid=28634 vsize=27440 memory=4056 CPUtime=2519.78 cores=1,3,5,7
/proc/28637/stat : 28637 (cosoco) R 28634 28637 27447 0 -1 4202496 6032 0 0 0 251978 0 0 0 20 0 1 0 72326988 28098560 1014 33554432000 4194304 6142532 140727049919664 140727049917064 5058268 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 25505792 140727049921670 140727049921800 140727049921800 140727049924558 0
/proc/28637/statm: 6860 1014 840 476 0 182 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 27440 KiB
Current children cumulated memory: 4056 KiB

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

[startup+2520.01 s]
# the end of solver process 28637 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.78 s, system=0.002999 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.79
CPU user time (s): 2519.78
CPU system time (s): 0.002999
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 27440
Max. memory (cumulated for all children) (KiB): 4056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.002999
maximum resident set size= 4120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6081
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= 15
involuntary context switches= 638


# summary of solver processes directly reported to runsolver:
#   pid: 28637
#   total CPU time (s): 2519.79
#   total CPU user time (s): 2519.78
#   total CPU system time (s): 0.002999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.56469 second user time and 16.0142 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-25 21:40:41
IDJOB=4295316
IDBENCH=141505
IDSOLVER=2752
FILE ID=node106/4295316-1532547641
RUNJOBID= node106-1532535025-27479
PBS_JOBID= 21021947
Free space on /tmp= 46236 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g17-g37_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295316-1532547641/watcher-4295316-1532547641 -o /tmp/evaluation-result-4295316-1532547641/solver-4295316-1532547641 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295316-1532547641.xml

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

MD5SUM BENCH= 15f6930ab26cfa444fe93224da66a51d
RANDOM SEED=749059801

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:         8832680 kB
MemAvailable:   31928428 kB
Buffers:          284436 kB
Cached:         22707000 kB
SwapCached:            0 kB
Active:          2810480 kB
Inactive:       20238632 kB
Active(anon):      60340 kB
Inactive(anon):    25252 kB
Active(file):    2750140 kB
Inactive(file): 20213380 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2868 kB
Writeback:            24 kB
AnonPages:         70724 kB
Mapped:            41492 kB
Shmem:             25228 kB
Slab:             587856 kB
SReclaimable:     560688 kB
SUnreclaim:        27168 kB
KernelStack:        3552 kB
PageTables:         4996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46232 MiB
End job on node106 at 2018-07-25 22:22:41