Trace number 4249721

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)? 212.066 107.214

General information on the benchmark

NameBinPacking/BinPacking-tab-sw120/
BinPacking-tab-sw120-31.xml
MD5SUM67c04303171609b86978ceecc7dcafe8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints25
Number of domains2
Minimum domain size23
Maximum domain size46
Distribution of domain sizes[{"size":23,"count":1},{"size":46,"count":132}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}]
Minimum constraint arity6
Maximum constraint arity132
Distribution of constraint arities[{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}]
Number of extensional constraints22
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249721-1500695884.xml"  -tl '2400s' -p 8 -x 3
0.00/0.16	c [HOME/instance-4249721-1500695884.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.21	c 8 solvers in parallel
0.00/0.28	c parse instance...
211.96/107.13	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
211.96/107.13		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98)
211.96/107.13		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
211.96/107.13		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1853)
211.96/107.13		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1809)
211.96/107.13		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313)
211.96/107.13		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
211.96/107.13		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
211.96/107.13		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
211.96/107.13		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
211.96/107.13		at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source)
211.96/107.13		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
211.96/107.13		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
211.96/107.13		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
211.96/107.13		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
211.96/107.13		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
211.96/107.13		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
211.96/107.13		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
211.96/107.13		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
211.96/107.13		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:114)
211.96/107.13		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:101)
211.96/107.13		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
211.96/107.13	s UNKNOWN
211.96/107.13	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=16859
running on 8 cores: 0,2,4,6,8,10,12,14

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: 15.45 15.10 14.51 10/270 16862
/proc/meminfo: memFree=28341848/32770624 swapFree=5656/334704
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0

