Trace number 4265698

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 NameAnswerobjective functionCPU timeWall clock time
cosoco-sat 1.12SAT (TO)697 2519.6399 2520.1001

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-24-a4.xml
MD5SUM703fa8ddaec9a7a194d23a6d05243a88
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark599
Best CPU time to get the best result obtained on this benchmark2520.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints35928
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":24}]
Minimum variable degree5820
Maximum variable degree5821
Distribution of variable degrees[{"degree":5820,"count":22},{"degree":5821,"count":2}]
Minimum constraint arity1
Maximum constraint arity24
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":4048},{"arity":4,"count":31878},{"arity":24,"count":1}]
Number of extensional constraints0
Number of intensional constraints35927
Distribution of constraint types[{"type":"intension","count":35927},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

40.96/41.18	c SAT : Variables: 24024 -- Clauses: 12012024
40.96/41.18	c best=?? lower=0 upper=1000 
2110.17/2110.68	c
2110.17/2110.68	c This is cosoco 1.12 --  
2110.17/2110.68	c
2110.17/2110.68	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265698-1502576116.xml 
2110.17/2110.68	c enable optimization
2110.17/2110.68	c ========================================[ Problem Statistics ]===========================================
2110.17/2110.68	c |                                                                                                       
2110.17/2110.68	c |  Parse time        :        40.16 s 
2110.17/2110.68	c |
2110.17/2110.68	c |               Variables: 24
2110.17/2110.68	c |            Domain Sizes: 1001..1001
2110.17/2110.68	c |
2110.17/2110.68	c |             Constraints: 35951
2110.17/2110.68	c |                   Arity: 1..4  -- Unary: 2  -- Binary: 23  -- Ternary: 4048
2110.17/2110.68	c | 
2110.17/2110.68	c |                   Types: 
2110.17/2110.68	c |                          (X - Y < k): 23
2110.17/2110.68	c |                          Intension: 35928
2110.17/2110.68	c |                          
2110.17/2110.68	c =========================================================================================================
2110.17/2110.68	o 697
2110.17/2110.68	c    1 calls to solver: best=697 lower=0 upper=696 
2519.54/2520.00	
2519.54/2520.00	c *** INTERRUPTED ***
2519.54/2520.00	c restarts              : 336         
2519.54/2520.00	c conflicts             : 3210         (1 /sec)
2519.54/2520.00	c decisions             : 6834         (3 /sec)
2519.54/2520.00	c propagations          : 6757842     (2690 /sec)
2519.54/2520.00	c root propagations     : 1529        
2519.54/2520.00	c filter calls          : 347263803      (138242 /sec)
2519.54/2520.00	c useless filter calls  : 346369996      (99 %)
2519.54/2520.00	c
2519.54/2520.00	c clauses               : 12013551
2519.54/2520.00	c SAT propagations      : 20998
2519.54/2520.00	c SAT conflicts         : 16 (0 learnts)
2519.54/2520.00	c Memory used           : 5508.50 MB
2519.54/2520.00	c CPU time              : 2512 s
2519.54/2520.00	
2519.54/2520.00	c nb Solutions = 1
2519.54/2520.00	s SATISFIABLE
2519.54/2520.00	c Best value found: 697
2519.54/2520.00	
2519.54/2520.00	
2519.54/2520.00	v <instantiation type='solution' cost='697'>
2519.54/2520.00	v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
2519.54/2520.00	v <values>0 101 120 136 184 212 263 306 356 415 452 1 533 573 659 697 4 6 13 21 31 45 67 78 </values>
2519.54/2520.00	v </instantiation>
2519.54/2520.00

Verifier Data 

OK	697

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 (14902 MiB free)
  memory of node 1: 16384 MiB (15566 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265698-1502576116/watcher-4265698-1502576116 -o /tmp/evaluation-result-4265698-1502576116/solver-4265698-1502576116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265698-1502576116.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
solver pid=14593, runsolver pid=14590
Current StackSize limit: 8192 KiB


[startup+0.100077 s]*
/proc/loadavg: 1.94 1.99 2.03 2/185 14594
/proc/meminfo: memFree=31200832/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/14593/stat : 14593 (runsolver) D 14590 14593 11586 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 45952243 34791424 113 18446744073709551615 4194304 4346622 140735353403968 140735353400600 140013548188375 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 23392256 140735353409687 140735353410084 140735353410084 140735353413578 0
/proc/14593/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.209168 s]*
/proc/loadavg: 1.94 1.99 2.03 3/185 14594
/proc/meminfo: memFree=31200088/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=27720 memory=3592 CPUtime=0.09 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 1122 0 0 0 9 0 0 0 20 0 1 0 45952243 28385280 898 18446744073709551615 4194304 5972588 140730821003552 140730821000200 139708843338725 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 6930 898 716 435 0 293 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27720 KiB
Current children cumulated memory: 3592 KiB

[startup+0.309137 s]*
/proc/loadavg: 1.94 1.99 2.03 4/185 14594
/proc/meminfo: memFree=31199840/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=28176 memory=4240 CPUtime=0.19 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 1281 0 0 0 19 0 0 0 20 0 1 0 45952243 28852224 1060 18446744073709551615 4194304 5972588 140730821003552 140730821000120 5504721 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 7044 1060 716 435 0 407 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28176 KiB
Current children cumulated memory: 4240 KiB

[startup+0.700275 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 14594
/proc/meminfo: memFree=31198956/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=30664 memory=6496 CPUtime=0.57 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 2123 0 0 0 57 0 0 0 20 0 1 0 45952243 31399936 1558 18446744073709551615 4194304 5972588 140730821003552 140730821000120 139708843338725 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 7666 1624 786 435 0 1029 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 30664 KiB
Current children cumulated memory: 6496 KiB

[startup+1.50029 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 14594
/proc/meminfo: memFree=31180728/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=76368 memory=52168 CPUtime=1.37 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 13549 0 0 0 136 1 0 0 20 0 1 0 45952243 78200832 13042 18446744073709551615 4194304 5972588 140730821003552 140730821000120 139708843338725 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 19092 13042 786 435 0 12455 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 76368 KiB
Current children cumulated memory: 52168 KiB

[startup+3.10924 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 14682
/proc/meminfo: memFree=31345116/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=168272 memory=143972 CPUtime=2.98 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 36585 0 0 0 294 4 0 0 20 0 1 0 45952243 172310528 35993 18446744073709551615 4194304 5972588 140730821003552 140730820997112 139708844082582 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 42068 35993 786 435 0 35431 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 168272 KiB
Current children cumulated memory: 143972 KiB

[startup+6.30023 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 14682
/proc/meminfo: memFree=31086848/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=350660 memory=326448 CPUtime=6.17 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 82330 0 0 0 607 10 0 0 20 0 1 0 45952243 359075840 81612 18446744073709551615 4194304 5972588 140730821003552 140730820997112 4885456 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 87665 81612 786 435 0 81028 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 350660 KiB
Current children cumulated memory: 326448 KiB

[startup+12.7003 s]
/proc/loadavg: 1.95 1.99 2.03 3/185 14683
/proc/meminfo: memFree=30567732/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=716316 memory=692000 CPUtime=12.57 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 173889 0 0 0 1236 21 0 0 20 0 1 0 45952243 733507584 173000 18446744073709551615 4194304 5972588 140730821003552 140730820997112 139708843331308 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 179079 173000 786 435 0 172442 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 716316 KiB
Current children cumulated memory: 692000 KiB

[startup+25.5002 s]
/proc/loadavg: 1.96 1.99 2.03 3/185 14683
/proc/meminfo: memFree=29370332/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=1445880 memory=1421628 CPUtime=25.36 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 356560 0 0 0 2490 46 0 0 20 0 1 0 45952243 1480581120 355407 18446744073709551615 4194304 5972588 140730821003552 140730820997112 139708844282071 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 361470 355407 786 435 0 354833 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1445880 KiB
Current children cumulated memory: 1421628 KiB

[startup+51.1095 s]
/proc/loadavg: 1.97 1.99 2.03 3/185 14683
/proc/meminfo: memFree=27098208/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=3702676 memory=3640348 CPUtime=50.96 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 1007501 0 0 0 4980 116 0 0 20 0 1 0 45952243 3791540224 910087 18446744073709551615 4194304 5972588 140730821003552 140730821000408 139708843338725 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 925669 910087 838 435 0 919032 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3702676 KiB
Current children cumulated memory: 3640348 KiB

[startup+102.3 s]
/proc/loadavg: 1.92 1.97 2.03 3/183 14685
/proc/meminfo: memFree=26170836/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=4527676 memory=4465528 CPUtime=102.12 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 1582552 0 0 0 10054 158 0 0 20 0 1 0 45952243 4636340224 1116382 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4968720 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1131919 1116382 838 435 0 1125282 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 4527676 KiB
Current children cumulated memory: 4465528 KiB

[startup+162.3 s]
/proc/loadavg: 1.97 1.98 2.03 3/182 14687
/proc/meminfo: memFree=25840004/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=4837216 memory=4775100 CPUtime=162.11 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 2058600 0 0 0 16024 187 0 0 20 0 1 0 45952243 4953309184 1193775 18446744073709551615 4194304 5972588 140730821003552 140730821000408 5053069 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1209304 1193775 838 435 0 1202667 0
Current children cumulated CPU time: 162.11 s
Current children cumulated vsize: 4837216 KiB
Current children cumulated memory: 4775100 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/182 14689
/proc/meminfo: memFree=25727316/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=4937404 memory=4875232 CPUtime=222.1 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 2552733 0 0 0 21997 213 0 0 20 0 1 0 45952243 5055901696 1218808 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4965562 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1234351 1218808 838 435 0 1227714 0
Current children cumulated CPU time: 222.1 s
Current children cumulated vsize: 4937404 KiB
Current children cumulated memory: 4875232 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 14691
/proc/meminfo: memFree=25697720/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=4963672 memory=4901452 CPUtime=282.09 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 3004379 0 0 0 27974 235 0 0 20 0 1 0 45952243 5082800128 1225363 18446744073709551615 4194304 5972588 140730821003552 140730821000408 5071082 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1240918 1225363 838 435 0 1234281 0
Current children cumulated CPU time: 282.09 s
Current children cumulated vsize: 4963672 KiB
Current children cumulated memory: 4901452 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 14693
/proc/meminfo: memFree=25558812/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5096068 memory=5033908 CPUtime=342.07 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 3510297 0 0 0 33942 265 0 0 20 0 1 0 45952243 5218373632 1258477 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4969215 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1274017 1258477 838 435 0 1267380 0
Current children cumulated CPU time: 342.07 s
Current children cumulated vsize: 5096068 KiB
Current children cumulated memory: 5033908 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 14695
/proc/meminfo: memFree=25484200/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5168668 memory=5106560 CPUtime=402.06 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 3982508 0 0 0 39920 286 0 0 20 0 1 0 45952243 5292716032 1276640 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4962376 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1292167 1276640 838 435 0 1285530 0
Current children cumulated CPU time: 402.06 s
Current children cumulated vsize: 5168668 KiB
Current children cumulated memory: 5106560 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 14698
/proc/meminfo: memFree=25470704/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5180416 memory=5118224 CPUtime=462.04 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 4435798 0 0 0 45896 308 0 0 20 0 1 0 45952243 5304745984 1279556 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4965339 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1295104 1279556 838 435 0 1288467 0
Current children cumulated CPU time: 462.04 s
Current children cumulated vsize: 5180416 KiB
Current children cumulated memory: 5118224 KiB


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

/proc/14593/statm: 1392289 1376800 838 435 0 1385652 0
Current children cumulated CPU time: 1721.9 s
Current children cumulated vsize: 5569156 KiB
Current children cumulated memory: 5507200 KiB

[startup+1782.3 s]
/proc/loadavg: 2.45 2.14 2.08 3/185 14788
/proc/meminfo: memFree=25038760/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5585392 memory=5523416 CPUtime=1781.89 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 10482285 0 0 0 177575 614 0 0 20 0 1 0 45952243 5719441408 1380854 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4965342 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1396348 1380854 838 435 0 1389711 0
Current children cumulated CPU time: 1781.89 s
Current children cumulated vsize: 5585392 KiB
Current children cumulated memory: 5523416 KiB

[startup+1842.3 s]
/proc/loadavg: 2.16 2.11 2.07 3/184 14790
/proc/meminfo: memFree=25039176/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5586184 memory=5524280 CPUtime=1841.89 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 10699505 0 0 0 183563 626 0 0 20 0 1 0 45952243 5720252416 1381070 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4962247 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1396546 1381070 838 435 0 1389909 0
Current children cumulated CPU time: 1841.89 s
Current children cumulated vsize: 5586184 KiB
Current children cumulated memory: 5524280 KiB

[startup+1902.3 s]
/proc/loadavg: 2.06 2.09 2.07 3/182 14792
/proc/meminfo: memFree=25041568/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5586580 memory=5524608 CPUtime=1901.88 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 10939717 0 0 0 189550 638 0 0 20 0 1 0 45952243 5720657920 1381152 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4965365 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1396645 1381152 838 435 0 1390008 0
Current children cumulated CPU time: 1901.88 s
Current children cumulated vsize: 5586580 KiB
Current children cumulated memory: 5524608 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/182 14794
/proc/meminfo: memFree=25041300/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5586976 memory=5524976 CPUtime=1961.87 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 11151103 0 0 0 195539 648 0 0 20 0 1 0 45952243 5721063424 1381244 18446744073709551615 4194304 5972588 140730821003552 140730821000408 5071298 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1396744 1381244 838 435 0 1390107 0
Current children cumulated CPU time: 1961.87 s
Current children cumulated vsize: 5586976 KiB
Current children cumulated memory: 5524976 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/182 14796
/proc/meminfo: memFree=25039592/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5588296 memory=5526332 CPUtime=2021.87 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 11474172 0 0 0 201524 663 0 0 20 0 1 0 45952243 5722415104 1381583 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4962387 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1397074 1381583 838 435 0 1390437 0
Current children cumulated CPU time: 2021.87 s
Current children cumulated vsize: 5588296 KiB
Current children cumulated memory: 5526332 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/181 14798
/proc/meminfo: memFree=25036248/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5591464 memory=5529560 CPUtime=2081.87 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 11656600 0 0 0 207515 672 0 0 20 0 1 0 45952243 5725659136 1382390 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4965342 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1397866 1382390 838 435 0 1391229 0
Current children cumulated CPU time: 2081.87 s
Current children cumulated vsize: 5591464 KiB
Current children cumulated memory: 5529560 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 14800
/proc/meminfo: memFree=25014072/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5613112 memory=5551184 CPUtime=2141.87 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 12006196 0 0 0 213497 690 0 0 20 0 1 0 45952243 5747826688 1387796 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4965342 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1403278 1387796 839 435 0 1396641 0
Current children cumulated CPU time: 2141.87 s
Current children cumulated vsize: 5613112 KiB
Current children cumulated memory: 5551184 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 14802
/proc/meminfo: memFree=25012324/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5614960 memory=5553008 CPUtime=2201.86 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 12220727 0 0 0 219486 700 0 0 20 0 1 0 45952243 5749719040 1388252 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4965362 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1403740 1388252 839 435 0 1397103 0
Current children cumulated CPU time: 2201.86 s
Current children cumulated vsize: 5614960 KiB
Current children cumulated memory: 5553008 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 14804
/proc/meminfo: memFree=25010368/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5616676 memory=5554688 CPUtime=2261.86 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 12420790 0 0 0 225475 711 0 0 20 0 1 0 45952243 5751476224 1388672 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4965362 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1404169 1388672 839 435 0 1397532 0
Current children cumulated CPU time: 2261.86 s
Current children cumulated vsize: 5616676 KiB
Current children cumulated memory: 5554688 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 14806
/proc/meminfo: memFree=25005388/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5622088 memory=5560152 CPUtime=2321.85 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 12559741 0 0 0 231466 719 0 0 20 0 1 0 45952243 5757018112 1390038 18446744073709551615 4194304 5972588 140730821003552 140730821000408 5099648 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1405522 1390038 839 435 0 1398885 0
Current children cumulated CPU time: 2321.85 s
Current children cumulated vsize: 5622088 KiB
Current children cumulated memory: 5560152 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 14822
/proc/meminfo: memFree=24989024/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5632780 memory=5570852 CPUtime=2381.85 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 12824974 0 0 0 237454 731 0 0 20 0 1 0 45952243 5767966720 1392713 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4969240 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1408195 1392713 839 435 0 1401558 0
Current children cumulated CPU time: 2381.85 s
Current children cumulated vsize: 5632780 KiB
Current children cumulated memory: 5570852 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14824
/proc/meminfo: memFree=24988120/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5635024 memory=5573024 CPUtime=2441.84 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 13011591 0 0 0 243443 741 0 0 20 0 1 0 45952243 5770264576 1393256 18446744073709551615 4194304 5972588 140730821003552 140730821000408 5053069 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1408756 1393256 839 435 0 1402119 0
Current children cumulated CPU time: 2441.84 s
Current children cumulated vsize: 5635024 KiB
Current children cumulated memory: 5573024 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14826
/proc/meminfo: memFree=24983188/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5640568 memory=5578676 CPUtime=2501.82 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 13194009 0 0 0 249432 750 0 0 20 0 1 0 45952243 5775941632 1394669 18446744073709551615 4194304 5972588 140730821003552 140730821000408 5071080 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1410142 1394669 839 435 0 1403505 0
Current children cumulated CPU time: 2501.82 s
Current children cumulated vsize: 5640568 KiB
Current children cumulated memory: 5578676 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 14826
/proc/meminfo: memFree=24983280/32770624 swapFree=67108860/67108860
[pid=14593] ppid=14590 vsize=5640700 memory=5578764 CPUtime=2519.54 cores=1,3,5,7
/proc/14593/stat : 14593 (cosoco) R 14590 14593 11586 0 -1 4202496 13268857 0 0 0 251200 754 0 0 20 0 1 0 45952243 5776076800 1394691 18446744073709551615 4194304 5972588 140730821003552 140730821000408 4965365 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 23793664 140730821009860 140730821009960 140730821009960 140730821013454 0
/proc/14593/statm: 1410175 1394691 839 435 0 1403538 0
Current children cumulated CPU time: 2519.54 s
Current children cumulated vsize: 5640700 KiB
Current children cumulated memory: 5578764 KiB

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

[startup+2520.1 s]
# the end of solver process 14593 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512 s, system=7.63298 s

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

Child status: 1
Real time (s): 2520.1
CPU time (s): 2519.64
CPU user time (s): 2512
CPU system time (s): 7.63298
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 5640700
Max. memory (cumulated for all children) (KiB): 5578764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512
system time used= 7.63298
maximum resident set size= 5578828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13268899
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= 597
involuntary context switches= 1814


# summary of solver processes directly reported to runsolver:
#   pid: 14593
#   total CPU time (s): 2519.64
#   total CPU user time (s): 2512
#   total CPU system time (s): 7.63298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70795 second user time and 17.6972 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-13 00:01:00
IDJOB=4265698
IDBENCH=126230
IDSOLVER=2655
FILE ID=node124/4265698-1502576116
RUNJOBID= node124-1502565138-11650
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-24-a4.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265698-1502576116/watcher-4265698-1502576116 -o /tmp/evaluation-result-4265698-1502576116/solver-4265698-1502576116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265698-1502576116.xml

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

MD5SUM BENCH= 703fa8ddaec9a7a194d23a6d05243a88
RANDOM SEED=1953350479

node124.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.51
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.51
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.51
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.51
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:        31200832 kB
MemAvailable:   31719880 kB
Buffers:          243736 kB
Cached:           568364 kB
SwapCached:            0 kB
Active:           644600 kB
Inactive:         504296 kB
Active(anon):     337392 kB
Inactive(anon):    24960 kB
Active(file):     307208 kB
Inactive(file):   479336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3932 kB
Writeback:             0 kB
AnonPages:        293740 kB
Mapped:            44004 kB
Shmem:             25320 kB
Slab:             122132 kB
SReclaimable:      96680 kB
SUnreclaim:        25452 kB
KernelStack:        3216 kB
PageTables:         6348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     632688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62024 MiB
End job on node124 at 2017-08-13 00:43:00