Trace number 4268320

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.9399 2520

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.08/1.24	c root propagations     : 10000       
1.08/1.24	c restarts enabled, print stats at every restarts
1.08/1.24	c
1.08/1.24	c
1.08/1.24	c
1.08/1.24	c This is cosoco 1.12 --  
1.08/1.24	c
1.08/1.24	c command line: cosoco -lc -model -restarts HOME/instance-4268320-1502504418.xml 
1.08/1.24	c ========================================[ Problem Statistics ]===========================================
1.08/1.24	c |                                                                                                       
1.08/1.24	c |  Parse time        :         1.10 s 
1.08/1.24	c |
1.08/1.24	c |               Variables: 101
1.08/1.24	c |            Domain Sizes: 1..1071
1.08/1.24	c |
1.08/1.24	c |             Constraints: 1000
1.08/1.24	c |                   Arity: 2..2  -- Binary: 1000
1.08/1.24	c | 
1.08/1.24	c |                   Types: 
1.08/1.24	c |                          Intension: 1000
1.08/1.24	c |                          
1.08/1.24	c =========================================================================================================
1.08/1.24	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.27/1.41	c 101            126            9721           657236         100            0              21   22   21   
1.37/1.54	c 211            281            22035          801144         100            0              37   38   37   
1.47/1.67	c 332            432            32176          1098727        100            0              25   29   27   
1.57/1.79	c 465            577            39167          1471281        100            0              11   11   10   
1.77/1.95	c 611            733            47503          2257005        100            0              9   9   8      
1.87/2.07	c 771            946            62476          2371005        100            0              12   38   35   
2.18/2.36	c 947            1140           84121          2973241        100            0              15   16   15   
2.37/2.54	c 1140           1344           93792          3615515        100            0              8   10   9     
2.57/2.72	c 1352           1570           105367         4396425        100            0              13   13   12   
2.67/2.86	c 1585           1826           117734         4706662        100            0              24   24   23   
2.97/3.10	c 1841           2096           129316         5866210        100            0              4   15   4     
3.18/3.34	c 2122           2397           142525         6723690        100            0              9   21   12    
3.47/3.69	c 2431           2736           164504         8095637        100            0              11   12   11   
3.98/4.13	c 2770           3109           197153         8752759        100            0              14   15   14   
4.29/4.45	c 3142           3491           211168         9994413        100            0              7   7   6      
4.68/4.88	c 3551           3907           226587         11755290       100            0              8   8   7      
5.18/5.30	c 4000           4375           251900         12586575       100            0              5   16   12    
5.58/5.77	c 4493           4910           282041         14100592       100            0              11   15   14   
6.28/6.40	c 5035           5467           304961         17403938       100            0              5   5   4      
6.68/6.88	c 5631           6079           329612         18531983       100            0              9   9   8      
7.28/7.42	c 6286           6750           356437         19682086       100            0              9   9   8      
7.48/7.65	c 7006           7489           382680         20450537       100            0              9   15   14    
8.48/8.61	c 7798           8302           435756         24211556       100            0              10   19   18   
9.88/10.10	c 8669           9207           529501         26684992       100            0              13   13   12   
10.27/10.43	c 9627           10191          566155         28781649       100            0              16   16   15   
11.17/11.38	c 10680          11286          637399         32288681       100            0              2   15   13    
11.87/12.09	c 11838          12476          682476         34353470       100            0              6   13   10    
12.57/12.73	c 13111          13802          759626         36511528       100            0              6   7   6      
13.87/14.02	c 14511          15217          812816         43062786       100            0              6   9   8      
14.37/14.59	c 16051          16812          869159         44968147       100            0              13   18   16   
15.17/15.37	c 17745          18529          942400         48090964       100            0              12   12   11   
15.38/15.54	c 19608          20413          987804         48595580       100            0              10   13   12   
15.87/16.04	c 21657          22527          1063206        49978251       100            0              9   13   12    
18.27/18.49	c 23910          24850          1160558        60249305       100            0              6   7   6      
20.66/20.80	c 26388          27633          1331696        67605706       100            0              5   8   6      
21.26/21.41	c 29113          30388          1407905        69087944       100            0              9   13   12    
21.36/21.57	c 32110          33409          1476819        69788116       100            0              8   8   7      
21.76/21.97	c 35406          36734          1556451        71704989       100            0              8   8   7      
25.77/25.91	c 39031          40515          1736478        87864519       100            0              6   9   8      
26.97/27.11	c 43018          44548          1854880        91487045       100            0              8   13   12    
30.97/31.19	c 47403          50229          2267715        104313877      100            0              8   15   11    
31.47/31.66	c 52226          55083          2378642        106025035      100            0              2   10   9     
31.97/32.18	c 57531          60437          2517978        108022171      100            0              6   10   8     
33.97/34.11	c 63366          66380          2695926        115524958      100            0              6   10   8     
36.67/36.86	c 69784          72933          3184653        121221721      100            0              10   25   21   
48.06/48.22	c 76843          80140          3532707        150318380      100            0              5   9   6      
48.96/49.18	c 84607          87936          3711634        155457389      100            0              4   4   3      
55.46/55.60	c 93147          96540          4060948        167858553      100            0              8   18   17    
60.06/60.25	c 102541         106232         4542969        178464930      100            0              9   24   21    
66.66/66.88	c 112874         116692         5015142        203675377      100            0              9   24   23    
76.46/76.64	c 124240         129700         5928883        219939471      100            0              10   15   12   
77.36/77.59	c 136742         142293         6221320        222747533      100            0              7   11   10    
88.66/88.85	c 150494         156155         6796264        280111762      100            0              10   15   14   
96.67/96.88	c 165621         171494         7310160        301417638      100            0              10   24   17   
113.76/113.96	c 182260         188386         8227754        380109408      100            0              7   15   9     
116.47/116.63	c 200562         207069         8736011        388754518      100            0              5   6   5      
122.46/122.63	c 220694         227383         9369268        404312783      100            0              5   17   16    
144.66/144.81	c 242839         251144         10681137       474217125      100            0              11   23   21   
165.16/165.36	c 267198         277058         12175526       510594933      100            0              7   21   19    
169.16/169.38	c 293992         304034         12852157       522905496      100            0              13   18   17   
173.26/173.45	c 323465         334223         13764497       530059886      100            0              18   22   19   
181.16/181.31	c 355885         366921         14615521       562308146      100            0              8   15   14    
212.86/213.04	c 391547         403006         16710761       706989831      100            0              14   19   18   
248.47/248.66	c 430775         446617         19994013       780566320      100            0              11   20   17   
288.36/288.54	c 473925         491067         22119485       898026410      100            0              7   15   12    
306.06/306.22	c 521390         538960         23695627       939175748      100            0              10   20   19   
353.46/353.68	c 573601         592130         25929027       1167013586     100            0              9   14   11    
383.77/383.94	c 631033         662548         30878239       1182000376     100            0              11   15   14   
464.17/464.34	c 694208         728644         35532333       1323422059     100            0              13   24   21   
511.77/511.98	c 763700         800639         38823842       1457814159     100            0              7   13   10    
574.37/574.56	c 840141         878052         42065994       1748554916     100            0              12   15   14   
645.37/645.51	c 924226         964114         45779129       1990422732     100            0              4   21   13    
711.47/711.61	c 1016719        1058077        48982614       2237955510     100            0              6   11   8     
767.07/767.25	c 1118461        1162507        54174482       2396125472     100            0              12   23   19   
878.08/878.29	c 1230377        1280856        63689030       2603201174     100            0              6   22   19    
906.38/906.58	c 1353484        1405097        67292128       2685035380     100            0              13   17   16   
970.19/970.32	c 1488901        1541375        72402284       2885402519     100            0              16   18   17   
1029.29/1029.40	c 1637859        1692068        77729482       3084424032     100            0              9   9   8      
1041.49/1041.60	c 1801712        1857204        81599953       3103909648     100            0              5   26   25    
1130.09/1130.21	c 1981950        2041875        88041141       3268552301     100            0              4   20   19    
1259.40/1259.53	c 2180211        2244591        98663098       3665208234     100            0              5   20   18    
1422.21/1422.31	c 2398298        2492950        115143264      4057201922     100            0              8   11   9     
1526.60/1526.72	c 2638193        2736040        124695183      4476978335     100            0              6   17   14    
1651.91/1652.05	c 2902077        3004484        135575598      4850539688     100            0              3   21   15    
1693.21/1693.36	c 3192349        3297645        143043016      5029442587     100            0              4   12   9     
1892.41/1892.56	c 3511648        3618618        155282695      5617264643     100            0              9   15   14    
1992.32/1992.40	c 3862876        3975152        166828624      6020567715     100            0              6   22   16    
2243.42/2243.52	c 4249226        4364980        180780891      6920229990     100            0              4   18   17    
2421.23/2421.36	c 4674211        4795774        195279236      7627092057     100            0              9   11   10    
2519.93/2520.00	
2519.93/2520.00	c *** INTERRUPTED ***
2519.93/2520.00	c restarts              : 89          
2519.93/2520.00	c conflicts             : 4790445      (1901 /sec)
2519.93/2520.00	c decisions             : 4913118      (1950 /sec)
2519.93/2520.00	c propagations          : 8029291292  (3186361 /sec)
2519.93/2520.00	c root propagations     : 10000       
2519.93/2520.00	c filter calls          : 199930913      (79341 /sec)
2519.93/2520.00	c useless filter calls  : 162863844      (81 %)
2519.93/2520.00	c Memory used           : 107.15 MB
2519.93/2520.00	c CPU time              : 2519.89 s
2519.93/2520.00	
2519.93/2520.00	s UNKNOWN

