Trace number 4248257

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)? (TO) 2400.29 383.611

General information on the benchmark

NameMagicSquare/MagicSquare-table-s1/
MagicSquare-6-table.xml
MD5SUMcfc552cbb2ce3301e89528d2cd5bb011
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 benchmark481.45001
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints15
Number of domains1
Minimum domain size36
Maximum domain size36
Distribution of domain sizes[{"size":36,"count":36}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":24},{"degree":4,"count":12}]
Minimum constraint arity6
Maximum constraint arity36
Distribution of constraint arities[{"arity":6,"count":14},{"arity":36,"count":1}]
Number of extensional constraints14
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":14},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248257-1500691819.xml"  -tl '2400s' -p 8 -x 3
0.00/0.19	c [HOME/instance-4248257-1500691819.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.31	c parse instance...

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248257-1500691819/watcher-4248257-1500691819 -o /tmp/evaluation-result-4248257-1500691819/solver-4248257-1500691819 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 695849268 HOME/instance-4248257-1500691819.xml 

pid=10740
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 13.95 13.52 13.16 10/273 10743
/proc/meminfo: memFree=27026096/32770624 swapFree=5656/329212
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0

[startup+0.100102 s]
/proc/loadavg: 13.95 13.52 13.16 10/273 10743
/proc/meminfo: memFree=27026096/32770624 swapFree=5656/329212
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200262 s]
/proc/loadavg: 13.95 13.52 13.16 10/273 10743
/proc/meminfo: memFree=27026096/32770624 swapFree=5656/329212
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300219 s]
/proc/loadavg: 13.95 13.52 13.16 10/273 10743
/proc/meminfo: memFree=27026096/32770624 swapFree=5656/329212
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70072 s]
/proc/loadavg: 13.95 13.52 13.16 10/273 10743
/proc/meminfo: memFree=27026096/32770624 swapFree=5656/329212
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50341 s]
/proc/loadavg: 13.95 13.52 13.16 10/294 10764
/proc/meminfo: memFree=26580024/32770624 swapFree=5656/329220
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0
[pid=10744] ppid=10743 vsize=13267132 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/10744/stat : 10744 (java) S 10743 10743 7102 0 -1 1077944320 13298 0 0 0 262 282 0 0 20 0 20 0 4450616 13585543168 194602 33554432000 4194304 4196468 140730652976016 140730652958560 140374885859063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
/proc/10744/statm: 3316783 194602 3187 1 0 3304035 0
[pid=10744/tid=10745] ppid=10743 vsize=13267132 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10745/stat : 10745 (java) S 10743 10743 7102 0 -1 1077944384 6177 0 0 0 85 10 0 0 20 0 20 0 4450616 13585543168 194602 33554432000 4194304 4196468 140730652976016 140374890098192 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10747] ppid=10743 vsize=13267132 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10747/stat : 10747 (java) R 10743 10743 7102 0 -1 4202560 225 0 0 0 12 35 0 0 20 0 20 0 4450617 13585543168 194602 33554432000 4194304 4196468 140730652976016 140374838480216 140374878961780 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10748] ppid=10743 vsize=13267132 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10748/stat : 10748 (java) R 10743 10743 7102 0 -1 4202560 258 0 0 0 16 34 0 0 20 0 20 0 4450617 13585543168 194602 33554432000 4194304 4196468 140730652976016 140374837427104 140374878962092 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10749] ppid=10743 vsize=13267132 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10749/stat : 10749 (java) R 10743 10743 7102 0 -1 4202560 369 0 0 0 17 34 0 0 20 0 20 0 4450617 13585543168 194602 33554432000 4194304 4196468 140730652976016 140374836372216 140374878961780 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10750] ppid=10743 vsize=13267132 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10750/stat : 10750 (java) R 10743 10743 7102 0 -1 4202560 416 0 0 0 16 34 0 0 20 0 20 0 4450617 13585543168 194602 33554432000 4194304 4196468 140730652976016 140374835321816 140374878961780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10751] ppid=10743 vsize=13267132 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10751/stat : 10751 (java) R 10743 10743 7102 0 -1 4202560 232 0 0 0 14 31 0 0 20 0 20 0 4450617 13585543168 194602 33554432000 4194304 4196468 140730652976016 140374834269016 140374878962116 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10752] ppid=10743 vsize=13267132 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10752/stat : 10752 (java) R 10743 10743 7102 0 -1 4202560 235 0 0 0 17 34 0 0 20 0 20 0 4450617 13585543168 194602 33554432000 4194304 4196468 140730652976016 140374833213536 140374878961780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10753] ppid=10743 vsize=13267132 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10753/stat : 10753 (java) R 10743 10743 7102 0 -1 4202560 272 0 0 0 17 34 0 0 20 0 20 0 4450617 13585543168 194602 33554432000 4194304 4196468 140730652976016 140374479141464 140374878961780 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10754] ppid=10743 vsize=13267132 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10754/stat : 10754 (java) R 10743 10743 7102 0 -1 4202560 345 0 0 0 21 28 0 0 20 0 20 0 4450617 13585543168 194602 33554432000 4194304 4196468 140730652976016 140374478088664 140374878962116 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10755] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10755/stat : 10755 (java) S 10743 10743 7102 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 4450619 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374079624608 140374885869269 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10756] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10756/stat : 10756 (java) S 10743 10743 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4450620 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374078572064 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10757] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10757/stat : 10757 (java) S 10743 10743 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4450620 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374077519216 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10758] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10758/stat : 10758 (java) S 10743 10743 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4450624 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374076467536 140374885877659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10759] ppid=10743 vsize=13267132 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10759/stat : 10759 (java) S 10743 10743 7102 0 -1 1077944384 803 0 0 0 7 0 0 0 20 0 20 0 4450624 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374075414896 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10760] ppid=10743 vsize=13267132 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10760/stat : 10760 (java) S 10743 10743 7102 0 -1 1077944384 808 0 0 0 12 0 0 0 20 0 20 0 4450624 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374074362096 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10761] ppid=10743 vsize=13267132 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10761/stat : 10761 (java) S 10743 10743 7102 0 -1 1077944384 607 0 0 0 8 0 0 0 20 0 20 0 4450624 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374073309296 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10762] ppid=10743 vsize=13267132 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10762/stat : 10762 (java) S 10743 10743 7102 0 -1 1077944384 970 0 0 0 15 0 0 0 20 0 20 0 4450624 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374072256496 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10763] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10763/stat : 10763 (java) S 10743 10743 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4450624 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374071204960 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10764] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10764/stat : 10764 (java) S 10743 10743 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4450625 13585543168 195114 33554432000 4194304 4196468 140730652976016 140374070152240 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 13276644