[startup+0.100121 s]
/proc/loadavg: 15.45 15.10 14.51 10/270 16862
/proc/meminfo: memFree=28341848/32770624 swapFree=5656/334704
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200344 s]
/proc/loadavg: 15.45 15.10 14.51 10/270 16862
/proc/meminfo: memFree=28341848/32770624 swapFree=5656/334704
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300287 s]
/proc/loadavg: 15.45 15.10 14.51 10/270 16862
/proc/meminfo: memFree=28341848/32770624 swapFree=5656/334704
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700529 s]
/proc/loadavg: 15.45 15.10 14.51 10/270 16862
/proc/meminfo: memFree=28341848/32770624 swapFree=5656/334704
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50111 s]
/proc/loadavg: 15.45 15.10 14.51 19/291 16883
/proc/meminfo: memFree=27270468/32770624 swapFree=5656/334680
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
[pid=16863] ppid=16862 vsize=13267208 CPUtime=4.48 cores=0,2,4,6,8,10,12,14
/proc/16863/stat : 16863 (java) S 16862 16862 7102 0 -1 1077944320 14520 0 0 0 355 93 0 0 20 0 20 0 4855988 13585620992 276552 33554432000 4194304 4196468 140724102215488 140724102198032 140389473804023 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
/proc/16863/statm: 3316802 276552 3223 1 0 3304035 0
[pid=16863/tid=16864] ppid=16862 vsize=13267208 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16864/stat : 16864 (java) R 16862 16862 7102 0 -1 4202560 7390 0 0 0 98 17 0 0 20 0 20 0 4855989 13585620992 276552 33554432000 4194304 4196468 140724102215488 140389478041872 140389078856371 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16866] ppid=16862 vsize=13267208 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16866/stat : 16866 (java) S 16862 16862 7102 0 -1 1077944384 150 0 0 0 17 9 0 0 20 0 20 0 4855990 13585620992 276552 33554432000 4194304 4196468 140724102215488 140389405939984 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16867] ppid=16862 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16867/stat : 16867 (java) S 16862 16862 7102 0 -1 1077944384 121 0 0 0 13 9 0 0 20 0 20 0 4855990 13585620992 276552 33554432000 4194304 4196468 140724102215488 140389404887440 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16868] ppid=16862 vsize=13267208 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16868/stat : 16868 (java) S 16862 16862 7102 0 -1 1077944384 128 0 0 0 20 9 0 0 20 0 20 0 4855990 13585620992 276552 33554432000 4194304 4196468 140724102215488 140389403834896 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16869] ppid=16862 vsize=13267208 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16869/stat : 16869 (java) S 16862 16862 7102 0 -1 1077944384 110 0 0 0 20 9 0 0 20 0 20 0 4855990 13585620992 276552 33554432000 4194304 4196468 140724102215488 140389402782352 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16870] ppid=16862 vsize=13267208 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16870/stat : 16870 (java) S 16862 16862 7102 0 -1 1077944384 282 0 0 0 21 8 0 0 20 0 20 0 4855990 13585620992 276552 33554432000 4194304 4196468 140724102215488 140389401729808 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16871] ppid=16862 vsize=13267208 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16871/stat : 16871 (java) S 16862 16862 7102 0 -1 1077944384 66 0 0 0 20 9 0 0 20 0 20 0 4855990 13585620992 276552 33554432000 4194304 4196468 140724102215488 140389400677264 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16872] ppid=16862 vsize=13267208 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16872/stat : 16872 (java) S 16862 16862 7102 0 -1 1077944384 59 0 0 0 12 8 0 0 20 0 20 0 4855990 13585620992 276552 33554432000 4194304 4196468 140724102215488 140389399624720 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16873] ppid=16862 vsize=13267208 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16873/stat : 16873 (java) S 16862 16862 7102 0 -1 1077944384 72 0 0 0 18 9 0 0 20 0 20 0 4855990 13585620992 276552 33554432000 4194304 4196468 140724102215488 140389398572176 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16874] ppid=16862 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16874/stat : 16874 (java) S 16862 16862 7102 0 -1 1077944384 586 0 0 0 1 0 0 0 20 0 20 0 4855991 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388936022000 140389473815170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16875] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16875/stat : 16875 (java) S 16862 16862 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4855992 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388934968288 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16876] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16876/stat : 16876 (java) S 16862 16862 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4855992 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388933915648 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16877] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16877/stat : 16877 (java) S 16862 16862 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4855995 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388932864208 140389473822619 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16878] ppid=16862 vsize=13267208 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16878/stat : 16878 (java) S 16862 16862 7102 0 -1 1077944384 1265 0 0 0 41 0 0 0 20 0 20 0 4855995 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388931811824 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16879] ppid=16862 vsize=13267208 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16879/stat : 16879 (java) S 16862 16862 7102 0 -1 1077944384 813 0 0 0 23 0 0 0 20 0 20 0 4855995 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388930759280 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16880] ppid=16862 vsize=13267208 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16880/stat : 16880 (java) S 16862 16862 7102 0 -1 1077944384 926 0 0 0 21 0 0 0 20 0 20 0 4855995 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388929706736 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16881] ppid=16862 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16881/stat : 16881 (java) S 16862 16862 7102 0 -1 1077944384 1257 0 0 0 22 0 0 0 20 0 20 0 4855995 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388928654192 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16882] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16882/stat : 16882 (java) S 16862 16862 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4855995 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388927600864 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16883] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16883/stat : 16883 (java) S 16862 16862 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4855996 13585620992 276552 33554432000 4194304 4196468 140724102215488 140388926548400 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 13276720

