Trace number 4269418

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
choco-solver 4.0.5 seq (2017-08-09)SAT 1.20959 0.94920802

General information on the benchmark

NameCostasArray/CostasArray-m1-s1/
CostasArray-11.xml
MD5SUM3fcfeb53ce07eb54a5be36acb820af5a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.128225
Satisfiable
(Un)Satisfiability was proved
Number of variables63
Number of constraints62
Number of domains2
Minimum domain size11
Maximum domain size20
Distribution of domain sizes[{"size":11,"count":11},{"size":20,"count":52}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":52},{"degree":10,"count":2},{"degree":11,"count":9}]
Minimum constraint arity3
Maximum constraint arity11
Distribution of constraint arities[{"arity":3,"count":53},{"arity":4,"count":2},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1}]
Number of extensional constraints0
Number of intensional constraints53
Distribution of constraint types[{"type":"intension","count":53},{"type":"allDifferent","count":9}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.22	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269418-1502709906.xml"  -tl '2520s' -p 1 -x 0
0.06/0.52	c [HOME/instance-4269418-1502709906.xml, -tl, 2520s, -p, 1, -x, 0]
0.22/0.58	c simple solver
0.36/0.64	c parse instance...
0.73/0.90	c solve instance...
1.06/0.94	s SATISFIABLE
1.06/0.94	v <instantiation>
1.06/0.94	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] </list>
1.06/0.94	v 	<values>1 4 9 7 3 2 10 11 6 8 5 -3 -5 2 4 1 -8 -1 5 -2 3 -8 -3 6 5 -7 -9 4 3 1 -6 1 7 -3 -8 -4 2 6 -2 2 -1 -4 -3 -6 5 -1 -6 -2 1 -5 -3 -9 -7 3 -1 -2 -10 -2 1 2 -5 -4 4 </values>
1.06/0.94	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269418-1502709906/watcher-4269418-1502709906 -o /tmp/evaluation-result-4269418-1502709906/solver-4269418-1502709906 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1002169098 HOME/instance-4269418-1502709906.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100152 s]*
/proc/loadavg: 2.23 1.81 1.67 2/199 20806
/proc/meminfo: memFree=30478224/32770624 swapFree=67108860/67108860
[pid=20805] ppid=20802 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/20805/stat : 20805 (runsolver) D 20802 20805 11586 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 59331286 34791424 114 18446744073709551615 4194304 4346622 140723280466992 140723280463624 140222129550039 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6446216 6449568 11952128 140723280470070 140723280470564 140723280470564 140723280474058 0
/proc/20805/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209334 s]*
/proc/loadavg: 2.23 1.81 1.67 2/199 20806
/proc/meminfo: memFree=30477960/32770624 swapFree=67108860/67108860
[pid=20805] ppid=20802 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/20805/stat : 20805 (runsolver) D 20802 20805 11586 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 59331286 34791424 114 18446744073709551615 4194304 4346622 140723280466992 140723280463624 140222129550039 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6446216 6449568 11952128 140723280470070 140723280470564 140723280470564 140723280474058 0
/proc/20805/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.30907 s]*
/proc/loadavg: 2.23 1.81 1.67 2/201 20808
/proc/meminfo: memFree=30475980/32770624 swapFree=67108860/67108860
[pid=20805] ppid=20802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331286 9740288 345 18446744073709551615 4194304 5098028 140726443433584 140726443431688 140346500805244 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 21 0 0 7196144 7232144 40579072 140726443442552 140726443442757 140726443442757 140726443446251 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[pid=20807] ppid=20805 vsize=105164 memory=5156 CPUtime=0 cores=0,2,4,6
/proc/20807/stat : 20807 (java) S 20805 20805 11586 0 -1 1077944320 1507 0 0 0 0 0 0 0 20 0 2 0 59331308 107687936 1289 18446744073709551615 4194304 4196468 140726803216464 140726803199008 140035989729015 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
/proc/20807/statm: 26291 1289 964 1 0 16808 0
[pid=20807/tid=20808] ppid=20805 vsize=105164 memory=29678448712876256 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20808/stat : 20808 (java) D 20805 20805 11586 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 2 0 59331308 107687936 1289 18446744073709551615 4194304 4196468 140726803216464 140035993970992 140035982220181 0 0 1 16784584 18446744072099896453 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 114676 KiB
Current children cumulated memory: 6536 KiB