Verifier Data


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-4268320-1502504418/watcher-4268320-1502504418 -o /tmp/evaluation-result-4268320-1502504418/solver-4268320-1502504418 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268320-1502504418.xml 

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


[startup+0 s]
/proc/loadavg: 1.86 0.82 0.35 3/186 2886
/proc/meminfo: memFree=31130312/32770624 swapFree=0/476828
[pid=2886] ppid=2883 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2886/stat : 2886 (runsolver) D 2883 2886 1478 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 92353035 24240128 106 18446744073709551615 4194304 4338465 140727291061728 140727291059368 139794379358935 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 15101952 140727291068610 140727291069001 140727291069001 140727291072458 0
/proc/2886/statm: 5918 106 53 36 0 2156 0

[startup+0.100167 s]
/proc/loadavg: 1.86 0.82 0.35 3/186 2886
/proc/meminfo: memFree=31130312/32770624 swapFree=0/476828
[pid=2886] ppid=2883 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2886/stat : 2886 (runsolver) D 2883 2886 1478 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 92353035 24240128 106 18446744073709551615 4194304 4338465 140727291061728 140727291059368 139794379358935 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 15101952 140727291068610 140727291069001 140727291069001 140727291072458 0
/proc/2886/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200404 s]
/proc/loadavg: 1.86 0.82 0.35 3/186 2886
/proc/meminfo: memFree=31130312/32770624 swapFree=0/476828
[pid=2886] ppid=2883 vsize=29256 CPUtime=0.08 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 1610 0 0 0 8 0 0 0 20 0 1 0 92353035 29958144 1425 18446744073709551615 4194304 5972588 140724910163184 140724910156744 140717892611917 0 0 1 0 0 0 0 17 6 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 7314 1425 791 435 0 677 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29256