[startup+3.10084 s]
/proc/loadavg: 15.45 15.10 14.51 10/291 16883
/proc/meminfo: memFree=27069612/32770624 swapFree=5656/334684
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
[pid=16863] ppid=16862 vsize=13267208 CPUtime=7.47 cores=0,2,4,6,8,10,12,14
/proc/16863/stat : 16863 (java) S 16862 16862 7102 0 -1 1077944320 19455 0 0 0 579 168 0 0 20 0 20 0 4855988 13585620992 360387 33554432000 4194304 4196468 140724102215488 140724102198032 140389473804023 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
/proc/16863/statm: 3316802 360387 3231 1 0 3304035 0
[pid=16863/tid=16864] ppid=16862 vsize=13267208 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16864/stat : 16864 (java) R 16862 16862 7102 0 -1 4202560 8227 0 0 0 234 19 0 0 20 0 20 0 4855989 13585620992 360387 33554432000 4194304 4196468 140724102215488 140389478041920 140389079087336 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16866] ppid=16862 vsize=13267208 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16866/stat : 16866 (java) S 16862 16862 7102 0 -1 1077944384 695 0 0 0 28 18 0 0 20 0 20 0 4855990 13585620992 360387 33554432000 4194304 4196468 140724102215488 140389405939984 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16867] ppid=16862 vsize=13267208 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16867/stat : 16867 (java) S 16862 16862 7102 0 -1 1077944384 487 0 0 0 24 18 0 0 20 0 20 0 4855990 13585620992 360387 33554432000 4194304 4196468 140724102215488 140389404887440 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16868] ppid=16862 vsize=13267208 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16868/stat : 16868 (java) S 16862 16862 7102 0 -1 1077944384 554 0 0 0 32 18 0 0 20 0 20 0 4855990 13585620992 360387 33554432000 4194304 4196468 140724102215488 140389403834896 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16869] ppid=16862 vsize=13267208 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16869/stat : 16869 (java) S 16862 16862 7102 0 -1 1077944384 663 0 0 0 31 19 0 0 20 0 20 0 4855990 13585620992 360387 33554432000 4194304 4196468 140724102215488 140389402782352 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16870] ppid=16862 vsize=13267208 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16870/stat : 16870 (java) S 16862 16862 7102 0 -1 1077944384 573 0 0 0 32 16 0 0 20 0 20 0 4855990 13585620992 360387 33554432000 4194304 4196468 140724102215488 140389401729808 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16871] ppid=16862 vsize=13267208 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16871/stat : 16871 (java) S 16862 16862 7102 0 -1 1077944384 600 0 0 0 32 18 0 0 20 0 20 0 4855990 13585620992 360387 33554432000 4194304 4196468 140724102215488 140389400677264 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16872] ppid=16862 vsize=13267208 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16872/stat : 16872 (java) S 16862 16862 7102 0 -1 1077944384 538 0 0 0 23 17 0 0 20 0 20 0 4855990 13585620992 360387 33554432000 4194304 4196468 140724102215488 140389399624720 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16873] ppid=16862 vsize=13267208 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16873/stat : 16873 (java) S 16862 16862 7102 0 -1 1077944384 494 0 0 0 29 17 0 0 20 0 20 0 4855990 13585620992 360387 33554432000 4194304 4196468 140724102215488 140389398572176 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16874] ppid=16862 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16874/stat : 16874 (java) S 16862 16862 7102 0 -1 1077944384 1047 0 0 0 1 0 0 0 20 0 20 0 4855991 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388936022000 140389473815170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16875] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16875/stat : 16875 (java) S 16862 16862 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4855992 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388934968288 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16876] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16876/stat : 16876 (java) S 16862 16862 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4855992 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388933915648 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16877] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16877/stat : 16877 (java) S 16862 16862 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4855995 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388932864208 140389473822619 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16878] ppid=16862 vsize=13267208 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16878/stat : 16878 (java) S 16862 16862 7102 0 -1 1077944384 1265 0 0 0 41 0 0 0 20 0 20 0 4855995 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388931811824 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16879] ppid=16862 vsize=13267208 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16879/stat : 16879 (java) S 16862 16862 7102 0 -1 1077944384 813 0 0 0 23 0 0 0 20 0 20 0 4855995 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388930759280 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16880] ppid=16862 vsize=13267208 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16880/stat : 16880 (java) S 16862 16862 7102 0 -1 1077944384 926 0 0 0 21 0 0 0 20 0 20 0 4855995 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388929706736 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16881] ppid=16862 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16881/stat : 16881 (java) S 16862 16862 7102 0 -1 1077944384 1257 0 0 0 22 0 0 0 20 0 20 0 4855995 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388928654192 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16882] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16882/stat : 16882 (java) S 16862 16862 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4855995 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388927600864 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16883] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16883/stat : 16883 (java) S 16862 16862 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4855996 13585620992 360387 33554432000 4194304 4196468 140724102215488 140388926548400 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 13276720