[startup+0.700725 s]
/proc/loadavg: 2.23 1.81 1.67 4/214 20821
/proc/meminfo: memFree=30457340/32770624 swapFree=67108860/67108860
[pid=20805] ppid=20802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331286 9740288 345 18446744073709551615 4194304 5098028 140726443433584 140726443431688 140346500805244 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 21 0 0 7196144 7232144 40579072 140726443442552 140726443442757 140726443442757 140726443446251 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[pid=20807] ppid=20805 vsize=13978684 memory=49348 CPUtime=0.52 cores=0,2,4,6
/proc/20807/stat : 20807 (java) S 20805 20805 11586 0 -1 1077944320 10746 0 0 0 48 4 0 0 20 0 15 0 59331308 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140726803199008 140035989729015 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
/proc/20807/statm: 3494671 12337 3090 1 0 3482964 0
[pid=20807/tid=20808] ppid=20805 vsize=13978684 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/20807/task/20808/stat : 20808 (java) R 20805 20805 11586 0 -1 4202560 7634 0 0 0 28 3 0 0 20 0 15 0 59331308 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035993961376 140035973809502 0 4 1 16800974 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20809] ppid=20805 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20809/stat : 20809 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331321 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035946694928 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20810] ppid=20805 vsize=13978684 memory=140222025272512 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20810/stat : 20810 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331321 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035945642384 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20811] ppid=20805 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20811/stat : 20811 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331321 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035944589840 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20812] ppid=20805 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20812/stat : 20812 (java) S 20805 20805 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331321 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035943537296 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20813] ppid=20805 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20813/stat : 20813 (java) S 20805 20805 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331322 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035535440368 140035989740162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20814] ppid=20805 vsize=13978684 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20814/stat : 20814 (java) S 20805 20805 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 59331323 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035534386592 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20815] ppid=20805 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20815/stat : 20815 (java) S 20805 20805 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 59331323 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035533334000 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20816] ppid=20805 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20816/stat : 20816 (java) S 20805 20805 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331325 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035532282576 140035989747611 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20817] ppid=20805 vsize=13978684 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20807/task/20817/stat : 20817 (java) S 20805 20805 11586 0 -1 1077944384 651 0 0 0 4 0 0 0 20 0 15 0 59331325 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140035531229168 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20818] ppid=20805 vsize=13978684 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20807/task/20818/stat : 20818 (java) S 20805 20805 11586 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 59331325 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140034900748400 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20819] ppid=20805 vsize=13978684 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20807/task/20819/stat : 20819 (java) S 20805 20805 11586 0 -1 1077944384 914 0 0 0 12 0 0 0 20 0 15 0 59331325 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140034899695856 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20820] ppid=20805 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20820/stat : 20820 (java) S 20805 20805 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331325 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140034898643552 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20821] ppid=20805 vsize=13978684 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20821/stat : 20821 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331329 14314172416 12337 18446744073709551615 4194304 4196468 140726803216464 140034897591088 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 50728 KiB

[startup+0.949148 s]
# the end of solver process 20805 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.15046 s, system=0.059133 s

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

