Trace number 4239745

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
R1: cosoco 1.1? (TO) 2400.1 2400.6

General information on the benchmark

NameScheduling/Scheduling-xcsp2-os-gp/
gp10-05-1070_X2.xml
MD5SUM23007d5514affe077dd6f6cf857721a4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark31.226101
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Number of domains2
Minimum domain size1
Maximum domain size1071
Distribution of domain sizes[{"size":1,"count":1},{"size":1071,"count":100}]
Minimum variable degree19
Maximum variable degree100
Distribution of variable degrees[{"degree":19,"count":100},{"degree":100,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1000}]
Number of extensional constraints0
Number of intensional constraints1000
Distribution of constraint types[{"type":"intension","count":1000}]
Optimization problemNO
Type of objective

Solver Data 

1.20/1.22	c root propagations     : 10000       
1.20/1.22	c restarts enabled, print stats at every restarts
1.20/1.22	c
1.20/1.22	c
1.20/1.22	c
1.20/1.22	c This is cosoco 1.0 --  
1.20/1.22	c
1.20/1.22	c ========================================[ Problem Statistics ]===========================================
1.20/1.22	c |                                                                                                       
1.20/1.22	c |  Parse time        :         1.18 s 
1.20/1.22	c |
1.20/1.22	c |               Variables: 101
1.20/1.22	c |            Domain Sizes: 1..1071
1.20/1.22	c |
1.20/1.22	c |             Constraints: 1000
1.20/1.22	c |                   Arity: 2..2  -- Binary: 1000
1.20/1.22	c | 
1.20/1.22	c |                   Types: 
1.20/1.22	c |                          Intension: 1000
1.20/1.22	c |                          
1.20/1.22	c =========================================================================================================
1.20/1.22	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.29/1.38	c 101            126            9721           657236         100            0              21   22   21   
1.49/1.51	c 211            281            22035          801144         100            0              37   38   37   
1.59/1.64	c 332            432            32176          1098727        100            0              25   29   27   
1.69/1.76	c 465            577            39167          1471281        100            0              11   11   10   
1.89/1.93	c 611            733            47503          2257005        100            0              9   9   8      
1.99/2.05	c 771            946            62476          2371005        100            0              12   38   35   
2.29/2.34	c 947            1140           84121          2973241        100            0              15   16   15   
2.49/2.52	c 1140           1344           93792          3615515        100            0              8   10   9     
2.69/2.70	c 1352           1570           105367         4396425        100            0              13   13   12   
2.79/2.84	c 1585           1826           117734         4706662        100            0              24   24   23   
2.99/3.08	c 1841           2096           129316         5866210        100            0              4   15   4     
3.29/3.32	c 2122           2397           142525         6723690        100            0              9   21   12    
3.59/3.66	c 2431           2736           164504         8095637        100            0              11   12   11   
4.08/4.11	c 2770           3109           197153         8752759        100            0              14   15   14   
4.40/4.43	c 3142           3491           211168         9994413        100            0              7   7   6      
4.79/4.86	c 3551           3907           226587         11755290       100            0              8   8   7      
5.19/5.28	c 4000           4375           251900         12586575       100            0              5   16   12    
5.69/5.75	c 4493           4910           282041         14100592       100            0              11   15   14   
6.29/6.38	c 5035           5467           304961         17403938       100            0              5   5   4      
6.79/6.86	c 5631           6079           329612         18531983       100            0              9   9   8      
7.29/7.39	c 6286           6750           356437         19682086       100            0              9   9   8      
7.59/7.63	c 7006           7489           382680         20450537       100            0              9   15   14    
8.49/8.59	c 7798           8302           435756         24211556       100            0              10   19   18   
9.99/10.07	c 8669           9207           529501         26684992       100            0              13   13   12   
10.39/10.42	c 9627           10191          566155         28781649       100            0              16   16   15   
11.28/11.36	c 10680          11286          637399         32288681       100            0              2   15   13    
11.98/12.07	c 11838          12476          682476         34353470       100            0              6   13   10    
12.68/12.71	c 13111          13802          759626         36511528       100            0              6   7   6      
13.98/14.01	c 14511          15217          812816         43062786       100            0              6   9   8      
14.48/14.59	c 16051          16812          869159         44968147       100            0              13   18   16   
15.28/15.37	c 17745          18529          942400         48090964       100            0              12   12   11   
15.49/15.54	c 19608          20413          987804         48595580       100            0              10   13   12   
15.98/16.04	c 21657          22527          1063206        49978251       100            0              9   13   12    
18.38/18.49	c 23910          24850          1160558        60249305       100            0              6   7   6      
20.68/20.79	c 26388          27633          1331696        67605706       100            0              5   8   6      
21.38/21.41	c 29113          30388          1407905        69087944       100            0              9   13   12    
21.48/21.57	c 32110          33409          1476819        69788116       100            0              8   8   7      
21.88/21.98	c 35406          36734          1556451        71704989       100            0              8   8   7      
25.88/25.91	c 39031          40515          1736478        87864519       100            0              6   9   8      
27.08/27.12	c 43018          44548          1854880        91487045       100            0              8   13   12    
31.18/31.22	c 47403          50229          2267715        104313877      100            0              8   15   11    
31.58/31.69	c 52226          55083          2378642        106025035      100            0              2   10   9     
32.18/32.21	c 57531          60437          2517978        108022171      100            0              6   10   8     
34.08/34.14	c 63366          66380          2695926        115524958      100            0              6   10   8     
36.87/36.90	c 69784          72933          3184653        121221721      100            0              10   25   21   
48.26/48.30	c 76843          80140          3532707        150318380      100            0              5   9   6      
49.16/49.26	c 84607          87936          3711634        155457389      100            0              4   4   3      
55.56/55.60	c 93147          96540          4060948        167858553      100            0              8   18   17    
60.16/60.23	c 102541         106232         4542969        178464930      100            0              9   24   21    
66.86/66.90	c 112874         116692         5015142        203675377      100            0              9   24   23    
76.46/76.58	c 124240         129700         5928883        219939471      100            0              10   15   12   
77.45/77.54	c 136742         142293         6221320        222747533      100            0              7   11   10    
88.75/88.81	c 150494         156155         6796264        280111762      100            0              10   15   14   
96.65/96.78	c 165621         171494         7310160        301417638      100            0              10   24   17   
113.75/113.85	c 182260         188386         8227754        380109408      100            0              7   15   9     
116.45/116.54	c 200562         207069         8736011        388754518      100            0              5   6   5      
122.44/122.57	c 220694         227383         9369268        404312783      100            0              5   17   16    
144.64/144.74	c 242839         251144         10681137       474217125      100            0              11   23   21   
165.14/165.29	c 267198         277058         12175526       510594933      100            0              7   21   19    
169.24/169.32	c 293992         304034         12852157       522905496      100            0              13   18   17   
173.34/173.41	c 323465         334223         13764497       530059886      100            0              18   22   19   
181.24/181.31	c 355885         366921         14615521       562308146      100            0              8   15   14    
213.03/213.15	c 391547         403006         16710761       706989831      100            0              14   19   18   
248.92/249.01	c 430775         446617         19994013       780566320      100            0              11   20   17   
288.81/288.95	c 473925         491067         22119485       898026410      100            0              7   15   12    
306.61/306.74	c 521390         538960         23695627       939175748      100            0              10   20   19   
354.00/354.12	c 573601         592130         25929027       1167013586     100            0              9   14   11    
384.29/384.44	c 631033         662548         30878239       1182000376     100            0              11   15   14   
464.88/465.08	c 694208         728644         35532333       1323422059     100            0              13   24   21   
512.47/512.64	c 763700         800639         38823842       1457814159     100            0              7   13   10    
575.05/575.23	c 840141         878052         42065994       1748554916     100            0              12   15   14   
645.84/646.07	c 924226         964114         45779129       1990422732     100            0              4   21   13    
712.13/712.32	c 1016719        1058077        48982614       2237955510     100            0              6   11   8     
767.72/767.97	c 1118461        1162507        54174482       2396125472     100            0              12   23   19   
878.99/879.24	c 1230377        1280856        63689030       2603201174     100            0              6   22   19    
907.39/907.63	c 1353484        1405097        67292128       2685035380     100            0              13   17   16   
971.37/971.64	c 1488901        1541375        72402284       2885402519     100            0              16   18   17   
1030.57/1030.84	c 1637859        1692068        77729482       3084424032     100            0              9   9   8      
1042.76/1043.01	c 1801712        1857204        81599953       3103909648     100            0              5   26   25    
1130.24/1130.55	c 1981950        2041875        88041141       3268552301     100            0              4   20   19    
1260.32/1260.64	c 2180211        2244591        98663098       3665208234     100            0              5   20   18    
1423.09/1423.45	c 2398298        2492950        115143264      4057201922     100            0              8   11   9     
1528.36/1528.75	c 2638193        2736040        124695183      4476978335     100            0              6   17   14    
1653.83/1654.24	c 2902077        3004484        135575598      4850539688     100            0              3   21   15    
1695.23/1695.69	c 3192349        3297645        143043016      5029442587     100            0              4   12   9     
1896.19/1896.61	c 3511648        3618618        155282695      5617264643     100            0              9   15   14    
1996.27/1996.75	c 3862876        3975152        166828624      6020567715     100            0              6   22   16    
2248.12/2248.64	c 4249226        4364980        180780891      6920229990     100            0              4   18   17

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239745-1500623781/watcher-4239745-1500623781 -o /tmp/evaluation-result-4239745-1500623781/solver-4239745-1500623781 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17770 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239745-1500623781.xml 