[startup+6.30102 s]
/proc/loadavg: 15.09 15.03 14.49 17/291 16883
/proc/meminfo: memFree=26478576/32770624 swapFree=5656/334700
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
[pid=16863] ppid=16862 vsize=13267208 CPUtime=13.47 cores=0,2,4,6,8,10,12,14
/proc/16863/stat : 16863 (java) S 16862 16862 7102 0 -1 1077944320 25867 0 0 0 1025 322 0 0 20 0 20 0 4855988 13585620992 479070 33554432000 4194304 4196468 140724102215488 140724102198032 140389473804023 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
/proc/16863/statm: 3316802 479070 3242 1 0 3304035 0
[pid=16863/tid=16864] ppid=16862 vsize=13267208 CPUtime=5.31 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16864/stat : 16864 (java) R 16862 16862 7102 0 -1 4202560 9701 0 0 0 510 21 0 0 20 0 20 0 4855989 13585620992 479070 33554432000 4194304 4196468 140724102215488 140389478040008 140389456267146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16866] ppid=16862 vsize=13267208 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16866/stat : 16866 (java) S 16862 16862 7102 0 -1 1077944384 1047 0 0 0 48 37 0 0 20 0 20 0 4855990 13585620992 479070 33554432000 4194304 4196468 140724102215488 140389405939984 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16867] ppid=16862 vsize=13267208 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16867/stat : 16867 (java) S 16862 16862 7102 0 -1 1077944384 850 0 0 0 45 38 0 0 20 0 20 0 4855990 13585620992 479070 33554432000 4194304 4196468 140724102215488 140389404887440 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16868] ppid=16862 vsize=13267208 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16868/stat : 16868 (java) S 16862 16862 7102 0 -1 1077944384 911 0 0 0 53 38 0 0 20 0 20 0 4855990 13585620992 479070 33554432000 4194304 4196468 140724102215488 140389403834896 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16869] ppid=16862 vsize=13267208 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16869/stat : 16869 (java) S 16862 16862 7102 0 -1 1077944384 1031 0 0 0 47 36 0 0 20 0 20 0 4855990 13585620992 479070 33554432000 4194304 4196468 140724102215488 140389402782352 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16870] ppid=16862 vsize=13267208 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16870/stat : 16870 (java) S 16862 16862 7102 0 -1 1077944384 920 0 0 0 49 34 0 0 20 0 20 0 4855990 13585620992 479070 33554432000 4194304 4196468 140724102215488 140389401729808 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16871] ppid=16862 vsize=13267208 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16871/stat : 16871 (java) S 16862 16862 7102 0 -1 1077944384 999 0 0 0 55 35 0 0 20 0 20 0 4855990 13585620992 479070 33554432000 4194304 4196468 140724102215488 140389400677264 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16872] ppid=16862 vsize=13267208 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16872/stat : 16872 (java) S 16862 16862 7102 0 -1 1077944384 893 0 0 0 43 37 0 0 20 0 20 0 4855990 13585620992 479070 33554432000 4194304 4196468 140724102215488 140389399624720 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16873] ppid=16862 vsize=13267208 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16873/stat : 16873 (java) S 16862 16862 7102 0 -1 1077944384 846 0 0 0 48 37 0 0 20 0 20 0 4855990 13585620992 479070 33554432000 4194304 4196468 140724102215488 140389398572176 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16874] ppid=16862 vsize=13267208 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16874/stat : 16874 (java) S 16862 16862 7102 0 -1 1077944384 1279 0 0 0 2 0 0 0 20 0 20 0 4855991 13585620992 479070 33554432000 4194304 4196468 140724102215488 140388936022000 140389473815170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16875] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16875/stat : 16875 (java) S 16862 16862 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4855992 13585620992 479070 33554432000 4194304 4196468 140724102215488 140388934968288 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16876] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16876/stat : 16876 (java) S 16862 16862 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4855992 13585620992 479070 33554432000 4194304 4196468 140724102215488 140388933915648 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16877] ppid=16862 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16877/stat : 16877 (java) S 16862 16862 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4855995 13585620992 479070 33554432000 4194304 4196468 140724102215488 140388932864208 140389473822619 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0

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