[startup+0.3004 s]
/proc/loadavg: 1.86 0.82 0.35 3/186 2886
/proc/meminfo: memFree=31130312/32770624 swapFree=0/476828
[pid=2886] ppid=2883 vsize=31832 CPUtime=0.18 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 2248 0 0 0 18 0 0 0 20 0 1 0 92353035 32595968 2037 18446744073709551615 4194304 5972588 140724910163184 140724910156744 5211476 0 0 1 0 0 0 0 17 6 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 7958 2037 792 435 0 1321 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 31832

[startup+0.700295 s]
/proc/loadavg: 1.86 0.82 0.35 3/186 2886
/proc/meminfo: memFree=31130312/32770624 swapFree=0/476828
[pid=2886] ppid=2883 vsize=44984 CPUtime=0.57 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 5547 0 0 0 57 0 0 0 20 0 1 0 92353035 46063616 5355 18446744073709551615 4194304 5972588 140724910163184 140724910156984 4967517 0 0 1 0 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 11246 5355 792 435 0 4609 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 44984

[startup+1.50029 s]
/proc/loadavg: 1.86 0.82 0.35 3/187 2887
/proc/meminfo: memFree=31099252/32770624 swapFree=0/476828
[pid=2886] ppid=2883 vsize=74864 CPUtime=1.37 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 13052 0 0 0 136 1 0 0 20 0 1 0 92353035 76660736 12858 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5072002 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 18716 12858 830 435 0 12079 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 74864

