Trace number 4294474

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

General information on the benchmark

NameSocialGolfers/
SocialGolfers-4-4-7-cp_c18.xml
MD5SUM6202e41c7df8f203e59ab292b28f5059
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 benchmark0.473528
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints2529
Number of domains1
Minimum domain size4
Maximum domain size4
Distribution of domain sizes[{"size":4,"count":112}]
Minimum variable degree92
Maximum variable degree93
Distribution of variable degrees[{"degree":92,"count":96},{"degree":93,"count":16}]
Minimum constraint arity4
Maximum constraint arity112
Distribution of constraint arities[{"arity":4,"count":2520},{"arity":16,"count":8},{"arity":112,"count":1}]
Number of extensional constraints0
Number of intensional constraints2520
Distribution of constraint types[{"type":"intension","count":2520},{"type":"lex","count":1},{"type":"cardinality","count":7},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.99/1.05	c Create Cardinality(vars,values,occurs) constraint using 16 Exactly/AtMost.. constraint 
0.99/1.05	c
0.99/1.05	c Create Cardinality(vars,values,occurs) constraint using 16 Exactly/AtMost.. constraint 
0.99/1.05	c
0.99/1.05	c Create Cardinality(vars,values,occurs) constraint using 16 Exactly/AtMost.. constraint 
0.99/1.05	c
0.99/1.05	c Create Cardinality(vars,values,occurs) constraint using 16 Exactly/AtMost.. constraint 
0.99/1.05	c
0.99/1.05	c Create Cardinality(vars,values,occurs) constraint using 16 Exactly/AtMost.. constraint 
0.99/1.05	c
0.99/1.05	c Create Cardinality(vars,values,occurs) constraint using 16 Exactly/AtMost.. constraint 
0.99/1.05	c
0.99/1.05	c Create Cardinality(vars,values,occurs) constraint using 16 Exactly/AtMost.. constraint 
0.99/1.05	c
1.09/1.11	c root propagations     : 34          
1.09/1.11	c restarts enabled, print stats at every restarts
1.09/1.11	c
1.09/1.11	c
1.09/1.11	c
1.09/1.11	c This is cosoco 1.12 --  
1.09/1.11	c
1.09/1.11	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294474-1532464170.xml 
1.09/1.11	c ========================================[ Problem Statistics ]===========================================
1.09/1.11	c |                                                                                                       
1.09/1.11	c |  Parse time        :         1.04 s 
1.09/1.11	c |
1.09/1.11	c |               Variables: 112
1.09/1.11	c |            Domain Sizes: 4..4
1.09/1.11	c |
1.09/1.11	c |             Constraints: 2585
1.09/1.11	c |                   Arity: 1..32  -- Unary: 16
1.09/1.11	c | 
1.09/1.11	c |                   Types: 
1.09/1.11	c |                          Exactly K: 28
1.09/1.11	c |                          Intension: 2520
1.09/1.11	c |                          Lex: 21
1.09/1.11	c |                          Unary: 16
1.09/1.11	c |                          
1.09/1.11	c =========================================================================================================
1.09/1.11	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.88/2.00	c 101            293            156180         4234           16             0              42   53   44   
3.10/3.13	c 211            1105           378730         10328          16             0              29   76   50   
4.18/4.22	c 332            1630           563582         15329          16             0              5   42   28    
5.28/5.30	c 465            2198           751456         20375          16             0              10   43   33   
6.68/6.73	c 611            2997           1003680        26878          16             0              13   43   33   
8.48/8.53	c 771            3767           1311363        34603          16             0              14   42   31   
9.88/9.92	c 947            4568           1569909        40864          18             0              1   43   37    
11.78/11.82	c 1140           5743           1919320        49188          18             0              19   42   37   
13.99/14.06	c 1352           7132           2320037        59785          18             0              22   42   35   
16.09/16.18	c 1585           8450           2713374        70031          18             0              21   42   35   
18.09/18.18	c 1841           9266           3042556        80554          18             0              21   30   29   
20.48/20.55	c 2122           10779          3481688        91262          18             0              14   42   39   
23.29/23.36	c 2431           12462          3988780        103708         18             0              23   42   39   
26.59/26.64	c 2770           14012          4539187        118271         18             0              19   40   29   
30.18/30.26	c 3142           16088          5196846        134291         18             0              9   41   37    
33.68/33.78	c 3551           17550          5825679        150353         18             0              22   41   33   
38.38/38.46	c 4000           19488          6673639        171353         18             0              21   36   32   
43.38/43.47	c 4493           22235          7567518        193378         18             0              21   39   31   
48.68/48.71	c 5035           24179          8456103        218410         18             0              16   34   31   
51.99/52.06	c 5631           26113          9039904        237748         18             0              18   40   29   
57.28/57.39	c 6286           28763          9964654        260771         18             0              19   41   31   
63.68/63.78	c 7006           32471          11127379       289304         20             0              1   41   36    
71.48/71.54	c 7798           35972          12464012       323548         20             0              13   41   31   
79.87/79.96	c 8669           39946          13980608       363454         20             0              20   42   32   
87.27/87.30	c 9627           44570          15345413       397936         20             0              20   42   36   
97.27/97.30	c 10680          50817          17213426       446737         20             0              18   42   36   
107.98/108.08	c 11838          57028          19193112       495316         20             0              24   41   36   
118.87/118.91	c 13111          63810          21182466       545583         20             0              18   41   37   
130.98/131.03	c 14511          70379          23397946       602091         20             0              21   40   36   
145.47/145.55	c 16051          80373          26114559       675140         20             0              19   40   33   
157.98/158.05	c 17745          87276          28419382       738014         20             0              12   41   37   
173.26/173.36	c 19608          94858          31094774       811420         20             0              18   40   30   
192.16/192.22	c 21657          104079         34553873       898914         20             0              22   40   35   
214.26/214.39	c 23910          114201         38469104       1000541        20             0              20   40   30   
240.86/241.00	c 26388          125570         43270236       1125467        20             0              16   40   30   
261.96/262.08	c 29113          136231         46976400       1227032        20             0              16   40   29   
287.25/287.32	c 32110          154060         51723235       1349201        20             0              17   40   33   
316.45/316.52	c 35406          171617         57108557       1485770        20             0              9   41   35    
343.15/343.20	c 39031          188393         62093150       1619152        20             0              12   41   35   
379.05/379.19	c 43018          211292         68841239       1788298        20             0              14   41   36   
422.44/422.57	c 47403          232846         76718484       1986665        20             0              17   40   32   
465.44/465.57	c 52226          259492         84685834       2185932        20             0              18   40   35   
516.04/516.19	c 57531          290674         94275633       2415417        20             0              14   40   35   
566.13/566.22	c 63366          315366         103489681      2657474        20             0              18   40   30   
627.72/627.87	c 69784          343577         114386647      2943007        20             0              17   40   30   
690.02/690.11	c 76843          379554         126128887      3251787        20             0              17   40   34   
757.02/757.16	c 84607          421223         138612696      3598511        20             0              17   41   35   
829.01/829.18	c 93147          465903         152124470      3946036        20             0              18   40   36   
914.60/914.77	c 102541         525204         168280225      4364862        20             0              17   40   33   
1006.20/1006.37	c 112874         575186         184772630      4819360        20             0              12   40   32   
1097.59/1097.75	c 124240         629634         201755551      5279190        20             0              18   40   36   
1216.28/1216.44	c 136742         680418         223397916      5834684        20             0              17   40   31   
1343.76/1343.95	c 150494         739401         245854847      6409577        20             0              16   40   29   
1465.45/1465.65	c 165621         814284         268395150      6999228        20             0              14   40   35   
1611.85/1612.04	c 182260         888024         294484635      7694357        20             0              14   40   31   
1775.22/1775.48	c 200562         983490         325240479      8462191        20             0              14   40   35   
1965.51/1965.77	c 220694         1088866        360682187      9389770        20             0              13   41   33   
2168.30/2168.52	c 242839         1193421        397408019      10325759       20             0              16   41   33   
2361.08/2361.33	c 267198         1309606        433208782      11279542       20             0              10   40   35   
2519.77/2520.01	
2519.77/2520.01	c *** INTERRUPTED ***
2519.77/2520.01	c restarts              : 59          
2519.77/2520.01	c conflicts             : 284362       (113 /sec)
2519.77/2520.01	c decisions             : 1406078      (558 /sec)
2519.77/2520.01	c propagations          : 12028031    (4774 /sec)
2519.77/2520.01	c root propagations     : 34          
2519.77/2520.01	c filter calls          : 462716172      (183637 /sec)
2519.77/2520.01	c useless filter calls  : 454232857      (98 %)
2519.77/2520.01	c Memory used           : 59.62 MB
2519.77/2520.01	c CPU time              : 2519.73 s
2519.77/2520.01	
2519.77/2520.01	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (2578 MiB free)
  memory of node 1: 16384 MiB (6824 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294474-1532464170/watcher-4294474-1532464170 -o /tmp/evaluation-result-4294474-1532464170/solver-4294474-1532464170 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532432876-20753 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294474-1532464170.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24232, runsolver pid=24229


[startup+0.10013 s]*
/proc/loadavg: 2.12 2.11 2.08 3/187 24233
/proc/meminfo: memFree=9627572/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=28836 memory=5144 CPUtime=0.1 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 1443 0 0 0 10 0 0 0 20 0 1 0 63979880 29528064 1286 33554432000 4194304 6142532 140725981316096 140725981308776 139977032039397 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 7209 1286 802 476 0 531 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28836 KiB
Current children cumulated memory: 5144 KiB

[startup+0.209592 s]*
/proc/loadavg: 2.12 2.11 2.08 3/187 24233
/proc/meminfo: memFree=9623852/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=32332 memory=8636 CPUtime=0.2 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 2314 0 0 0 20 0 0 0 20 0 1 0 63979880 33107968 2125 33554432000 4194304 6142532 140725981316096 140725981308776 139977032035134 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 8082 2159 802 476 0 1404 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32332 KiB
Current children cumulated memory: 8636 KiB

[startup+0.309244 s]*
/proc/loadavg: 2.12 2.11 2.08 3/187 24233
/proc/meminfo: memFree=9620876/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=35448 memory=11752 CPUtime=0.3 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 3107 0 0 0 30 0 0 0 20 0 1 0 63979880 36298752 2938 33554432000 4194304 6142532 140725981316096 140725981308776 139977032039397 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 8862 2938 802 476 0 2184 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35448 KiB
Current children cumulated memory: 11752 KiB

[startup+0.700291 s]
/proc/loadavg: 2.12 2.11 2.08 3/187 24233
/proc/meminfo: memFree=9614552/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=47648 memory=23824 CPUtime=0.69 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 6157 0 0 0 68 1 0 0 20 0 1 0 63979880 48791552 5956 33554432000 4194304 6142532 140725981316096 140725981307112 139977032039397 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 11912 5956 802 476 0 5234 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47648 KiB
Current children cumulated memory: 23824 KiB

[startup+1.50034 s]
/proc/loadavg: 2.12 2.11 2.08 3/187 24233
/proc/meminfo: memFree=9598420/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37484 CPUtime=1.48 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 9574 0 0 0 147 1 0 0 20 0 1 0 63979880 62513152 9371 33554432000 4194304 6142532 140725981316096 140725981313752 5146943 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9371 855 476 0 8584 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37484 KiB

[startup+3.10976 s]
/proc/loadavg: 2.12 2.11 2.08 3/187 24233
/proc/meminfo: memFree=9594084/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37700 CPUtime=3.1 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 18083 0 0 0 308 2 0 0 20 0 1 0 63979880 62513152 9425 33554432000 4194304 6142532 140725981316096 140725981313496 4991514 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9425 858 476 0 8584 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37700 KiB

[startup+6.30033 s]
/proc/loadavg: 2.11 2.10 2.08 3/187 24233
/proc/meminfo: memFree=9594268/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=6.28 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 24942 0 0 0 626 2 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5367122 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+12.7003 s]
/proc/loadavg: 2.10 2.10 2.08 3/187 24233
/proc/meminfo: memFree=9594384/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=12.68 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 31801 0 0 0 1266 2 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 139977032959907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+25.5004 s]
/proc/loadavg: 2.08 2.10 2.08 3/187 24233
/proc/meminfo: memFree=9594384/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=25.49 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 45505 0 0 0 2546 3 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5372403 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+51.1096 s]
/proc/loadavg: 2.05 2.09 2.07 3/187 24240
/proc/meminfo: memFree=9594364/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=51.09 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 52374 0 0 0 5106 3 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5376422 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 24241
/proc/meminfo: memFree=9594336/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=102.27 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 55209 0 0 0 10224 3 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5366780 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 24242
/proc/meminfo: memFree=9595132/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=162.27 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 56021 0 0 0 16224 3 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5175276 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 24243
/proc/meminfo: memFree=9595312/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=222.26 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 56833 0 0 0 22223 3 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5372465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24244
/proc/meminfo: memFree=9595224/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=282.25 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 57645 0 0 0 28222 3 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5367420 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24245
/proc/meminfo: memFree=9594844/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=342.25 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 58457 0 0 0 34222 3 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5360440 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 24246
/proc/meminfo: memFree=9594856/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=402.24 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 59269 0 0 0 40221 3 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 139977032963638 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 24247
/proc/meminfo: memFree=9594608/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=462.24 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 60081 0 0 0 46221 3 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5363539 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB


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