[startup+0.800939 s]
/proc/loadavg: 2.23 1.81 1.67 4/214 20821
/proc/meminfo: memFree=30457340/32770624 swapFree=67108860/67108860
[pid=20805] ppid=20802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331286 9740288 345 18446744073709551615 4194304 5098028 140726443433584 140726443431688 140346500805244 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 21 0 0 7196144 7232144 40579072 140726443442552 140726443442757 140726443442757 140726443446251 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[pid=20807] ppid=20805 vsize=13980732 memory=56520 CPUtime=0.73 cores=0,2,4,6
/proc/20807/stat : 20807 (java) S 20805 20805 11586 0 -1 1077944320 11789 0 0 0 69 4 0 0 20 0 15 0 59331308 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140726803199008 140035989729015 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
/proc/20807/statm: 3495183 14130 3140 1 0 3483476 0
[pid=20807/tid=20808] ppid=20805 vsize=13980732 memory=5788 CPUtime=0.4 cores=0,2,4,6
/proc/20807/task/20808/stat : 20808 (java) R 20805 20805 11586 0 -1 4202560 8352 0 0 0 37 3 0 0 20 0 15 0 59331308 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035993947520 140035989750941 0 4 1 16800974 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20809] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20809/stat : 20809 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331321 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035946694928 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20810] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20810/stat : 20810 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331321 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035945642384 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20811] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20811/stat : 20811 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331321 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035944589840 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20812] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20812/stat : 20812 (java) S 20805 20805 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331321 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035943537296 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20813] ppid=20805 vsize=13980732 memory=280444050614240 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20813/stat : 20813 (java) S 20805 20805 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331322 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035535440368 140035989740162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20814] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20814/stat : 20814 (java) S 20805 20805 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 59331323 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035534386592 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20815] ppid=20805 vsize=13980732 memory=280444050498176 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20815/stat : 20815 (java) S 20805 20805 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 59331323 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035533334000 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20816] ppid=20805 vsize=13980732 memory=140222025230682 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20816/stat : 20816 (java) S 20805 20805 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331325 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035532282576 140035989747611 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20817] ppid=20805 vsize=13980732 memory=280444050470416 CPUtime=0.07 cores=0,2,4,6
/proc/20807/task/20817/stat : 20817 (java) S 20805 20805 11586 0 -1 1077944384 734 0 0 0 7 0 0 0 20 0 15 0 59331325 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140035531229168 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20818] ppid=20805 vsize=13980732 memory=2110572632338916 CPUtime=0.05 cores=0,2,4,6
/proc/20807/task/20818/stat : 20818 (java) S 20805 20805 11586 0 -1 1077944384 355 0 0 0 5 0 0 0 20 0 15 0 59331325 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140034900748400 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20819] ppid=20805 vsize=13980732 memory=280444050475008 CPUtime=0.17 cores=0,2,4,6
/proc/20807/task/20819/stat : 20819 (java) S 20805 20805 11586 0 -1 1077944384 1044 0 0 0 17 0 0 0 20 0 15 0 59331325 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140034899695856 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20820] ppid=20805 vsize=13980732 memory=8370611207638964880 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20820/stat : 20820 (java) S 20805 20805 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331325 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140034898643552 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20821] ppid=20805 vsize=13980732 memory=-7025452035942946156 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20821/stat : 20821 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331329 14316269568 14130 18446744073709551615 4194304 4196468 140726803216464 140034897591088 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 57900 KiB