/proc/16863/task/16883/stat : 16883 (java) S 16862 16862 7102 0 -1 1077944384 640 0 0 0 3 3 0 0 20 0 20 0 4855996 13587718144 2382870 33554432000 4194304 4196468 140724102215488 140388926548400 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
Current children cumulated CPU time (s) 186.68
Current children cumulated vsize (KiB) 13278768

[startup+105.801 s]
/proc/loadavg: 9.25 13.13 13.88 11/283 19218
/proc/meminfo: memFree=21560064/32770624 swapFree=5656/335108
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
[pid=16863] ppid=16862 vsize=13269256 CPUtime=204.61 cores=0,2,4,6,8,10,12,14
/proc/16863/stat : 16863 (java) S 16862 16862 7102 0 -1 1077944320 315257 0 0 0 17324 3137 0 0 20 0 20 0 4855988 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140724102198032 140389473804023 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
/proc/16863/statm: 3317314 2453095 3249 1 0 3304547 0
[pid=16863/tid=16864] ppid=16862 vsize=13269256 CPUtime=88.22 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16864/stat : 16864 (java) S 16862 16862 7102 0 -1 1077944384 22071 0 0 0 8800 22 0 0 20 0 20 0 4855989 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389478042240 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16866] ppid=16862 vsize=13269256 CPUtime=13.97 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16866/stat : 16866 (java) R 16862 16862 7102 0 -1 4202560 15688 0 0 0 1014 383 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389405940104 140389466432231 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16867] ppid=16862 vsize=13269256 CPUtime=13.96 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16867/stat : 16867 (java) R 16862 16862 7102 0 -1 4202560 23303 0 0 0 1016 380 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389404887560 140389466432231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16868] ppid=16862 vsize=13269256 CPUtime=13.76 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16868/stat : 16868 (java) R 16862 16862 7102 0 -1 4202560 26954 0 0 0 970 406 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389403835016 140389459562832 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16869] ppid=16862 vsize=13269256 CPUtime=13.98 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16869/stat : 16869 (java) R 16862 16862 7102 0 -1 4202560 20736 0 0 0 1021 377 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389402782472 140389466432231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16870] ppid=16862 vsize=13269256 CPUtime=13.97 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16870/stat : 16870 (java) R 16862 16862 7102 0 -1 4202560 21916 0 0 0 989 408 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389401729928 140389466432231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16871] ppid=16862 vsize=13269256 CPUtime=14 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16871/stat : 16871 (java) R 16862 16862 7102 0 -1 4202560 17483 0 0 0 1021 379 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389400677384 140389466432231 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16872] ppid=16862 vsize=13269256 CPUtime=13.72 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16872/stat : 16872 (java) R 16862 16862 7102 0 -1 4202560 122303 0 0 0 1013 359 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389399624920 140389466907047 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16873] ppid=16862 vsize=13269256 CPUtime=13.9 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16873/stat : 16873 (java) R 16862 16862 7102 0 -1 4202560 19484 0 0 0 983 407 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389398572296 140389466432231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16874] ppid=16862 vsize=13269256 CPUtime=3.36 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16874/stat : 16874 (java) S 16862 16862 7102 0 -1 1077944384 12941 0 0 0 334 2 0 0 20 0 20 0 4855991 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388936020560 140389473814229 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16875] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16875/stat : 16875 (java) S 16862 16862 7102 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4855992 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388934968288 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16876] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16876/stat : 16876 (java) S 16862 16862 7102 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 4855992 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388933915648 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16877] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16877/stat : 16877 (java) S 16862 16862 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388932864208 140389473822619 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16878] ppid=16862 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16878/stat : 16878 (java) S 16862 16862 7102 0 -1 1077944384 2544 0 0 0 53 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388931811872 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16879] ppid=16862 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16879/stat : 16879 (java) S 16862 16862 7102 0 -1 1077944384 2538 0 0 0 35 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388930759040 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16880] ppid=16862 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16880/stat : 16880 (java) S 16862 16862 7102 0 -1 1077944384 2369 0 0 0 35 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388929706784 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16881] ppid=16862 vsize=13269256 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16881/stat : 16881 (java) S 16862 16862 7102 0 -1 1077944384 2940 0 0 0 31 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388928654240 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16882] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16882/stat : 16882 (java) S 16862 16862 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388927600864 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16883] ppid=16862 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16883/stat : 16883 (java) S 16862 16862 7102 0 -1 1077944384 640 0 0 0 3 3 0 0 20 0 20 0 4855996 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388926548400 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 13278768