/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 24348
/proc/meminfo: memFree=9515976/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=1782.12 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 77422 0 0 0 178208 4 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5048605 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 24356
/proc/meminfo: memFree=9515164/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=1842.12 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 78163 0 0 0 184208 4 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 4991027 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 24380
/proc/meminfo: memFree=9514900/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=1902.11 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 78962 0 0 0 190207 4 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5374073 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24381
/proc/meminfo: memFree=9516084/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=1962.11 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 79757 0 0 0 196207 4 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5371742 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24382
/proc/meminfo: memFree=9516364/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2022.1 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 80451 0 0 0 202206 4 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5146963 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24383
/proc/meminfo: memFree=9516424/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2082.1 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 81128 0 0 0 208206 4 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5371863 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24384
/proc/meminfo: memFree=9516364/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2142.09 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 81875 0 0 0 214205 4 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5146841 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 24385
/proc/meminfo: memFree=9516420/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2202.09 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 82687 0 0 0 220204 5 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5174708 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24386
/proc/meminfo: memFree=9516512/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2262.09 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 83482 0 0 0 226204 5 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5367159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24387
/proc/meminfo: memFree=9516444/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2322.08 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 84281 0 0 0 232203 5 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 139977041984399 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24388
/proc/meminfo: memFree=9516188/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2382.08 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 85093 0 0 0 238203 5 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5363644 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24397
/proc/meminfo: memFree=9515156/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2442.07 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 85839 0 0 0 244202 5 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5366795 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24398
/proc/meminfo: memFree=9515544/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2502.07 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 86690 0 0 0 250202 5 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5146845 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24398
/proc/meminfo: memFree=9515792/32770624 swapFree=67108860/67108860
[pid=24232] ppid=24229 vsize=61048 memory=37704 CPUtime=2519.77 cores=1,3,5,7
/proc/24232/stat : 24232 (cosoco) R 24229 24232 20721 0 -1 4202496 87479 0 0 0 251972 5 0 0 20 0 1 0 63979880 62513152 9426 33554432000 4194304 6142532 140725981316096 140725981313496 5371860 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 15126528 140725981324422 140725981324552 140725981324552 140725981327310 0
/proc/24232/statm: 15262 9426 858 476 0 8584 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 61048 KiB
Current children cumulated memory: 37704 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.78
CPU user time (s): 2519.73
CPU system time (s): 0.053995
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 61048
Max. memory (cumulated for all children) (KiB): 37704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.053995
maximum resident set size= 37772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87526
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= 19
involuntary context switches= 636