[startup+3.10339 s]
/proc/loadavg: 13.95 13.52 13.16 17/294 10764
/proc/meminfo: memFree=25942544/32770624 swapFree=5656/329224
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0
[pid=10744] ppid=10743 vsize=13267132 CPUtime=12.19 cores=1,3,5,7,9,11,13,15
/proc/10744/stat : 10744 (java) S 10743 10743 7102 0 -1 1077944320 19265 0 0 0 591 628 0 0 20 0 20 0 4450616 13585543168 387927 33554432000 4194304 4196468 140730652976016 140730652958560 140374885859063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
/proc/10744/statm: 3316783 387927 3188 1 0 3304035 0
[pid=10744/tid=10745] ppid=10743 vsize=13267132 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10745/stat : 10745 (java) S 10743 10743 7102 0 -1 1077944384 6264 0 0 0 155 23 0 0 20 0 20 0 4450616 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374890098192 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10747] ppid=10743 vsize=13267132 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10747/stat : 10747 (java) R 10743 10743 7102 0 -1 4202560 799 0 0 0 43 78 0 0 20 0 20 0 4450617 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374838480216 140374878961780 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10748] ppid=10743 vsize=13267132 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10748/stat : 10748 (java) R 10743 10743 7102 0 -1 4202560 790 0 0 0 49 75 0 0 20 0 20 0 4450617 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374837424896 140374878962126 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10749] ppid=10743 vsize=13267132 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10749/stat : 10749 (java) R 10743 10743 7102 0 -1 4202560 1032 0 0 0 50 75 0 0 20 0 20 0 4450617 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374836374616 140374878961780 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10750] ppid=10743 vsize=13267132 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10750/stat : 10750 (java) R 10743 10743 7102 0 -1 4202560 1031 0 0 0 46 77 0 0 20 0 20 0 4450617 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374835321816 140374878961780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10751] ppid=10743 vsize=13267132 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10751/stat : 10751 (java) R 10743 10743 7102 0 -1 4202560 769 0 0 0 37 73 0 0 20 0 20 0 4450617 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374834269016 140374878961780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10752] ppid=10743 vsize=13267132 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10752/stat : 10752 (java) R 10743 10743 7102 0 -1 4202560 610 0 0 0 44 79 0 0 20 0 20 0 4450617 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374833216216 140374878962126 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10753] ppid=10743 vsize=13267132 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10753/stat : 10753 (java) R 10743 10743 7102 0 -1 4202560 845 0 0 0 49 74 0 0 20 0 20 0 4450617 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374479141152 140374878961780 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10754] ppid=10743 vsize=13267132 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10754/stat : 10754 (java) R 10743 10743 7102 0 -1 4202560 895 0 0 0 54 65 0 0 20 0 20 0 4450617 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374478088664 140374878961780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10755] ppid=10743 vsize=13267132 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10755/stat : 10755 (java) S 10743 10743 7102 0 -1 1077944384 1143 0 0 0 2 0 0 0 20 0 20 0 4450619 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374079624608 140374885869269 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10756] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10756/stat : 10756 (java) S 10743 10743 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4450620 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374078572064 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10757] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10757/stat : 10757 (java) S 10743 10743 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4450620 13585543168 388439 33554432000 4194304 4196468 140730652976016 140374077519216 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10758] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10758/stat : 10758 (java) S 10743 10743 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4450624 13585543168 388951 33554432000 4194304 4196468 140730652976016 140374076467536 140374885877659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10759] ppid=10743 vsize=13267132 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10759/stat : 10759 (java) S 10743 10743 7102 0 -1 1077944384 1346 0 0 0 16 0 0 0 20 0 20 0 4450624 13585543168 388951 33554432000 4194304 4196468 140730652976016 140374075414896 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10760] ppid=10743 vsize=13267132 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10760/stat : 10760 (java) S 10743 10743 7102 0 -1 1077944384 811 0 0 0 14 0 0 0 20 0 20 0 4450624 13585543168 388951 33554432000 4194304 4196468 140730652976016 140374074362096 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10761] ppid=10743 vsize=13267132 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10761/stat : 10761 (java) S 10743 10743 7102 0 -1 1077944384 640 0 0 0 12 0 0 0 20 0 20 0 4450624 13585543168 388951 33554432000 4194304 4196468 140730652976016 140374073309296 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10762] ppid=10743 vsize=13267132 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10762/stat : 10762 (java) S 10743 10743 7102 0 -1 1077944384 997 0 0 0 17 0 0 0 20 0 20 0 4450624 13585543168 388951 33554432000 4194304 4196468 140730652976016 140374072256496 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10763] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10763/stat : 10763 (java) S 10743 10743 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4450624 13585543168 388951 33554432000 4194304 4196468 140730652976016 140374071204960 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10764] ppid=10743 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10764/stat : 10764 (java) S 10743 10743 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4450625 13585543168 388951 33554432000 4194304 4196468 140730652976016 140374070152240 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 13276644