[startup+0.903268 s]
/proc/loadavg: 2.23 1.81 1.67 4/214 20821
/proc/meminfo: memFree=30457340/32770624 swapFree=67108860/67108860
[pid=20805] ppid=20802 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20805/stat : 20805 (xcsp3-exec) S 20802 20805 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331286 9740288 345 18446744073709551615 4194304 5098028 140726443433584 140726443431688 140346500805244 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 21 0 0 7196144 7232144 40579072 140726443442552 140726443442757 140726443442757 140726443446251 0
/proc/20805/statm: 2378 345 289 221 0 87 0
[pid=20807] ppid=20805 vsize=13980732 memory=71560 CPUtime=1.06 cores=0,2,4,6
/proc/20807/stat : 20807 (java) S 20805 20805 11586 0 -1 1077944320 12940 0 0 0 101 5 0 0 20 0 15 0 59331308 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140726803199008 140035989729015 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
/proc/20807/statm: 3495183 17890 3173 1 0 3483476 0
[pid=20807/tid=20808] ppid=20805 vsize=13980732 memory=49348 CPUtime=0.5 cores=0,2,4,6
/proc/20807/task/20808/stat : 20808 (java) S 20805 20805 11586 0 -1 1077944384 8495 0 0 0 47 3 0 0 20 0 15 0 59331308 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035993959472 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20809] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20809/stat : 20809 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331321 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035946694928 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20810] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20810/stat : 20810 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331321 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035945642384 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20811] ppid=20805 vsize=13980732 memory=140222025272512 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20811/stat : 20811 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331321 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035944589840 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20812] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20812/stat : 20812 (java) S 20805 20805 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331321 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035943537296 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20813] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20813/stat : 20813 (java) S 20805 20805 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 59331322 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035535440368 140035989740162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20814] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20814/stat : 20814 (java) S 20805 20805 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 59331323 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035534386592 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20815] ppid=20805 vsize=13980732 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20815/stat : 20815 (java) S 20805 20805 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 59331323 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035533334000 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20816] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20816/stat : 20816 (java) S 20805 20805 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331325 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035532282576 140035989747611 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20817] ppid=20805 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/20807/task/20817/stat : 20817 (java) S 20805 20805 11586 0 -1 1077944384 1112 0 0 0 16 0 0 0 20 0 15 0 59331325 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140035531229168 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20818] ppid=20805 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/20807/task/20818/stat : 20818 (java) S 20805 20805 11586 0 -1 1077944384 760 0 0 0 14 0 0 0 20 0 15 0 59331325 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140034900748400 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20819] ppid=20805 vsize=13980732 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/20807/task/20819/stat : 20819 (java) R 20805 20805 11586 0 -1 4202560 1268 0 0 0 22 0 0 0 20 0 15 0 59331325 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140034899695856 140035971139023 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20820] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20820/stat : 20820 (java) S 20805 20805 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331325 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140034898643552 140035989739221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
[pid=20807/tid=20821] ppid=20805 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20807/task/20821/stat : 20821 (java) S 20805 20805 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331329 14316269568 17890 18446744073709551615 4194304 4196468 140726803216464 140034897591088 140035989740162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11878400 140726803218865 140726803219041 140726803219041 140726803222479 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 72940 KiB

Child status: 0
Real time (s): 0.949208
CPU time (s): 1.20959
CPU user time (s): 1.15046
CPU system time (s): 0.059133
CPU usage (%): 127.431
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 72940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.15046
system time used= 0.059133
maximum resident set size= 74708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1436
involuntary context switches= 5


# summary of solver processes directly reported to runsolver:
#   pid: 20805
#   total CPU time (s): 1.20959
#   total CPU user time (s): 1.15046
#   total CPU system time (s): 0.059133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021426 second user time and 0.052034 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-14 13:10:50
IDJOB=4269418
IDBENCH=120410
IDSOLVER=2660
FILE ID=node124/4269418-1502709906
RUNJOBID= node124-1502673801-14689
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/CostasArray/CostasArray-m1-s1/CostasArray-11.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269418-1502709906/watcher-4269418-1502709906 -o /tmp/evaluation-result-4269418-1502709906/solver-4269418-1502709906 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14689 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1002169098 HOME/instance-4269418-1502709906.xml

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

MD5SUM BENCH= 3fcfeb53ce07eb54a5be36acb820af5a
RANDOM SEED=1002169098

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:        30478844 kB
MemAvailable:   30831916 kB
Buffers:          210136 kB
Cached:           422724 kB
SwapCached:            0 kB
Active:          1603944 kB
Inactive:         237964 kB
Active(anon):    1160656 kB
Inactive(anon):    73768 kB
Active(file):     443288 kB
Inactive(file):   164196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7852 kB
Writeback:             0 kB
AnonPages:       1208120 kB
Mapped:            58316 kB
Shmem:             25320 kB
Slab:             149776 kB
SReclaimable:     122848 kB
SUnreclaim:        26928 kB
KernelStack:        3488 kB
PageTables:         7816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1833344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1107968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node124 at 2017-08-14 13:10:51