[startup+106.601 s]
/proc/loadavg: 9.25 13.13 13.88 11/283 19218
/proc/meminfo: memFree=21560064/32770624 swapFree=5656/335108
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
[pid=16863] ppid=16862 vsize=13269256 CPUtime=210.78 cores=0,2,4,6,8,10,12,14
/proc/16863/stat : 16863 (java) S 16862 16862 7102 0 -1 1077944320 330919 0 0 0 17937 3141 0 0 20 0 20 0 4855988 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140724102198032 140389473804023 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
/proc/16863/statm: 3317314 2453095 3249 1 0 3304547 0
[pid=16863/tid=16864] ppid=16862 vsize=13269256 CPUtime=88.22 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16864/stat : 16864 (java) S 16862 16862 7102 0 -1 1077944384 22071 0 0 0 8800 22 0 0 20 0 20 0 4855989 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389478042240 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16866] ppid=16862 vsize=13269256 CPUtime=14.74 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16866/stat : 16866 (java) R 16862 16862 7102 0 -1 4202560 15688 0 0 0 1090 384 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389405939792 140389466432231 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16867] ppid=16862 vsize=13269256 CPUtime=14.74 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16867/stat : 16867 (java) R 16862 16862 7102 0 -1 4202560 23303 0 0 0 1093 381 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389404887560 140389466432231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16868] ppid=16862 vsize=13269256 CPUtime=14.52 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16868/stat : 16868 (java) R 16862 16862 7102 0 -1 1077944384 26954 0 0 0 1045 407 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389403834704 140389473815170 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16869] ppid=16862 vsize=13269256 CPUtime=14.75 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16869/stat : 16869 (java) R 16862 16862 7102 0 -1 4202560 20736 0 0 0 1097 378 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389402782472 140389466432231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16870] ppid=16862 vsize=13269256 CPUtime=14.73 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16870/stat : 16870 (java) R 16862 16862 7102 0 -1 4202560 21916 0 0 0 1065 408 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389401729928 140389466432231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16871] ppid=16862 vsize=13269256 CPUtime=14.77 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16871/stat : 16871 (java) R 16862 16862 7102 0 -1 4202560 17483 0 0 0 1097 380 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389400677384 140389466432231 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16872] ppid=16862 vsize=13269256 CPUtime=14.51 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16872/stat : 16872 (java) R 16862 16862 7102 0 -1 4202560 137965 0 0 0 1091 360 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389399624920 140389458505027 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16873] ppid=16862 vsize=13269256 CPUtime=14.68 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16873/stat : 16873 (java) R 16862 16862 7102 0 -1 4202560 19484 0 0 0 1060 408 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389398572296 140389466432231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16874] ppid=16862 vsize=13269256 CPUtime=3.36 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16874/stat : 16874 (java) S 16862 16862 7102 0 -1 1077944384 12941 0 0 0 334 2 0 0 20 0 20 0 4855991 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388936020560 140389473814229 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16875] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16875/stat : 16875 (java) S 16862 16862 7102 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4855992 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388934968288 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16876] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16876/stat : 16876 (java) S 16862 16862 7102 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 4855992 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388933915648 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16877] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16877/stat : 16877 (java) S 16862 16862 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388932864208 140389473822619 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16878] ppid=16862 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16878/stat : 16878 (java) S 16862 16862 7102 0 -1 1077944384 2544 0 0 0 53 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388931811872 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16879] ppid=16862 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16879/stat : 16879 (java) S 16862 16862 7102 0 -1 1077944384 2538 0 0 0 35 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388930759040 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16880] ppid=16862 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16880/stat : 16880 (java) S 16862 16862 7102 0 -1 1077944384 2369 0 0 0 35 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388929706784 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16881] ppid=16862 vsize=13269256 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16881/stat : 16881 (java) S 16862 16862 7102 0 -1 1077944384 2940 0 0 0 31 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388928654240 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16882] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16882/stat : 16882 (java) S 16862 16862 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388927600864 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16883] ppid=16862 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16883/stat : 16883 (java) S 16862 16862 7102 0 -1 1077944384 640 0 0 0 3 3 0 0 20 0 20 0 4855996 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388926548400 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
Current children cumulated CPU time (s) 210.78
Current children cumulated vsize (KiB) 13278768