[startup+6.30372 s]
/proc/loadavg: 13.55 13.45 13.13 18/294 10764
/proc/meminfo: memFree=24246744/32770624 swapFree=5656/329236
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0
[pid=10744] ppid=10743 vsize=13267208 CPUtime=28.04 cores=1,3,5,7,9,11,13,15
/proc/10744/stat : 10744 (java) S 10743 10743 7102 0 -1 1077944320 36112 0 0 0 1185 1619 0 0 20 0 20 0 4450616 13585620992 870600 33554432000 4194304 4196468 140730652976016 140730652958560 140374885859063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
/proc/10744/statm: 3316802 870600 3211 1 0 3304035 0
[pid=10744/tid=10745] ppid=10743 vsize=13267208 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10745/stat : 10745 (java) S 10743 10743 7102 0 -1 1077944384 8704 0 0 0 270 42 0 0 20 0 20 0 4450616 13585620992 870600 33554432000 4194304 4196468 140730652976016 140374890096608 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10747] ppid=10743 vsize=13267208 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10747/stat : 10747 (java) R 10743 10743 7102 0 -1 4202560 2516 0 0 0 103 202 0 0 20 0 20 0 4450617 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374838480216 140374878961780 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10748] ppid=10743 vsize=13267208 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10748/stat : 10748 (java) R 10743 10743 7102 0 -1 4202560 2489 0 0 0 111 197 0 0 20 0 20 0 4450617 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374837427416 140374878961780 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10749] ppid=10743 vsize=13267208 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10749/stat : 10749 (java) R 10743 10743 7102 0 -1 4202560 2756 0 0 0 114 195 0 0 20 0 20 0 4450617 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374836374616 140374878961780 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10750] ppid=10743 vsize=13267208 CPUtime=2.94 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10750/stat : 10750 (java) R 10743 10743 7102 0 -1 4202560 2402 0 0 0 101 193 0 0 20 0 20 0 4450617 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374835321816 140374878962042 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10751] ppid=10743 vsize=13267208 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10751/stat : 10751 (java) R 10743 10743 7102 0 -1 4202560 1643 0 0 0 89 201 0 0 20 0 20 0 4450617 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374834269016 140374878961780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10752] ppid=10743 vsize=13267208 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10752/stat : 10752 (java) R 10743 10743 7102 0 -1 4202560 2353 0 0 0 107 200 0 0 20 0 20 0 4450617 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374833215904 140374878961780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10753] ppid=10743 vsize=13267208 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10753/stat : 10753 (java) R 10743 10743 7102 0 -1 4202560 2469 0 0 0 109 195 0 0 20 0 20 0 4450617 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374479141464 140374878962042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10754] ppid=10743 vsize=13267208 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10754/stat : 10754 (java) R 10743 10743 7102 0 -1 4202560 1919 0 0 0 112 185 0 0 20 0 20 0 4450617 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374478088664 140374878961780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10755] ppid=10743 vsize=13267208 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10755/stat : 10755 (java) S 10743 10743 7102 0 -1 1077944384 2832 0 0 0 3 0 0 0 20 0 20 0 4450619 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374079624608 140374885869269 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10756] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10756/stat : 10756 (java) S 10743 10743 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4450620 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374078572064 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10757] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10757/stat : 10757 (java) S 10743 10743 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4450620 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374077519216 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10758] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10758/stat : 10758 (java) S 10743 10743 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4450624 13585620992 871112 33554432000 4194304 4196468 140730652976016 140374076467536 140374885877659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0

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

