Trace number 4295016

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

General information on the benchmark

NameCarSequencing/
CarSequencing-85-01_c18.xml
MD5SUM1301ca50d7ea6d03cca9e07ce6e480be
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 benchmark84.3427
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1440
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree84
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":3}, {"degree":84,"count":39}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":38,"count":2},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":4},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1239},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.09/0.18	c root propagations     : 0           
0.09/0.18	c restarts enabled, print stats at every restarts
0.09/0.18	c
0.09/0.18	c
0.09/0.18	c
0.09/0.18	c This is cosoco 1.12 --  
0.09/0.18	c
0.09/0.18	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295016-1532521703.xml 
0.09/0.18	c ========================================[ Problem Statistics ]===========================================
0.09/0.18	c |                                                                                                       
0.09/0.18	c |  Parse time        :         0.17 s 
0.09/0.18	c |
0.09/0.18	c |               Variables: 1200
0.09/0.18	c |            Domain Sizes: 2..26
0.09/0.18	c |
0.09/0.18	c |             Constraints: 1465
0.09/0.18	c |                   Arity: 2..200  -- Binary: 199  -- Ternary: 396
0.09/0.18	c | 
0.09/0.18	c |                   Types: 
0.09/0.18	c |                          Exactly K: 26
0.09/0.18	c |                          Extension: 200  (nb tuples: 26..26) -- (shared: 199)
0.09/0.18	c |                          Sum: 1239
0.09/0.18	c |                          
0.09/0.18	c =========================================================================================================
0.09/0.18	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.68/0.77	c 101            1126           100860         23564          0              0              794   810   795
1.09/1.10	c 211            1590           150913         41623          0              0              62   76   67   
1.38/1.47	c 332            2012           207449         64018          0              0              49   59   53   
1.78/1.85	c 465            2559           267008         93194          0              0              43   94   63   
2.18/2.28	c 611            3227           331986         119879         0              0              46   93   79   
3.09/3.10	c 771            4749           479532         154437         0              0              61   840   808 
4.18/4.26	c 947            5935           641436         178220         0              0              62   215   192 
4.88/4.91	c 1140           7272           745265         200885         0              0              46   716   459 
5.48/5.56	c 1352           8119           857124         221505         0              0              49   349   320 
7.58/7.65	c 1585           15081          1221004        270904         0              0              51   368   229 
8.09/8.17	c 1841           16106          1322778        290759         0              0              49   408   384 
8.99/9.04	c 2122           18152          1469568        312997         0              0              51   270   235 
9.78/9.81	c 2431           19123          1591475        331674         0              0              71   176   167 
11.09/11.14	c 2770           20197          1793239        359422         0              0              38   194   181 
12.59/12.64	c 3142           21838          2032753        392908         0              0              41   407   229 
13.79/13.89	c 3551           23195          2244051        426045         0              0              48   282   269 
16.18/16.22	c 4000           25215          2641382        484741         0              0              49   431   315 
18.18/18.28	c 4493           28134          2982281        541831         0              0              92   501   451 
20.58/20.60	c 5035           30674          3344906        634469         0              0              57   278   253 
21.78/21.86	c 5631           33540          3592622        675839         0              0              418   543   497
23.18/23.28	c 6286           36973          3827221        746810         0              0              105   191   139
24.48/24.57	c 7006           39811          4119465        796934         0              0              59   574   494 
31.78/31.89	c 7798           42971          5220553        1199826        0              0              55   523   358 
33.38/33.40	c 8669           48787          5621283        1248303        0              0              65   474   460 
35.58/35.62	c 9627           51208          6002004        1307364        0              0              67   325   314 
38.99/39.10	c 10680          56145          6470046        1392575        0              0              71   105   89  
40.99/41.07	c 11838          59184          6855143        1433859        0              0              56   326   319 
44.58/44.64	c 13111          64174          7364586        1523204        0              0              63   368   169 
46.17/46.25	c 14511          67122          7742241        1616386        0              0              54   447   434 
47.98/48.05	c 16051          73176          8227610        1707868        0              0              53   542   462 
50.47/50.53	c 17745          83934          8742671        2061956        0              0              53   191   169 
53.37/53.40	c 19608          89792          9483615        2193301        0              0              82   535   518 
66.17/66.26	c 21657          98341          12235725       2479639        0              0              82   451   431 
68.17/68.28	c 23910          104555         12814581       2625961        0              0              52   477   465 
74.86/74.96	c 26388          110536         14291226       2825825        0              0              51   475   449 
77.26/77.32	c 29113          116002         15001412       3080655        0              0              51   501   491 
82.46/82.58	c 32110          121496         16135523       3271161        0              0              51   535   526 
92.46/92.57	c 35406          131501         17875714       3496697        0              0              51   428   410 
104.16/104.25	c 39031          142127         19831896       3851061        0              0              51   334   308 
115.96/116.10	c 43018          154717         21872756       4197551        0              0              50   307   294 
133.15/133.24	c 47403          172744         24529974       4677948        0              0              51   276   266 
148.15/148.26	c 52226          188108         27037144       5101373        0              0              50   371   317 
161.34/161.42	c 57531          203702         29454810       5674880        0              0              57   441   369 
174.45/174.59	c 63366          216950         32122814       6012195        0              0              62   456   443 
183.35/183.44	c 69784          238289         34051472       6560691        0              0              95   438   335 
196.25/196.35	c 76843          265297         36624288       6975761        0              0              77   389   302 
204.55/204.67	c 84607          285784         38943628       7452931        0              0              78   377   359 
224.44/224.57	c 93147          305957         42833984       8013670        0              0              77   319   313 
244.74/244.90	c 102541         339647         46550102       8837811        0              0              76   274   230 
267.34/267.44	c 112874         406638         50644625       10680139       0              0              58   111   99  
298.74/298.88	c 124240         435651         56144989       11525317       0              0              50   261   231 
322.34/322.40	c 136742         489455         60385251       13251429       0              0              45   62   57   
354.14/354.27	c 150494         523855         65827837       14184875       0              0              44   245   224 
396.54/396.64	c 165621         569601         72984468       15423164       0              0              45   270   249 
471.95/472.05	c 182260         649261         84290584       17569767       0              0              47   210   201 
522.34/522.42	c 200562         716904         92899375       18904812       0              0              47   289   254 
556.13/556.26	c 220694         805089         101929648      20289080       0              0              46   390   365 
586.33/586.49	c 242839         860702         110164586      21587035       0              0              46   384   363 
640.13/640.22	c 267198         916175         121659295      23456186       0              0              46   368   350 
720.94/721.03	c 293992         997942         135791930      25234095       0              0              46   322   283 
790.83/790.99	c 323465         1110416        148429173      27351330       0              0              66   366   207 
820.83/820.93	c 355885         1196115        157763180      29064215       0              0              46   369   359 
849.33/849.43	c 391547         1257557        164690373      30467005       0              0              46   408   371 
957.12/957.21	c 430775         1387249        185575322      32795696       0              0              46   295   289 
1062.32/1062.48	c 473925         1486049        205265815      36757926       0              0              46   325   297 
1234.82/1234.99	c 521390         1650227        238537018      41823315       0              0              52   429   324 
1364.11/1364.23	c 573601         1827239        261535086      46086790       0              0              59   371   331 
1427.02/1427.14	c 631033         2099814        280198845      48288385       0              0              61   421   395 
1513.92/1514.10	c 694208         2271486        299238439      50679018       0              0              61   417   278 
1803.01/1803.16	c 763700         2593019        346211891      60950380       0              0              51   322   268 
1931.60/1931.73	c 840141         2827414        379040627      65691835       0              0              57   423   404 
2191.79/2191.92	c 924226         3054600        422766063      75312636       0              0              57   186   181 
2278.09/2278.22	c 1016719        3361748        446981350      78130786       0              0              62   423   388 
2459.68/2459.84	c 1118461        3716766        491541664      83308066       0              0              61   400   376 
2519.89/2520.00	
2519.89/2520.00	c *** INTERRUPTED ***
2519.89/2520.00	c restarts              : 74          
2519.89/2520.00	c conflicts             : 1184452      (470 /sec)
2519.89/2520.00	c decisions             : 3883475      (1541 /sec)
2519.89/2520.00	c propagations          : 89056246    (35342 /sec)
2519.89/2520.00	c root propagations     : 0           
2519.89/2520.00	c filter calls          : 513032812      (203595 /sec)
2519.89/2520.00	c useless filter calls  : 490400983      (95 %)
2519.89/2520.00	c Memory used           : 41.18 MB
2519.89/2520.00	c CPU time              : 2519.87 s
2519.89/2520.00	
2519.89/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 (1600 MiB free)
  memory of node 1: 16384 MiB (6049 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295016-1532521703/watcher-4295016-1532521703 -o /tmp/evaluation-result-4295016-1532521703/solver-4295016-1532521703 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295016-1532521703.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
solver pid=24137, runsolver pid=24134
Current StackSize limit: 8192 KiB


[startup+0.100503 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7826668/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=34808 memory=11272 CPUtime=0.09 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 2991 0 0 0 9 0 0 0 20 0 1 0 69733436 35643392 2818 33554432000 4194304 6142532 140726264363584 140726264357912 139654742707173 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 8702 2818 832 476 0 2024 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34808 KiB
Current children cumulated memory: 11272 KiB

[startup+0.20966 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7824140/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=37140 memory=13596 CPUtime=0.2 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 3619 0 0 0 20 0 0 0 20 0 1 0 69733436 38031360 3399 33554432000 4194304 6142532 140726264363584 140726264357912 5215810 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 9285 3399 834 476 0 2607 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37140 KiB
Current children cumulated memory: 13596 KiB

[startup+0.30915 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7823396/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=38064 memory=14652 CPUtime=0.3 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 3856 0 0 0 30 0 0 0 20 0 1 0 69733436 38977536 3663 33554432000 4194304 6142532 140726264363584 140726264357912 139654742707173 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 9516 3663 876 476 0 2838 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 14652 KiB

[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7821164/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=40440 memory=17028 CPUtime=0.68 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 4432 0 0 0 68 0 0 0 20 0 1 0 69733436 41410560 4257 33554432000 4194304 6142532 140726264363584 140726264357912 5139650 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10110 4257 876 476 0 3432 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 17028 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7820844/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=40440 memory=17028 CPUtime=1.48 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 4435 0 0 0 148 0 0 0 20 0 1 0 69733436 41410560 4257 33554432000 4194304 6142532 140726264363584 140726264360984 5215810 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10110 4257 876 476 0 3432 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 17028 KiB

[startup+3.10912 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7819744/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=41504 memory=18128 CPUtime=3.09 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 7551 0 0 0 309 0 0 0 20 0 1 0 69733436 42500096 4532 33554432000 4194304 6142532 140726264363584 140726264360984 5175070 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10376 4532 878 476 0 3698 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41504 KiB
Current children cumulated memory: 18128 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7819516/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=41768 memory=18464 CPUtime=6.28 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 10805 0 0 0 628 0 0 0 20 0 1 0 69733436 42770432 4616 33554432000 4194304 6142532 140726264363584 140726264360984 5137807 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10442 4616 878 476 0 3764 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 18464 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7819524/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=41768 memory=18464 CPUtime=12.69 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 14026 0 0 0 1268 1 0 0 20 0 1 0 69733436 42770432 4616 33554432000 4194304 6142532 140726264363584 140726264360984 5140318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10442 4616 878 476 0 3764 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 18464 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7819276/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42032 memory=18700 CPUtime=25.48 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 20610 0 0 0 2547 1 0 0 20 0 1 0 69733436 43040768 4675 33554432000 4194304 6142532 140726264363584 140726264360984 5215819 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10508 4675 878 476 0 3830 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 42032 KiB
Current children cumulated memory: 18700 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24138
/proc/meminfo: memFree=7819400/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18800 CPUtime=51.08 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 23971 0 0 0 5107 1 0 0 20 0 1 0 69733436 43175936 4700 33554432000 4194304 6142532 140726264363584 140726264360984 5215611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4700 878 476 0 3863 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18800 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24147
/proc/meminfo: memFree=7817424/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=102.26 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 24150 0 0 0 10225 1 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5139123 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 24148
/proc/meminfo: memFree=7818044/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=162.24 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 24310 0 0 0 16223 1 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5137319 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+222.3 s]
/proc/loadavg: 1.95 2.01 2.04 3/188 24149
/proc/meminfo: memFree=7817904/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=222.24 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 24470 0 0 0 22222 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 24150
/proc/meminfo: memFree=7818456/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=282.24 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 24557 0 0 0 28222 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5120828 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 24151
/proc/meminfo: memFree=7818456/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=342.24 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 24660 0 0 0 34222 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5120791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24152
/proc/meminfo: memFree=7818568/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=402.24 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 24777 0 0 0 40222 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5215810 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 24153
/proc/meminfo: memFree=7818576/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=462.24 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 24834 0 0 0 46222 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5137583 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB


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

/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+1782.3 s]
/proc/loadavg: 2.03 2.11 2.08 3/187 24215
/proc/meminfo: memFree=7818220/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=1782.2 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 27564 0 0 0 178218 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5138400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/187 24216
/proc/meminfo: memFree=7818248/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=1842.2 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 27724 0 0 0 184218 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5215813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 24224
/proc/meminfo: memFree=7816620/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=1902.2 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 27810 0 0 0 190218 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5138717 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 24248
/proc/meminfo: memFree=7816496/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=1962.19 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 27970 0 0 0 196217 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 24249
/proc/meminfo: memFree=7817392/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2022.19 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 28033 0 0 0 202217 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5138688 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24250
/proc/meminfo: memFree=7817640/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2082.19 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 28097 0 0 0 208217 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5215827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24251
/proc/meminfo: memFree=7817648/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2142.19 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 28162 0 0 0 214217 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5137319 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7828808/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2202.19 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 28316 0 0 0 220217 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+2262.3 s]
/proc/loadavg: 1.93 2.01 2.04 3/187 24377
/proc/meminfo: memFree=7829800/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2262.19 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 28426 0 0 0 226217 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5175068 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+2322.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 24378
/proc/meminfo: memFree=7829816/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2322.18 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 28586 0 0 0 232216 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5215649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+2382.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 24379
/proc/meminfo: memFree=7829064/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2382.18 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 28674 0 0 0 238216 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5215653 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 24380
/proc/meminfo: memFree=7828952/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2442.18 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 28761 0 0 0 244216 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5137685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24389
/proc/meminfo: memFree=7827576/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2502.18 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 28922 0 0 0 250216 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5120791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 24390
/proc/meminfo: memFree=7827984/32770624 swapFree=67108860/67108860
[pid=24137] ppid=24134 vsize=42164 memory=18816 CPUtime=2519.89 cores=0,2,4,6
/proc/24137/stat : 24137 (cosoco) R 24134 24137 21810 0 -1 4202496 29005 0 0 0 251987 2 0 0 20 0 1 0 69733436 43175936 4704 33554432000 4194304 6142532 140726264363584 140726264360984 5120788 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33103872 140726264366214 140726264366344 140726264366344 140726264369102 0
/proc/24137/statm: 10541 4704 878 476 0 3863 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18816 KiB

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

[startup+2520.01 s]
# the end of solver process 24137 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.87 s, system=0.022999 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.9
CPU user time (s): 2519.87
CPU system time (s): 0.022999
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 42164
Max. memory (cumulated for all children) (KiB): 18816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.87
system time used= 0.022999
maximum resident set size= 18880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29054
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= 22
involuntary context switches= 865


# summary of solver processes directly reported to runsolver:
#   pid: 24137
#   total CPU time (s): 2519.9
#   total CPU user time (s): 2519.87
#   total CPU system time (s): 0.022999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.09763 second user time and 17.3374 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-25 14:28:23
IDJOB=4295016
IDBENCH=141455
IDSOLVER=2752
FILE ID=node139/4295016-1532521703
RUNJOBID= node139-1532498649-21841
PBS_JOBID= 21021588
Free space on /tmp= 38840 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/CarSequencing/CarSequencing-85-01_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295016-1532521703/watcher-4295016-1532521703 -o /tmp/evaluation-result-4295016-1532521703/solver-4295016-1532521703 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295016-1532521703.xml

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

MD5SUM BENCH= 1301ca50d7ea6d03cca9e07ce6e480be
RANDOM SEED=1136663066

node139.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.80
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.80
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.80
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.80
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:         7834868 kB
MemAvailable:   31918116 kB
Buffers:          213916 kB
Cached:         23717064 kB
SwapCached:            0 kB
Active:          2817244 kB
Inactive:       21181804 kB
Active(anon):      23480 kB
Inactive(anon):    72248 kB
Active(file):    2793764 kB
Inactive(file): 21109556 kB
Unevictable:        7304 kB
Mlocked:            7304 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2752 kB
Writeback:             0 kB
AnonPages:         74616 kB
Mapped:            41916 kB
Shmem:             25228 kB
Slab:             635724 kB
SReclaimable:     608388 kB
SUnreclaim:        27336 kB
KernelStack:        3360 kB
PageTables:         5212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     367624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38836 MiB
End job on node139 at 2018-07-25 15:10:23