[startup+107.009 s]
/proc/loadavg: 9.25 13.13 13.88 10/283 19218
/proc/meminfo: memFree=21192948/32770624 swapFree=5656/335108
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
[pid=16863] ppid=16862 vsize=13269256 CPUtime=211.86 cores=0,2,4,6,8,10,12,14
/proc/16863/stat : 16863 (java) S 16862 16862 7102 0 -1 1077944320 331847 0 0 0 18044 3142 0 0 20 0 20 0 4855988 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140724102198032 140389473804023 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
/proc/16863/statm: 3317314 2453095 3249 1 0 3304547 0
[pid=16863/tid=16864] ppid=16862 vsize=13269256 CPUtime=88.22 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16864/stat : 16864 (java) S 16862 16862 7102 0 -1 1077944384 22071 0 0 0 8800 22 0 0 20 0 20 0 4855989 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389478042240 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16866] ppid=16862 vsize=13269256 CPUtime=14.84 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16866/stat : 16866 (java) S 16862 16862 7102 0 -1 1077944384 15688 0 0 0 1100 384 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389405939984 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16867] ppid=16862 vsize=13269256 CPUtime=14.83 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16867/stat : 16867 (java) S 16862 16862 7102 0 -1 1077944384 23303 0 0 0 1102 381 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389404887440 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16868] ppid=16862 vsize=13269256 CPUtime=14.62 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16868/stat : 16868 (java) S 16862 16862 7102 0 -1 1077944384 26954 0 0 0 1055 407 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389403834896 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16869] ppid=16862 vsize=13269256 CPUtime=14.85 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16869/stat : 16869 (java) S 16862 16862 7102 0 -1 1077944384 20736 0 0 0 1107 378 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389402782352 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16870] ppid=16862 vsize=13269256 CPUtime=14.83 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16870/stat : 16870 (java) S 16862 16862 7102 0 -1 1077944384 21916 0 0 0 1075 408 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389401729808 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16871] ppid=16862 vsize=13269256 CPUtime=14.87 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16871/stat : 16871 (java) S 16862 16862 7102 0 -1 1077944384 17483 0 0 0 1107 380 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389400677264 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16872] ppid=16862 vsize=13269256 CPUtime=14.61 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16872/stat : 16872 (java) S 16862 16862 7102 0 -1 1077944384 138893 0 0 0 1101 360 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389399624720 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16873] ppid=16862 vsize=13269256 CPUtime=14.78 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16873/stat : 16873 (java) S 16862 16862 7102 0 -1 1077944384 19484 0 0 0 1070 408 0 0 20 0 20 0 4855990 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140389398572176 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16874] ppid=16862 vsize=13269256 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16874/stat : 16874 (java) R 16862 16862 7102 0 -1 4202560 12941 0 0 0 364 2 0 0 20 0 20 0 4855991 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388936020448 140389458261593 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16875] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16875/stat : 16875 (java) S 16862 16862 7102 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4855992 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388934968288 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16876] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16876/stat : 16876 (java) S 16862 16862 7102 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 4855992 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388933915648 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16877] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16877/stat : 16877 (java) S 16862 16862 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388932864208 140389473822619 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16878] ppid=16862 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16878/stat : 16878 (java) S 16862 16862 7102 0 -1 1077944384 2544 0 0 0 53 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388931811872 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16879] ppid=16862 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16879/stat : 16879 (java) S 16862 16862 7102 0 -1 1077944384 2538 0 0 0 35 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388930759040 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16880] ppid=16862 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16880/stat : 16880 (java) S 16862 16862 7102 0 -1 1077944384 2369 0 0 0 35 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388929706784 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16881] ppid=16862 vsize=13269256 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16881/stat : 16881 (java) S 16862 16862 7102 0 -1 1077944384 2940 0 0 0 31 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388928654240 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16882] ppid=16862 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16882/stat : 16882 (java) S 16862 16862 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4855995 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388927600864 140389473814229 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
[pid=16863/tid=16883] ppid=16862 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16883/stat : 16883 (java) S 16862 16862 7102 0 -1 1077944384 640 0 0 0 3 3 0 0 20 0 20 0 4855996 13587718144 2453095 33554432000 4194304 4196468 140724102215488 140388926548400 140389473815170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 32587776 140724102223036 140724102223212 140724102223212 140724102225871 0
Current children cumulated CPU time (s) 211.86
Current children cumulated vsize (KiB) 13278768