[pid=10744/tid=10747] ppid=10743 vsize=13267208 CPUtime=196.86 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10747/stat : 10747 (java) R 10743 10743 7102 0 -1 4202560 10021 0 0 0 19314 372 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374838480216 140374870809668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10748] ppid=10743 vsize=13267208 CPUtime=196.16 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10748/stat : 10748 (java) R 10743 10743 7102 0 -1 4202560 7909 0 0 0 19244 372 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374837426800 140374878487271 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10749] ppid=10743 vsize=13267208 CPUtime=196.33 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10749/stat : 10749 (java) R 10743 10743 7102 0 -1 4202560 12229 0 0 0 19263 370 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374836374000 140374878487271 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10750] ppid=10743 vsize=13267208 CPUtime=195.28 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10750/stat : 10750 (java) R 10743 10743 7102 0 -1 4202560 10707 0 0 0 19156 372 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374835321200 140374878487271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10751] ppid=10743 vsize=13267208 CPUtime=195.78 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10751/stat : 10751 (java) R 10743 10743 7102 0 -1 4202560 11935 0 0 0 19174 404 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374834268400 140374878487271 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10752] ppid=10743 vsize=13267208 CPUtime=195.98 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10752/stat : 10752 (java) R 10743 10743 7102 0 -1 4202560 11373 0 0 0 19220 378 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374833216216 140374870556838 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10753] ppid=10743 vsize=13267208 CPUtime=195.3 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10753/stat : 10753 (java) R 10743 10743 7102 0 -1 4202560 11656 0 0 0 19154 376 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374479141160 140374869242098 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10754] ppid=10743 vsize=13267208 CPUtime=195.61 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10754/stat : 10754 (java) R 10743 10743 7102 0 -1 4202560 11685 0 0 0 19182 379 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374478088360 140374878487271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10755] ppid=10743 vsize=13267208 CPUtime=15.04 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10755/stat : 10755 (java) S 10743 10743 7102 0 -1 1077944384 66220 0 0 0 1486 18 0 0 20 0 20 0 4450619 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374079624416 140374885869269 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10756] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10756/stat : 10756 (java) S 10743 10743 7102 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4450620 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374078572128 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10757] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10757/stat : 10757 (java) S 10743 10743 7102 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4450620 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374077519232 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10758] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10758/stat : 10758 (java) S 10743 10743 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374076467536 140374885877659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10759] ppid=10743 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10759/stat : 10759 (java) S 10743 10743 7102 0 -1 1077944384 4137 0 0 0 48 1 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374075414896 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10760] ppid=10743 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10760/stat : 10760 (java) S 10743 10743 7102 0 -1 1077944384 3732 0 0 0 49 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374074362096 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10761] ppid=10743 vsize=13267208 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10761/stat : 10761 (java) S 10743 10743 7102 0 -1 1077944384 4069 0 0 0 58 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374073309296 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10762] ppid=10743 vsize=13267208 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10762/stat : 10762 (java) S 10743 10743 7102 0 -1 1077944384 2897 0 0 0 31 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374072256496 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10763] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10763/stat : 10763 (java) S 10743 10743 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374071204960 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10764] ppid=10743 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10764/stat : 10764 (java) S 10743 10743 7102 0 -1 1077944384 390 0 0 0 7 4 0 0 20 0 20 0 4450625 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374070152240 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
Current children cumulated CPU time (s) 1651.18
Current children cumulated vsize (KiB) 13276720