[startup+3.10029 s]
/proc/loadavg: 1.86 0.82 0.35 3/187 2887
/proc/meminfo: memFree=31071376/32770624 swapFree=0/476824
[pid=2886] ppid=2883 vsize=89384 CPUtime=2.97 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 16664 0 0 0 296 1 0 0 20 0 1 0 92353035 91529216 16488 18446744073709551615 4194304 5972588 140724910163184 140724910160216 140717892520933 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 22346 16488 830 435 0 15709 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 89384

[startup+6.30029 s]
/proc/loadavg: 1.79 0.82 0.35 3/187 2887
/proc/meminfo: memFree=31064116/32770624 swapFree=0/476820
[pid=2886] ppid=2883 vsize=92024 CPUtime=6.18 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 31137 0 0 0 616 2 0 0 20 0 1 0 92353035 94232576 17187 18446744073709551615 4194304 5972588 140724910163184 140724910160216 4909657 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 23006 17187 830 435 0 16369 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 92024

[startup+12.7003 s]
/proc/loadavg: 1.81 0.84 0.36 3/187 2887
/proc/meminfo: memFree=31060396/32770624 swapFree=0/476824
[pid=2886] ppid=2883 vsize=94136 CPUtime=12.57 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 40644 0 0 0 1255 2 0 0 20 0 1 0 92353035 96395264 17681 18446744073709551615 4194304 5972588 140724910163184 140724910160216 4965494 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 23534 17681 830 435 0 16897 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 94136

[startup+25.5003 s]
/proc/loadavg: 1.85 0.90 0.38 3/187 2888
/proc/meminfo: memFree=31059612/32770624 swapFree=0/476812
[pid=2886] ppid=2883 vsize=95060 CPUtime=25.37 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 48314 0 0 0 2534 3 0 0 20 0 1 0 92353035 97341440 17949 18446744073709551615 4194304 5972588 140724910163184 140724910160488 5053056 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 23765 17949 830 435 0 17128 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 95060

[startup+51.1003 s]
/proc/loadavg: 1.90 0.99 0.43 3/187 2888
/proc/meminfo: memFree=31057720/32770624 swapFree=0/476812
[pid=2886] ppid=2883 vsize=97172 CPUtime=50.96 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 53424 0 0 0 5093 3 0 0 20 0 1 0 92353035 99504128 18440 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5070688 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 24293 18440 830 435 0 17656 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 97172

[startup+102.3 s]
/proc/loadavg: 1.96 1.14 0.51 3/187 2890
/proc/meminfo: memFree=31055024/32770624 swapFree=0/476816
[pid=2886] ppid=2883 vsize=99680 CPUtime=102.17 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 54850 0 0 0 10214 3 0 0 20 0 1 0 92353035 102072320 19060 18446744073709551615 4194304 5972588 140724910163184 140724910160216 4909635 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 24920 19060 830 435 0 18283 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 99680

[startup+162.3 s]
/proc/loadavg: 2.06 1.31 0.61 3/187 2892
/proc/meminfo: memFree=31052044/32770624 swapFree=0/476808
[pid=2886] ppid=2883 vsize=101268 CPUtime=162.16 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 56329 0 0 0 16213 3 0 0 20 0 1 0 92353035 103698432 19464 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5072002 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 25317 19464 830 435 0 18680 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 101268

[startup+222.306 s]
/proc/loadavg: 2.02 1.44 0.70 3/190 2910
/proc/meminfo: memFree=31048664/32770624 swapFree=0/476808
[pid=2886] ppid=2883 vsize=102588 CPUtime=222.17 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 57414 0 0 0 22214 3 0 0 20 0 1 0 92353035 105050112 19793 18446744073709551615 4194304 5972588 140724910163184 140724910160216 4969144 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 25647 19793 830 435 0 19010 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 102588