[startup+107.201 s]
/proc/loadavg: 9.25 13.13 13.88 10/283 19218
/proc/meminfo: memFree=21192948/32770624 swapFree=5656/335108
[pid=16862] ppid=16859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16862/stat : 16862 (xcsp3-exec) S 16859 16862 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4855988 9740288 346 33554432000 4194304 5098028 140721236567152 140721236565256 140252237533820 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 32333824 140721236571279 140721236571488 140721236571488 140721236574187 0
/proc/16862/statm: 2378 346 289 221 0 87 0
[pid=16863] ppid=16862 vsize=0 CPUtime=212.04 cores=0,2,4,6,8,10,12,14
/proc/16863/stat : 16863 (java) Z 16862 16862 7102 0 -1 4227084 332403 0 0 0 18057 3147 0 0 20 0 2 0 4855988 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/16863/statm: 0 0 0 0 0 0 0
[pid=16863/tid=16867] ppid=16862 vsize=0 CPUtime=14.88 cores=0,2,4,6,8,10,12,14
/proc/16863/task/16867/stat : 16867 (java) R 16862 16862 7102 0 -1 4203588 23303 0 0 0 1102 386 0 0 20 0 2 0 4855990 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 212.04
Current children cumulated vsize (KiB) 9512

Child status: 1
Real time (s): 107.214
CPU time (s): 212.066
CPU user time (s): 180.575
CPU system time (s): 31.4902
CPU usage (%): 197.796
Max. virtual memory (cumulated for all children) (KiB): 13278768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.575
system time used= 31.4902
maximum resident set size= 9812812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332931
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15542
involuntary context switches= 14053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.861246 second user time and 1.30069 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 05:58:05
IDJOB=4249721
IDBENCH=138074
IDSOLVER=2626
FILE ID=node130/4249721-1500695884
RUNJOBID= node130-1500684118-8559
PBS_JOBID= 20623029
Free space on /tmp= 61880 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-31.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-4249721-1500695884/watcher-4249721-1500695884 -o /tmp/evaluation-result-4249721-1500695884/solver-4249721-1500695884 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 736372457 HOME/instance-4249721-1500695884.xml

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

MD5SUM BENCH= 67c04303171609b86978ceecc7dcafe8
RANDOM SEED=736372457

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		: 2667.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		: 2668.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		: 1600.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		: 2668.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		: 1600.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		: 2668.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		: 1600.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		: 2668.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		: 2667.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		: 2668.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		: 1733.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		: 1600.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		: 1867.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		: 2668.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:        28342136 kB
MemAvailable:   28633868 kB
Buffers:          122516 kB
Cached:           450356 kB
SwapCached:            0 kB
Active:          3646100 kB
Inactive:         343812 kB
Active(anon):    3419560 kB
Inactive(anon):     8888 kB
Active(file):     226540 kB
Inactive(file):   334924 kB
Unevictable:        5656 kB
Mlocked:            5656 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             82904 kB
Writeback:             0 kB
AnonPages:       3422280 kB
Mapped:            42620 kB
Shmem:              8844 kB
Slab:             126184 kB
SReclaimable:      92204 kB
SUnreclaim:        33980 kB
KernelStack:        4752 kB
PageTables:        12340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5184664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3293184 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= 61872 MiB
End job on node130 at 2017-07-22 05:59:52