[startup+342.301 s]
/proc/loadavg: 15.43 14.21 13.46 17/291 11905
/proc/meminfo: memFree=19830704/32770624 swapFree=5656/329804
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0
[pid=10744] ppid=10743 vsize=13267208 CPUtime=2094.51 cores=1,3,5,7,9,11,13,15
/proc/10744/stat : 10744 (java) S 10743 10743 7102 0 -1 1077944320 208838 0 0 0 206203 3248 0 0 20 0 20 0 4450616 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140730652958560 140374885859063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
/proc/10744/statm: 3316802 2621799 3244 1 0 3304035 0
[pid=10744/tid=10745] ppid=10743 vsize=13267208 CPUtime=67.56 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10745/stat : 10745 (java) S 10743 10743 7102 0 -1 1077944384 21226 0 0 0 6663 93 0 0 20 0 20 0 4450616 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374890097024 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10747] ppid=10743 vsize=13267208 CPUtime=251.75 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10747/stat : 10747 (java) R 10743 10743 7102 0 -1 4202560 10825 0 0 0 24789 386 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374838479912 140374878487271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10748] ppid=10743 vsize=13267208 CPUtime=251.11 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10748/stat : 10748 (java) R 10743 10743 7102 0 -1 4202560 9101 0 0 0 24726 385 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374837427416 140374870810162 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10749] ppid=10743 vsize=13267208 CPUtime=251.44 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10749/stat : 10749 (java) R 10743 10743 7102 0 -1 4202560 13123 0 0 0 24762 382 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374836374312 140374878487271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10750] ppid=10743 vsize=13267208 CPUtime=250.12 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10750/stat : 10750 (java) R 10743 10743 7102 0 -1 4202560 11531 0 0 0 24628 384 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374835321816 140374870556838 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10751] ppid=10743 vsize=13267208 CPUtime=250.86 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10751/stat : 10751 (java) R 10743 10743 7102 0 -1 4202560 13035 0 0 0 24669 417 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374834268712 140374878487271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10752] ppid=10743 vsize=13267208 CPUtime=250.65 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10752/stat : 10752 (java) R 10743 10743 7102 0 -1 4202560 12181 0 0 0 24670 395 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374833215912 140374878487271 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10753] ppid=10743 vsize=13267208 CPUtime=250.14 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10753/stat : 10753 (java) R 10743 10743 7102 0 -1 4202560 12527 0 0 0 24626 388 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374479141160 140374878487271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10754] ppid=10743 vsize=13267208 CPUtime=250.68 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10754/stat : 10754 (java) R 10743 10743 7102 0 -1 4202560 12509 0 0 0 24678 390 0 0 20 0 20 0 4450617 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374478088048 140374878487271 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10755] ppid=10743 vsize=13267208 CPUtime=18.07 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10755/stat : 10755 (java) S 10743 10743 7102 0 -1 1077944384 76143 0 0 0 1789 18 0 0 20 0 20 0 4450619 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374079624416 140374885869269 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10756] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10756/stat : 10756 (java) S 10743 10743 7102 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4450620 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374078572128 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10757] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10757/stat : 10757 (java) S 10743 10743 7102 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4450620 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374077519232 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10758] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10758/stat : 10758 (java) S 10743 10743 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374076467536 140374885877659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10759] ppid=10743 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10759/stat : 10759 (java) S 10743 10743 7102 0 -1 1077944384 4139 0 0 0 48 1 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374075414896 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10760] ppid=10743 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10760/stat : 10760 (java) S 10743 10743 7102 0 -1 1077944384 3734 0 0 0 49 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374074362096 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10761] ppid=10743 vsize=13267208 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10761/stat : 10761 (java) S 10743 10743 7102 0 -1 1077944384 4081 0 0 0 58 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374073309296 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10762] ppid=10743 vsize=13267208 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10762/stat : 10762 (java) S 10743 10743 7102 0 -1 1077944384 2899 0 0 0 31 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374072256496 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10763] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10763/stat : 10763 (java) S 10743 10743 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4450624 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374071204960 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10764] ppid=10743 vsize=13267208 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10764/stat : 10764 (java) S 10743 10743 7102 0 -1 1077944384 439 0 0 0 9 5 0 0 20 0 20 0 4450625 13585620992 2621799 33554432000 4194304 4196468 140730652976016 140374070152240 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
Current children cumulated CPU time (s) 2094.51
Current children cumulated vsize (KiB) 13276720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+383.601 s]
/proc/loadavg: 15.11 14.28 13.51 17/291 11905
/proc/meminfo: memFree=19737408/32770624 swapFree=5656/329836
[pid=10743] ppid=10740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10743/stat : 10743 (xcsp3-exec) S 10740 10743 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450615 9740288 346 33554432000 4194304 5098028 140722754051648 140722754049752 140336514491004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10326016 140722754057359 140722754057568 140722754057568 140722754060267 0
/proc/10743/statm: 2378 346 289 221 0 87 0
[pid=10744] ppid=10743 vsize=13267208 CPUtime=2400.29 cores=1,3,5,7,9,11,13,15
/proc/10744/stat : 10744 (java) S 10743 10743 7102 0 -1 1077944320 233072 0 0 0 236703 3326 0 0 20 0 20 0 4450616 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140730652958560 140374885859063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
/proc/10744/statm: 3316802 2621837 3244 1 0 3304035 0
[pid=10744/tid=10745] ppid=10743 vsize=13267208 CPUtime=67.9 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10745/stat : 10745 (java) S 10743 10743 7102 0 -1 1077944384 21283 0 0 0 6697 93 0 0 20 0 20 0 4450616 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374890096992 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10747] ppid=10743 vsize=13267208 CPUtime=289.58 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10747/stat : 10747 (java) R 10743 10743 7102 0 -1 4202560 11200 0 0 0 28562 396 0 0 20 0 20 0 4450617 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374838479912 140374869242098 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10748] ppid=10743 vsize=13267208 CPUtime=289.09 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10748/stat : 10748 (java) R 10743 10743 7102 0 -1 4202560 9787 0 0 0 28515 394 0 0 20 0 20 0 4450617 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374837427416 140374870809688 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10749] ppid=10743 vsize=13267208 CPUtime=289.46 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10749/stat : 10749 (java) R 10743 10743 7102 0 -1 4202560 13778 0 0 0 28557 389 0 0 20 0 20 0 4450617 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374836374616 140374870556815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10750] ppid=10743 vsize=13267208 CPUtime=288.09 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10750/stat : 10750 (java) R 10743 10743 7102 0 -1 4202560 11968 0 0 0 28417 392 0 0 20 0 20 0 4450617 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374835321816 140374865885521 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10751] ppid=10743 vsize=13267208 CPUtime=288.43 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10751/stat : 10751 (java) R 10743 10743 7102 0 -1 4202560 13392 0 0 0 28415 428 0 0 20 0 20 0 4450617 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374834268704 140374865885280 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10752] ppid=10743 vsize=13267208 CPUtime=288.62 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10752/stat : 10752 (java) R 10743 10743 7102 0 -1 4202560 13267 0 0 0 28458 404 0 0 20 0 20 0 4450617 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374833216216 140374865885606 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10753] ppid=10743 vsize=13267208 CPUtime=288.15 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10753/stat : 10753 (java) R 10743 10743 7102 0 -1 4202560 13254 0 0 0 28416 399 0 0 20 0 20 0 4450617 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374479141160 140374878487271 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10754] ppid=10743 vsize=13267208 CPUtime=288.5 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10754/stat : 10754 (java) R 10743 10743 7102 0 -1 4202560 13203 0 0 0 28449 401 0 0 20 0 20 0 4450617 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374478088664 140374870556702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10755] ppid=10743 vsize=13267208 CPUtime=20.29 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10755/stat : 10755 (java) S 10743 10743 7102 0 -1 1077944384 95258 0 0 0 2011 18 0 0 20 0 20 0 4450619 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374079624416 140374885869269 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10756] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10756/stat : 10756 (java) S 10743 10743 7102 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4450620 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374078572128 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10757] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10757/stat : 10757 (java) S 10743 10743 7102 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4450620 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374077519232 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10758] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10758/stat : 10758 (java) S 10743 10743 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4450624 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374076467536 140374885877659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10759] ppid=10743 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10759/stat : 10759 (java) S 10743 10743 7102 0 -1 1077944384 4143 0 0 0 48 1 0 0 20 0 20 0 4450624 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374075414896 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10760] ppid=10743 vsize=13267208 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10760/stat : 10760 (java) S 10743 10743 7102 0 -1 1077944384 3741 0 0 0 49 0 0 0 20 0 20 0 4450624 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374074362096 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10761] ppid=10743 vsize=13267208 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10761/stat : 10761 (java) S 10743 10743 7102 0 -1 1077944384 4090 0 0 0 58 0 0 0 20 0 20 0 4450624 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374073309296 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10762] ppid=10743 vsize=13267208 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10762/stat : 10762 (java) S 10743 10743 7102 0 -1 1077944384 2903 0 0 0 31 0 0 0 20 0 20 0 4450624 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374072256496 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10763] ppid=10743 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10763/stat : 10763 (java) S 10743 10743 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4450624 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374071204960 140374885869269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
[pid=10744/tid=10764] ppid=10743 vsize=13267208 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/10744/task/10764/stat : 10764 (java) S 10743 10743 7102 0 -1 1077944384 460 0 0 0 10 5 0 0 20 0 20 0 4450625 13585620992 2621837 33554432000 4194304 4196468 140730652976016 140374070152240 140374885870210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8249344 140730652984508 140730652984684 140730652984684 140730652987343 0
Current children cumulated CPU time (s) 2400.29
Current children cumulated vsize (KiB) 13276720

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10743 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2018
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1009
# CPU time returned by wait4() is 0.003027
# while last known CPU time is 2400.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 383.611
CPU time (s): 2400.29
CPU user time (s): 2367.03
CPU system time (s): 33.26
CPU usage (%): 625.71
Max. virtual memory (cumulated for all children) (KiB): 13276720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002018
system time used= 0.001009
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6049 second user time and 4.04313 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 04:50:31
IDJOB=4248257
IDBENCH=133254
IDSOLVER=2626
FILE ID=node130/4248257-1500691819
RUNJOBID= node130-1500684118-8560
PBS_JOBID= 20623029
Free space on /tmp= 60788 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/MagicSquare/MagicSquare-table-s1/MagicSquare-6-table.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248257-1500691819/watcher-4248257-1500691819 -o /tmp/evaluation-result-4248257-1500691819/solver-4248257-1500691819 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 695849268 HOME/instance-4248257-1500691819.xml

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

MD5SUM BENCH= cfc552cbb2ce3301e89528d2cd5bb011
RANDOM SEED=695849268

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27025604 kB
MemAvailable:   28440152 kB
Buffers:          117968 kB
Cached:          1562228 kB
SwapCached:            0 kB
Active:          4892920 kB
Inactive:         338120 kB
Active(anon):    3553468 kB
Inactive(anon):     8888 kB
Active(file):    1339452 kB
Inactive(file):   329232 kB
Unevictable:        5656 kB
Mlocked:            5656 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            310012 kB
Writeback:         81532 kB
AnonPages:       3556500 kB
Mapped:            42472 kB
Shmem:              8844 kB
Slab:             202140 kB
SReclaimable:     123396 kB
SUnreclaim:        78744 kB
KernelStack:        4672 kB
PageTables:        12292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4449416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3442688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 60780 MiB
End job on node130 at 2017-07-22 04:56:55