pid=17914
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.01 0.05 2/236 17917
/proc/meminfo: memFree=31782140/32770624 swapFree=6264/273784
[pid=17917] ppid=17914 vsize=27920 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 1245 0 0 0 1 0 0 0 20 0 1 0 15657045 28590080 1031 33554432000 4194304 5970956 140727443213920 140727443209208 139856796489344 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 6980 1031 725 434 0 344 0

[startup+0.100182 s]
/proc/loadavg: 0.00 0.01 0.05 2/236 17917
/proc/meminfo: memFree=31782140/32770624 swapFree=6264/273784
[pid=17917] ppid=17914 vsize=28852 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 1485 0 0 0 9 0 0 0 20 0 1 0 15657045 29544448 1290 33554432000 4194304 5970956 140727443213920 140727443207512 139856786918373 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 7213 1290 787 434 0 577 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28852

[startup+0.200362 s]
/proc/loadavg: 0.00 0.01 0.05 2/236 17917
/proc/meminfo: memFree=31782140/32770624 swapFree=6264/273784
[pid=17917] ppid=17914 vsize=30328 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 1858 0 0 0 19 0 0 0 20 0 1 0 15657045 31055872 1656 33554432000 4194304 5970956 140727443213920 140727443210520 4966541 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 7582 1656 788 434 0 946 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30328