[startup+282.3 s]
/proc/loadavg: 2.11 1.57 0.79 3/189 2912
/proc/meminfo: memFree=31048284/32770624 swapFree=0/476824
[pid=2886] ppid=2883 vsize=102984 CPUtime=282.16 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 58220 0 0 0 28213 3 0 0 20 0 1 0 92353035 105455616 19886 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5320287 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 25746 19886 830 435 0 19109 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 102984

[startup+342.3 s]
/proc/loadavg: 2.20 1.71 0.88 3/186 2914
/proc/meminfo: memFree=31050876/32770624 swapFree=0/476832
[pid=2886] ppid=2883 vsize=103512 CPUtime=342.16 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 58951 0 0 0 34213 3 0 0 20 0 1 0 92353035 105996288 20038 18446744073709551615 4194304 5972588 140724910163184 140724910160488 4962240 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 25878 20038 830 435 0 19241 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 103512

[startup+402.3 s]
/proc/loadavg: 2.07 1.76 0.95 3/187 2917
/proc/meminfo: memFree=31050472/32770624 swapFree=0/476844
[pid=2886] ppid=2883 vsize=104172 CPUtime=402.16 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 59825 0 0 0 40213 3 0 0 20 0 1 0 92353035 106672128 20202 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5053038 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 26043 20202 830 435 0 19406 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 104172

[startup+462.3 s]
/proc/loadavg: 2.20 1.85 1.04 3/187 2919
/proc/meminfo: memFree=31050100/32770624 swapFree=0/476852
[pid=2886] ppid=2883 vsize=104304 CPUtime=462.17 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 60424 0 0 0 46214 3 0 0 20 0 1 0 92353035 106807296 20233 18446744073709551615 4194304 5972588 140724910163184 140724910160216 4968848 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 26076 20233 830 435 0 19439 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 104304

[startup+522.3 s]
/proc/loadavg: 2.15 1.89 1.10 3/186 2921
/proc/meminfo: memFree=31050348/32770624 swapFree=0/476868
[pid=2886] ppid=2883 vsize=104700 CPUtime=522.17 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 61260 0 0 0 52214 3 0 0 20 0 1 0 92353035 107212800 20334 18446744073709551615 4194304 5972588 140724910163184 140724910160488 5071088 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 26175 20334 830 435 0 19538 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 104700

[startup+582.3 s]
/proc/loadavg: 2.05 1.91 1.16 3/186 2923
/proc/meminfo: memFree=31050100/32770624 swapFree=0/476864
[pid=2886] ppid=2883 vsize=104832 CPUtime=582.17 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 61862 0 0 0 58214 3 0 0 20 0 1 0 92353035 107347968 20363 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5071088 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 26208 20363 830 435 0 19571 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 104832


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.73 3/187 2993
/proc/meminfo: memFree=31045648/32770624 swapFree=0/477096
[pid=2886] ppid=2883 vsize=108264 CPUtime=1602.2 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 71638 0 0 0 160216 4 0 0 20 0 1 0 92353035 110862336 21237 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5099648 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27066 21237 830 435 0 20429 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 108264

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.74 3/186 2996
/proc/meminfo: memFree=31045168/32770624 swapFree=0/477104
[pid=2886] ppid=2883 vsize=108528 CPUtime=1662.21 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 72283 0 0 0 166217 4 0 0 20 0 1 0 92353035 111132672 21285 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5071088 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27132 21285 830 435 0 20495 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 108528

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.77 3/185 2998
/proc/meminfo: memFree=31045184/32770624 swapFree=0/477124
[pid=2886] ppid=2883 vsize=108924 CPUtime=1722.21 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 73122 0 0 0 172217 4 0 0 20 0 1 0 92353035 111538176 21388 18446744073709551615 4194304 5972588 140724910163184 140724910160216 4909624 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27231 21388 830 435 0 20594 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 108924

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.78 3/185 3000
/proc/meminfo: memFree=31043508/32770624 swapFree=0/477136
[pid=2886] ppid=2883 vsize=108924 CPUtime=1782.21 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 73461 0 0 0 178217 4 0 0 20 0 1 0 92353035 111538176 21397 18446744073709551615 4194304 5972588 140724910163184 140724910160216 4965562 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27231 21397 830 435 0 20594 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 108924

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.79 3/186 3003
/proc/meminfo: memFree=31045176/32770624 swapFree=0/477152
[pid=2886] ppid=2883 vsize=108924 CPUtime=1842.21 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 73768 0 0 0 184217 4 0 0 20 0 1 0 92353035 111538176 21398 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5099648 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27231 21398 830 435 0 20594 0
Current children cumulated CPU time (s) 1842.21
Current children cumulated vsize (KiB) 108924

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/186 3005
/proc/meminfo: memFree=31044928/32770624 swapFree=0/477160
[pid=2886] ppid=2883 vsize=109188 CPUtime=1902.21 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 74336 0 0 0 190217 4 0 0 20 0 1 0 92353035 111808512 21450 18446744073709551615 4194304 5972588 140724910163184 140724910160216 4968734 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27297 21450 830 435 0 20660 0
Current children cumulated CPU time (s) 1902.21
Current children cumulated vsize (KiB) 109188