# summary of solver processes directly reported to runsolver:
#   pid: 24232
#   total CPU time (s): 2519.78
#   total CPU user time (s): 2519.73
#   total CPU system time (s): 0.053995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.84724 second user time and 18.1409 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-24 22:29:30
IDJOB=4294474
IDBENCH=141387
IDSOLVER=2752
FILE ID=node106/4294474-1532464170
RUNJOBID= node106-1532432876-20753
PBS_JOBID= 21021578
Free space on /tmp= 46616 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-4-4-7-cp_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294474-1532464170/watcher-4294474-1532464170 -o /tmp/evaluation-result-4294474-1532464170/solver-4294474-1532464170 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532432876-20753 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294474-1532464170.xml

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

MD5SUM BENCH= 6202e41c7df8f203e59ab292b28f5059
RANDOM SEED=1585216524

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         9629628 kB
MemAvailable:   31816540 kB
Buffers:          279584 kB
Cached:         21807924 kB
SwapCached:            0 kB
Active:          2308780 kB
Inactive:       19956440 kB
Active(anon):     180568 kB
Inactive(anon):    17128 kB
Active(file):    2128212 kB
Inactive(file): 19939312 kB
Unevictable:        6876 kB
Mlocked:            6876 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2784 kB
Writeback:             4 kB
AnonPages:        184732 kB
Mapped:            40684 kB
Shmem:             17036 kB
Slab:             575392 kB
SReclaimable:     547848 kB
SUnreclaim:        27544 kB
KernelStack:        3312 kB
PageTables:         5500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     464844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46612 MiB
End job on node106 at 2018-07-24 23:11:30