[startup+0.300341 s]
/proc/loadavg: 0.00 0.01 0.05 2/236 17917
/proc/meminfo: memFree=31782140/32770624 swapFree=6264/273784
[pid=17917] ppid=17914 vsize=33488 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 2644 0 0 0 29 0 0 0 20 0 1 0 15657045 34291712 2479 33554432000 4194304 5970956 140727443213920 140727443207512 4966541 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 8372 2479 788 434 0 1736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33488

[startup+0.700281 s]
/proc/loadavg: 0.00 0.01 0.05 2/236 17917
/proc/meminfo: memFree=31782140/32770624 swapFree=6264/273784
[pid=17917] ppid=17914 vsize=46300 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 5851 0 0 0 69 0 0 0 20 0 1 0 15657045 47411200 5653 33554432000 4194304 5970956 140727443213920 140727443207512 4966541 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 11575 5653 788 434 0 4939 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46300

[startup+1.50031 s]
/proc/loadavg: 0.16 0.05 0.06 3/243 17933
/proc/meminfo: memFree=31737948/32770624 swapFree=6264/273612
[pid=17917] ppid=17914 vsize=74860 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 13051 0 0 0 147 2 0 0 20 0 1 0 15657045 76656640 12855 33554432000 4194304 5970956 140727443213920 140727443210984 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 18715 12855 827 434 0 12079 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74860