[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 1.82 3/186 3029
/proc/meminfo: memFree=31044444/32770624 swapFree=0/477152
[pid=2886] ppid=2883 vsize=109320 CPUtime=1962.22 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 74837 0 0 0 196218 4 0 0 20 0 1 0 92353035 111943680 21482 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5053108 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27330 21482 830 435 0 20693 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 109320

[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 1.83 3/190 3046
/proc/meminfo: memFree=31040644/32770624 swapFree=0/477180
[pid=2886] ppid=2883 vsize=109320 CPUtime=2022.22 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 75374 0 0 0 202218 4 0 0 20 0 1 0 92353035 111943680 21487 18446744073709551615 4194304 5972588 140724910163184 140724910160488 4965382 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27330 21487 830 435 0 20693 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 109320

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.84 3/190 3048
/proc/meminfo: memFree=31040652/32770624 swapFree=0/477184
[pid=2886] ppid=2883 vsize=109320 CPUtime=2082.22 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 75754 0 0 0 208218 4 0 0 20 0 1 0 92353035 111943680 21494 18446744073709551615 4194304 5972588 140724910163184 140724910160488 5094219 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27330 21494 830 435 0 20693 0
Current children cumulated CPU time (s) 2082.22
Current children cumulated vsize (KiB) 109320

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/186 3051
/proc/meminfo: memFree=31044932/32770624 swapFree=0/477192
[pid=2886] ppid=2883 vsize=109320 CPUtime=2142.22 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 76123 0 0 0 214218 4 0 0 20 0 1 0 92353035 111943680 21494 18446744073709551615 4194304 5972588 140724910163184 140724910160488 5053038 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27330 21494 830 435 0 20693 0
Current children cumulated CPU time (s) 2142.22
Current children cumulated vsize (KiB) 109320

[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 1.87 3/186 3053
/proc/meminfo: memFree=31044700/32770624 swapFree=0/477192
[pid=2886] ppid=2883 vsize=109320 CPUtime=2202.23 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 76492 0 0 0 220219 4 0 0 20 0 1 0 92353035 111943680 21494 18446744073709551615 4194304 5972588 140724910163184 140724910160488 5071097 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27330 21494 830 435 0 20693 0
Current children cumulated CPU time (s) 2202.23
Current children cumulated vsize (KiB) 109320

[startup+2262.3 s]
/proc/loadavg: 2.08 2.04 1.88 3/186 3055
/proc/meminfo: memFree=31044544/32770624 swapFree=0/477204
[pid=2886] ppid=2883 vsize=109320 CPUtime=2262.22 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 76994 0 0 0 226218 4 0 0 20 0 1 0 92353035 111943680 21494 18446744073709551615 4194304 5972588 140724910163184 140724910160488 4965428 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27330 21494 830 435 0 20693 0
Current children cumulated CPU time (s) 2262.22
Current children cumulated vsize (KiB) 109320

[startup+2322.3 s]
/proc/loadavg: 2.03 2.03 1.89 3/187 3058
/proc/meminfo: memFree=31044776/32770624 swapFree=0/477208
[pid=2886] ppid=2883 vsize=109320 CPUtime=2322.22 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 77031 0 0 0 232218 4 0 0 20 0 1 0 92353035 111943680 21494 18446744073709551615 4194304 5972588 140724910163184 140724910160488 4968704 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27330 21494 830 435 0 20693 0
Current children cumulated CPU time (s) 2322.22
Current children cumulated vsize (KiB) 109320

[startup+2382.3 s]
/proc/loadavg: 1.94 2.01 1.89 2/180 3417
/proc/meminfo: memFree=31082724/32770624 swapFree=0/477336
[pid=2886] ppid=2883 vsize=109452 CPUtime=2382.23 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 77409 0 0 0 238219 4 0 0 20 0 1 0 92353035 112078848 21526 18446744073709551615 4194304 5972588 140724910163184 140724910160216 4909660 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27363 21526 830 435 0 20726 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 109452

[startup+2442.3 s]
/proc/loadavg: 2.07 2.04 1.90 2/182 4182
/proc/meminfo: memFree=31080100/32770624 swapFree=0/477308
[pid=2886] ppid=2883 vsize=109716 CPUtime=2442.23 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 78031 0 0 0 244219 4 0 0 20 0 1 0 92353035 112349184 21589 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5070704 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27429 21589 830 435 0 20792 0
Current children cumulated CPU time (s) 2442.23
Current children cumulated vsize (KiB) 109716

[startup+2502.3 s]
/proc/loadavg: 1.82 1.96 1.88 3/186 4851
/proc/meminfo: memFree=31069132/32770624 swapFree=0/477468
[pid=2886] ppid=2883 vsize=109716 CPUtime=2502.23 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 78382 0 0 0 250219 4 0 0 20 0 1 0 92353035 112349184 21598 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5072004 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27429 21598 830 435 0 20792 0
Current children cumulated CPU time (s) 2502.23
Current children cumulated vsize (KiB) 109716



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 1.86 1.96 1.88 3/186 4851
/proc/meminfo: memFree=31069132/32770624 swapFree=0/477472
[pid=2886] ppid=2883 vsize=109716 CPUtime=2519.93 cores=0,2,4,6
/proc/2886/stat : 2886 (cosoco) R 2883 2886 1478 0 -1 4202496 78633 0 0 0 251989 4 0 0 20 0 1 0 92353035 112349184 21599 18446744073709551615 4194304 5972588 140724910163184 140724910160216 5071964 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 8070896 8075904 14749696 140724910166510 140724910166605 140724910166605 140724910170062 0
/proc/2886/statm: 27429 21599 830 435 0 20792 0
Current children cumulated CPU time (s) 2519.93
Current children cumulated vsize (KiB) 109716

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 2886 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.94
CPU user time (s): 2519.89
CPU system time (s): 0.048001
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 109716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.89
system time used= 0.048001
maximum resident set size= 86468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78684
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= 37
involuntary context switches= 3157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79583 second user time and 6.67232 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-12 04:06:24
IDJOB=4268320
IDBENCH=115551
IDSOLVER=2658
FILE ID=node135/4268320-1502504418
RUNJOBID= node135-1502500348-1543
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Scheduling/Scheduling-xcsp2-os-gp/gp10-05-1070_X2.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268320-1502504418/watcher-4268320-1502504418 -o /tmp/evaluation-result-4268320-1502504418/solver-4268320-1502504418 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268320-1502504418.xml

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

MD5SUM BENCH= 23007d5514affe077dd6f6cf857721a4
RANDOM SEED=750208219

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
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.21
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.21
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.21
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:        31129792 kB
MemAvailable:   31946872 kB
Buffers:          300984 kB
Cached:           807080 kB
SwapCached:            0 kB
Active:           690532 kB
Inactive:         509968 kB
Active(anon):      92608 kB
Inactive(anon):    33140 kB
Active(file):     597924 kB
Inactive(file):   476828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2332 kB
Writeback:             0 kB
AnonPages:         92316 kB
Mapped:            53280 kB
Shmem:             33464 kB
Slab:             143720 kB
SReclaimable:     116328 kB
SUnreclaim:        27392 kB
KernelStack:        3328 kB
PageTables:         5020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62028 MiB
End job on node135 at 2017-08-12 04:48:24