[startup+3.10028 s]
/proc/loadavg: 0.16 0.05 0.06 3/243 17933
/proc/meminfo: memFree=31710968/32770624 swapFree=6264/273596
[pid=17917] ppid=17914 vsize=89512 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 24947 0 0 0 307 2 0 0 20 0 1 0 15657045 91660288 16522 33554432000 4194304 5970956 140727443213920 140727443210984 139856786918373 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 22378 16522 827 434 0 15742 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89512

[startup+6.30029 s]
/proc/loadavg: 0.16 0.05 0.06 3/243 17933
/proc/meminfo: memFree=31704280/32770624 swapFree=6264/273576
[pid=17917] ppid=17914 vsize=92020 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 33146 0 0 0 626 3 0 0 20 0 1 0 15657045 94228480 17186 33554432000 4194304 5970956 140727443213920 140727443210984 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 23005 17186 827 434 0 16369 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92020

[startup+12.7003 s]
/proc/loadavg: 0.45 0.11 0.08 3/243 17933
/proc/meminfo: memFree=31700476/32770624 swapFree=6264/273608
[pid=17917] ppid=17914 vsize=94132 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 42286 0 0 0 1265 3 0 0 20 0 1 0 15657045 96391168 17675 33554432000 4194304 5970956 140727443213920 140727443210984 5070424 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 23533 17675 827 434 0 16897 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 94132

[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 3/243 17933
/proc/meminfo: memFree=31699012/32770624 swapFree=6264/273624
[pid=17917] ppid=17914 vsize=95056 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 51353 0 0 0 2544 4 0 0 20 0 1 0 15657045 97337344 17946 33554432000 4194304 5970956 140727443213920 140727443211256 4964477 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 23764 17946 827 434 0 17128 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95056

[startup+51.1003 s]
/proc/loadavg: 1.13 0.32 0.15 3/243 17933
/proc/meminfo: memFree=31697164/32770624 swapFree=6264/273656
[pid=17917] ppid=17914 vsize=97168 CPUtime=51.06 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 57766 0 0 0 5102 4 0 0 20 0 1 0 15657045 99500032 18446 33554432000 4194304 5970956 140727443213920 140727443210984 4961363 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 24292 18446 827 434 0 17656 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 97168

[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 3/243 17935
/proc/meminfo: memFree=31694992/32770624 swapFree=6264/273740
[pid=17917] ppid=17914 vsize=99676 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 59149 0 0 0 10222 4 0 0 20 0 1 0 15657045 102068224 19064 33554432000 4194304 5970956 140727443213920 140727443210984 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 24919 19064 827 434 0 18283 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 99676

[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 3/243 17936
/proc/meminfo: memFree=31693124/32770624 swapFree=6264/273824
[pid=17917] ppid=17914 vsize=101264 CPUtime=162.24 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 60470 0 0 0 16219 5 0 0 20 0 1 0 15657045 103694336 19470 33554432000 4194304 5970956 140727443213920 140727443210984 4964584 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 25316 19470 827 434 0 18680 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 101264

[startup+222.308 s]
/proc/loadavg: 1.95 1.07 0.47 3/243 18142
/proc/meminfo: memFree=31694580/32770624 swapFree=6264/273980
[pid=17917] ppid=17914 vsize=102584 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 61421 0 0 0 22219 5 0 0 20 0 1 0 15657045 105046016 19800 33554432000 4194304 5970956 140727443213920 140727443210984 4964406 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 25646 19800 827 434 0 19010 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 102584

[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 3/244 18166
/proc/meminfo: memFree=31693924/32770624 swapFree=6264/274076
[pid=17917] ppid=17914 vsize=102980 CPUtime=282.22 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 62088 0 0 0 28217 5 0 0 20 0 1 0 15657045 105451520 19888 33554432000 4194304 5970956 140727443213920 140727443210984 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 25745 19888 827 434 0 19109 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 102980

[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 3/244 18167
/proc/meminfo: memFree=31693176/32770624 swapFree=6264/274152
[pid=17917] ppid=17914 vsize=103508 CPUtime=342.2 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 62701 0 0 0 34215 5 0 0 20 0 1 0 15657045 105992192 20035 33554432000 4194304 5970956 140727443213920 140727443211256 5052080 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 25877 20035 827 434 0 19241 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 103508

[startup+402.3 s]
/proc/loadavg: 2.04 1.50 0.74 3/244 18168
/proc/meminfo: memFree=31692048/32770624 swapFree=6264/274224
[pid=17917] ppid=17914 vsize=104168 CPUtime=402.19 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 63390 0 0 0 40214 5 0 0 20 0 1 0 15657045 106668032 20195 33554432000 4194304 5970956 140727443213920 140727443210984 4968237 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 26042 20195 827 434 0 19406 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 104168

[startup+462.3 s]
/proc/loadavg: 2.01 1.59 0.82 3/244 18169
/proc/meminfo: memFree=31692164/32770624 swapFree=6264/274272
[pid=17917] ppid=17914 vsize=104300 CPUtime=462.18 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 63777 0 0 0 46213 5 0 0 20 0 1 0 15657045 106803200 20234 33554432000 4194304 5970956 140727443213920 140727443210984 5052048 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 26075 20234 827 434 0 19439 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 104300

[startup+522.3 s]
/proc/loadavg: 2.01 1.67 0.89 3/244 18170
/proc/meminfo: memFree=31691436/32770624 swapFree=6264/274324
[pid=17917] ppid=17914 vsize=104696 CPUtime=522.17 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 64219 0 0 0 52212 5 0 0 20 0 1 0 15657045 107208704 20330 33554432000 4194304 5970956 140727443213920 140727443211256 4908979 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 26174 20330 827 434 0 19538 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 104696

[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.96 3/244 18171
/proc/meminfo: memFree=31691224/32770624 swapFree=6264/274376
[pid=17917] ppid=17914 vsize=104828 CPUtime=582.15 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 64551 0 0 0 58210 5 0 0 20 0 1 0 15657045 107343872 20354 33554432000 4194304 5970956 140727443213920 140727443210984 4964366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 26207 20354 827 434 0 19571 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 104828


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.62 3/243 18200
/proc/meminfo: memFree=31686416/32770624 swapFree=6264/275028
[pid=17917] ppid=17914 vsize=107996 CPUtime=1481.97 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 69835 0 0 0 148192 5 0 0 20 0 1 0 15657045 110587904 21144 33554432000 4194304 5970956 140727443213920 140727443210984 4964336 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 26999 21144 827 434 0 20363 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 107996

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.64 3/243 18201
/proc/meminfo: memFree=31687416/32770624 swapFree=6264/275068
[pid=17917] ppid=17914 vsize=107996 CPUtime=1541.96 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 70115 0 0 0 154191 5 0 0 20 0 1 0 15657045 110587904 21164 33554432000 4194304 5970956 140727443213920 140727443211256 4967825 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 26999 21164 827 434 0 20363 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 107996

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/243 18202
/proc/meminfo: memFree=31686692/32770624 swapFree=6264/275108
[pid=17917] ppid=17914 vsize=108260 CPUtime=1601.95 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 70447 0 0 0 160190 5 0 0 20 0 1 0 15657045 110858240 21234 33554432000 4194304 5970956 140727443213920 140727443210984 5070121 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27065 21234 827 434 0 20429 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 108260

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/243 18203
/proc/meminfo: memFree=31686864/32770624 swapFree=6264/275156
[pid=17917] ppid=17914 vsize=108392 CPUtime=1661.93 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 70788 0 0 0 166188 5 0 0 20 0 1 0 15657045 110993408 21267 33554432000 4194304 5970956 140727443213920 140727443211256 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27098 21267 827 434 0 20462 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 108392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/243 18205
/proc/meminfo: memFree=31685864/32770624 swapFree=6264/275204
[pid=17917] ppid=17914 vsize=108920 CPUtime=1721.92 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 71309 0 0 0 172187 5 0 0 20 0 1 0 15657045 111534080 21385 33554432000 4194304 5970956 140727443213920 140727443210984 4908988 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27230 21385 827 434 0 20594 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 108920

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.73 3/243 18206
/proc/meminfo: memFree=31686168/32770624 swapFree=6264/275252
[pid=17917] ppid=17914 vsize=108920 CPUtime=1781.91 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 71525 0 0 0 178186 5 0 0 20 0 1 0 15657045 111534080 21394 33554432000 4194304 5970956 140727443213920 140727443210984 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27230 21394 827 434 0 20594 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 108920

[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 1.74 3/243 18207
/proc/meminfo: memFree=31686452/32770624 swapFree=6264/275288
[pid=17917] ppid=17914 vsize=108920 CPUtime=1841.9 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 71742 0 0 0 184185 5 0 0 20 0 1 0 15657045 111534080 21395 33554432000 4194304 5970956 140727443213920 140727443210984 4961400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27230 21395 827 434 0 20594 0
Current children cumulated CPU time (s) 1841.9
Current children cumulated vsize (KiB) 108920

[startup+1902.3 s]
/proc/loadavg: 2.16 2.06 1.78 3/243 18209
/proc/meminfo: memFree=31686336/32770624 swapFree=6264/275336
[pid=17917] ppid=17914 vsize=109184 CPUtime=1901.88 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 72148 0 0 0 190183 5 0 0 20 0 1 0 15657045 111804416 21425 33554432000 4194304 5970956 140727443213920 140727443210984 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27296 21425 827 434 0 20660 0
Current children cumulated CPU time (s) 1901.88
Current children cumulated vsize (KiB) 109184

[startup+1962.3 s]
/proc/loadavg: 2.10 2.06 1.79 3/243 18210
/proc/meminfo: memFree=31686592/32770624 swapFree=6264/275396
[pid=17917] ppid=17914 vsize=109316 CPUtime=1961.87 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 72507 0 0 0 196182 5 0 0 20 0 1 0 15657045 111939584 21479 33554432000 4194304 5970956 140727443213920 140727443210984 4964586 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27329 21479 827 434 0 20693 0
Current children cumulated CPU time (s) 1961.87
Current children cumulated vsize (KiB) 109316

[startup+2022.3 s]
/proc/loadavg: 2.08 2.07 1.81 3/243 18218
/proc/meminfo: memFree=31685324/32770624 swapFree=6264/275448
[pid=17917] ppid=17914 vsize=109316 CPUtime=2021.86 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 72855 0 0 0 202181 5 0 0 20 0 1 0 15657045 111939584 21484 33554432000 4194304 5970956 140727443213920 140727443211256 4964524 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27329 21484 827 434 0 20693 0
Current children cumulated CPU time (s) 2021.86
Current children cumulated vsize (KiB) 109316

[startup+2082.3 s]
/proc/loadavg: 2.08 2.07 1.83 3/243 18219
/proc/meminfo: memFree=31685636/32770624 swapFree=6264/275488
[pid=17917] ppid=17914 vsize=109316 CPUtime=2081.86 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 73111 0 0 0 208181 5 0 0 20 0 1 0 15657045 111939584 21491 33554432000 4194304 5970956 140727443213920 140727443211256 5069712 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27329 21491 827 434 0 20693 0
Current children cumulated CPU time (s) 2081.86
Current children cumulated vsize (KiB) 109316

[startup+2142.3 s]
/proc/loadavg: 2.03 2.06 1.84 3/243 18220
/proc/meminfo: memFree=31685508/32770624 swapFree=6264/275528
[pid=17917] ppid=17914 vsize=109316 CPUtime=2141.84 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 73361 0 0 0 214179 5 0 0 20 0 1 0 15657045 111939584 21491 33554432000 4194304 5970956 140727443213920 140727443211256 5070435 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27329 21491 827 434 0 20693 0
Current children cumulated CPU time (s) 2141.84
Current children cumulated vsize (KiB) 109316

[startup+2202.31 s]
/proc/loadavg: 2.01 2.05 1.85 3/243 18221
/proc/meminfo: memFree=31685208/32770624 swapFree=6264/275564
[pid=17917] ppid=17914 vsize=109316 CPUtime=2201.83 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 73608 0 0 0 220178 5 0 0 20 0 1 0 15657045 111939584 21491 33554432000 4194304 5970956 140727443213920 140727443211256 5070976 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27329 21491 827 434 0 20693 0
Current children cumulated CPU time (s) 2201.83
Current children cumulated vsize (KiB) 109316

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 1.86 3/243 18222
/proc/meminfo: memFree=31684484/32770624 swapFree=6264/275604
[pid=17917] ppid=17914 vsize=109316 CPUtime=2261.81 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 73943 0 0 0 226176 5 0 0 20 0 1 0 15657045 111939584 21491 33554432000 4194304 5970956 140727443213920 140727443211256 5052093 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27329 21491 827 434 0 20693 0
Current children cumulated CPU time (s) 2261.81
Current children cumulated vsize (KiB) 109316

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 1.87 3/243 18223
/proc/meminfo: memFree=31684824/32770624 swapFree=6264/275648
[pid=17917] ppid=17914 vsize=109316 CPUtime=2321.8 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 74205 0 0 0 232175 5 0 0 20 0 1 0 15657045 111939584 21501 33554432000 4194304 5970956 140727443213920 140727443211256 4961411 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27329 21501 827 434 0 20693 0
Current children cumulated CPU time (s) 2321.8
Current children cumulated vsize (KiB) 109316

[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 1.88 3/243 18224
/proc/meminfo: memFree=31684760/32770624 swapFree=6264/275680
[pid=17917] ppid=17914 vsize=109448 CPUtime=2381.79 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 74440 0 0 0 238174 5 0 0 20 0 1 0 15657045 112074752 21518 33554432000 4194304 5970956 140727443213920 140727443210984 4967853 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27362 21518 827 434 0 20726 0
Current children cumulated CPU time (s) 2381.79
Current children cumulated vsize (KiB) 109448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.04 2.04 1.88 3/243 18224
/proc/meminfo: memFree=31684572/32770624 swapFree=6264/275688
[pid=17917] ppid=17914 vsize=109448 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/17917/stat : 17917 (cosoco) R 17914 17917 17739 0 -1 4202496 74633 0 0 0 240004 5 0 0 20 0 1 0 15657045 112074752 21523 33554432000 4194304 5970956 140727443213920 140727443210984 4964389 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 13877248 140727443219649 140727443219779 140727443219779 140727443222478 0
/proc/17917/statm: 27362 21523 827 434 0 20726 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 109448

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17917 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.1
CPU user time (s): 2400.04
CPU system time (s): 0.059988
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 109448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.059988
maximum resident set size= 86140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74661
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= 33
involuntary context switches= 121155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7797 second user time and 11.6046 second system time

The end

Launcher Data 

Begin job on node116 at 2017-07-21 09:56:22
IDJOB=4239745
IDBENCH=115551
IDSOLVER=2620
FILE ID=node116/4239745-1500623781
RUNJOBID= node116-1500623779-17770
PBS_JOBID= 20623015
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Scheduling/Scheduling-xcsp2-os-gp/gp10-05-1070_X2.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239745-1500623781/watcher-4239745-1500623781 -o /tmp/evaluation-result-4239745-1500623781/solver-4239745-1500623781 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17770 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4239745-1500623781.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 23007d5514affe077dd6f6cf857721a4
RANDOM SEED=660460079

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31783084 kB
MemAvailable:   31997280 kB
Buffers:          154368 kB
Cached:           340668 kB
SwapCached:            0 kB
Active:           268540 kB
Inactive:         282572 kB
Active(anon):      58696 kB
Inactive(anon):     8788 kB
Active(file):     209844 kB
Inactive(file):   273784 kB
Unevictable:        6264 kB
Mlocked:            6272 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2508 kB
Writeback:             0 kB
AnonPages:         59988 kB
Mapped:            32256 kB
Shmem:              8848 kB
Slab:             125360 kB
SReclaimable:      92804 kB
SUnreclaim:        32556 kB
KernelStack:        4448 kB
PageTables:         5568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node116 at 2017-07-21 10:36:22