Trace number 4245369

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 4.0.5 (2017-07-05)UNSAT 119.417 44.7554

General information on the benchmark

NameRandom/Random-m1-5-12-12/
rand-5-12-12-200-12442-38.xml
MD5SUMb26246ce3e5ddb90abbf8b583e2fe87c
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.5771
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree77
Maximum variable degree95
Distribution of variable degrees[{"degree":77,"count":2},{"degree":79,"count":2},{"degree":81,"count":1},{"degree":82,"count":1},{"degree":84,"count":2},{"degree":86,"count":1},{"degree":87,"count":1},{"degree":89,"count":1},{"degree":95,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
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-4245369-1500685663.xml"  -tl '2400s' -p 8 -x 0
0.00/0.18	c [HOME/instance-4245369-1500685663.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.23	c 8 solvers in parallel
0.00/0.30	c parse instance...
85.30/40.42	c solve instance...
119.21/44.73	s UNSATISFIABLE

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-4245369-1500685663/watcher-4245369-1500685663 -o /tmp/evaluation-result-4245369-1500685663/solver-4245369-1500685663 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1410782482 HOME/instance-4245369-1500685663.xml 

pid=22873
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: 16.08 15.82 13.22 10/271 22876
/proc/meminfo: memFree=31555060/32770624 swapFree=5892/70756
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0

[startup+0.100104 s]
/proc/loadavg: 16.08 15.82 13.22 10/271 22876
/proc/meminfo: memFree=31555060/32770624 swapFree=5892/70756
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200307 s]
/proc/loadavg: 16.08 15.82 13.22 10/271 22876
/proc/meminfo: memFree=31555060/32770624 swapFree=5892/70756
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300237 s]
/proc/loadavg: 16.08 15.82 13.22 10/271 22876
/proc/meminfo: memFree=31555060/32770624 swapFree=5892/70756
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700253 s]
/proc/loadavg: 16.08 15.82 13.22 10/271 22876
/proc/meminfo: memFree=31555060/32770624 swapFree=5892/70756
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50166 s]
/proc/loadavg: 16.08 15.82 13.22 12/292 22897
/proc/meminfo: memFree=31218424/32770624 swapFree=5892/70788
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0
[pid=22877] ppid=22876 vsize=13267208 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/22877/stat : 22877 (java) S 22876 22876 15667 0 -1 1077944320 13978 0 0 0 294 84 0 0 20 0 20 0 3836087 13585620992 110862 33554432000 4194304 4196468 140725941343488 140725941326032 140258665610999 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
/proc/22877/statm: 3316802 110862 3224 1 0 3304035 0
[pid=22877/tid=22878] ppid=22876 vsize=13267208 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22878/stat : 22878 (java) R 22876 22876 15667 0 -1 4202560 6455 0 0 0 125 6 0 0 20 0 20 0 3836087 13585620992 110862 33554432000 4194304 4196468 140725941343488 140258669847320 140258284253155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22880] ppid=22876 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22880/stat : 22880 (java) S 22876 22876 15667 0 -1 1077944384 74 0 0 0 4 8 0 0 20 0 20 0 3836088 13585620992 110862 33554432000 4194304 4196468 140725941343488 140258604575248 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22881] ppid=22876 vsize=13267208 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22881/stat : 22881 (java) S 22876 22876 15667 0 -1 1077944384 75 0 0 0 7 7 0 0 20 0 20 0 3836088 13585620992 110862 33554432000 4194304 4196468 140725941343488 140258603522704 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22882] ppid=22876 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22882/stat : 22882 (java) S 22876 22876 15667 0 -1 1077944384 66 0 0 0 4 9 0 0 20 0 20 0 3836088 13585620992 110862 33554432000 4194304 4196468 140725941343488 140258602469648 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22883] ppid=22876 vsize=13267208 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22883/stat : 22883 (java) S 22876 22876 15667 0 -1 1077944384 80 0 0 0 4 10 0 0 20 0 20 0 3836088 13585620992 110862 33554432000 4194304 4196468 140725941343488 140258601417104 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22884] ppid=22876 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22884/stat : 22884 (java) S 22876 22876 15667 0 -1 1077944384 67 0 0 0 3 10 0 0 20 0 20 0 3836088 13585620992 110862 33554432000 4194304 4196468 140725941343488 140258260245520 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22885] ppid=22876 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22885/stat : 22885 (java) S 22876 22876 15667 0 -1 1077944384 60 0 0 0 3 8 0 0 20 0 20 0 3836088 13585620992 110862 33554432000 4194304 4196468 140725941343488 140258259192976 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22886] ppid=22876 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22886/stat : 22886 (java) S 22876 22876 15667 0 -1 1077944384 71 0 0 0 3 9 0 0 20 0 20 0 3836088 13585620992 110862 33554432000 4194304 4196468 140725941343488 140258258139920 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22887] ppid=22876 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22887/stat : 22887 (java) S 22876 22876 15667 0 -1 1077944384 70 0 0 0 3 9 0 0 20 0 20 0 3836088 13585620992 110862 33554432000 4194304 4196468 140725941343488 140258257087376 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22888] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22888/stat : 22888 (java) S 22876 22876 15667 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 20 0 3836090 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257397295344 140258665622146 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22889] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22889/stat : 22889 (java) S 22876 22876 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3836091 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257396241568 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22890] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22890/stat : 22890 (java) S 22876 22876 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3836091 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257395188464 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22891] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22891/stat : 22891 (java) S 22876 22876 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3836095 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257394137040 140258665629595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22892] ppid=22876 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22892/stat : 22892 (java) S 22876 22876 15667 0 -1 1077944384 1338 0 0 0 34 1 0 0 20 0 20 0 3836095 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257393085168 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22893] ppid=22876 vsize=13267208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22893/stat : 22893 (java) S 22876 22876 15667 0 -1 1077944384 1269 0 0 0 29 0 0 0 20 0 20 0 3836095 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257055992688 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22894] ppid=22876 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22894/stat : 22894 (java) S 22876 22876 15667 0 -1 1077944384 1415 0 0 0 36 0 0 0 20 0 20 0 3836095 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257054939632 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22895] ppid=22876 vsize=13267208 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22895/stat : 22895 (java) S 22876 22876 15667 0 -1 1077944384 1434 0 0 0 32 0 0 0 20 0 20 0 3836095 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257053887088 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22896] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22896/stat : 22896 (java) S 22876 22876 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3836095 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257052834272 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22897] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22897/stat : 22897 (java) S 22876 22876 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3836095 13585620992 110862 33554432000 4194304 4196468 140725941343488 140257051781808 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13276720

[startup+3.10084 s]
/proc/loadavg: 15.51 15.71 13.20 10/292 22897
/proc/meminfo: memFree=30866796/32770624 swapFree=5892/70788
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0
[pid=22877] ppid=22876 vsize=13267208 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/22877/stat : 22877 (java) S 22876 22876 15667 0 -1 1077944320 15488 0 0 0 471 137 0 0 20 0 20 0 3836087 13585620992 258295 33554432000 4194304 4196468 140725941343488 140725941326032 140258665610999 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
/proc/22877/statm: 3316802 258295 3224 1 0 3304035 0
[pid=22877/tid=22878] ppid=22876 vsize=13267208 CPUtime=2.81 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22878/stat : 22878 (java) R 22876 22876 15667 0 -1 4202560 6791 0 0 0 268 13 0 0 20 0 20 0 3836087 13585620992 258295 33554432000 4194304 4196468 140725941343488 140258669847320 140258284188960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22880] ppid=22876 vsize=13267208 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22880/stat : 22880 (java) S 22876 22876 15667 0 -1 1077944384 135 0 0 0 7 13 0 0 20 0 20 0 3836088 13585620992 258295 33554432000 4194304 4196468 140725941343488 140258604575248 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22881] ppid=22876 vsize=13267208 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22881/stat : 22881 (java) S 22876 22876 15667 0 -1 1077944384 140 0 0 0 11 13 0 0 20 0 20 0 3836088 13585620992 258295 33554432000 4194304 4196468 140725941343488 140258603522704 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22882] ppid=22876 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22882/stat : 22882 (java) S 22876 22876 15667 0 -1 1077944384 176 0 0 0 8 14 0 0 20 0 20 0 3836088 13585620992 258295 33554432000 4194304 4196468 140725941343488 140258602469648 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22883] ppid=22876 vsize=13267208 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22883/stat : 22883 (java) S 22876 22876 15667 0 -1 1077944384 130 0 0 0 7 16 0 0 20 0 20 0 3836088 13585620992 258295 33554432000 4194304 4196468 140725941343488 140258601417104 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22884] ppid=22876 vsize=13267208 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22884/stat : 22884 (java) S 22876 22876 15667 0 -1 1077944384 178 0 0 0 5 14 0 0 20 0 20 0 3836088 13585620992 258295 33554432000 4194304 4196468 140725941343488 140258260245520 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22885] ppid=22876 vsize=13267208 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22885/stat : 22885 (java) S 22876 22876 15667 0 -1 1077944384 129 0 0 0 6 14 0 0 20 0 20 0 3836088 13585620992 258295 33554432000 4194304 4196468 140725941343488 140258259192976 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22886] ppid=22876 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22886/stat : 22886 (java) S 22876 22876 15667 0 -1 1077944384 323 0 0 0 7 15 0 0 20 0 20 0 3836088 13585620992 258295 33554432000 4194304 4196468 140725941343488 140258258139920 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22887] ppid=22876 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22887/stat : 22887 (java) S 22876 22876 15667 0 -1 1077944384 113 0 0 0 6 15 0 0 20 0 20 0 3836088 13585620992 258295 33554432000 4194304 4196468 140725941343488 140258257087376 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22888] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22888/stat : 22888 (java) S 22876 22876 15667 0 -1 1077944384 500 0 0 0 0 0 0 0 20 0 20 0 3836090 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257397295344 140258665622146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22889] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22889/stat : 22889 (java) S 22876 22876 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3836091 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257396241568 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22890] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22890/stat : 22890 (java) S 22876 22876 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3836091 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257395188464 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22891] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22891/stat : 22891 (java) S 22876 22876 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3836095 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257394137040 140258665629595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22892] ppid=22876 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22892/stat : 22892 (java) S 22876 22876 15667 0 -1 1077944384 1347 0 0 0 36 1 0 0 20 0 20 0 3836095 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257393085168 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22893] ppid=22876 vsize=13267208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22893/stat : 22893 (java) S 22876 22876 15667 0 -1 1077944384 1269 0 0 0 29 0 0 0 20 0 20 0 3836095 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257055992688 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22894] ppid=22876 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22894/stat : 22894 (java) S 22876 22876 15667 0 -1 1077944384 1418 0 0 0 37 0 0 0 20 0 20 0 3836095 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257054939632 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22895] ppid=22876 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22895/stat : 22895 (java) S 22876 22876 15667 0 -1 1077944384 1541 0 0 0 37 0 0 0 20 0 20 0 3836095 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257053887088 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22896] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22896/stat : 22896 (java) S 22876 22876 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3836095 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257052834272 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22897] ppid=22876 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22897/stat : 22897 (java) S 22876 22876 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3836095 13585620992 258295 33554432000 4194304 4196468 140725941343488 140257051781808 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 13276720

[startup+6.30088 s]
/proc/loadavg: 15.51 15.71 13.20 13/292 22897
/proc/meminfo: memFree=30065336/32770624 swapFree=5892/70800
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0
[pid=22877] ppid=22876 vsize=13269256 CPUtime=12.39 cores=1,3,5,7,9,11,13,15
/proc/22877/stat : 22877 (java) S 22876 22876 15667 0 -1 1077944320 26860 0 0 0 958 281 0 0 20 0 20 0 3836087 13587718144 414011 33554432000 4194304 4196468 140725941343488 140725941326032 140258665610999 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
/proc/22877/statm: 3317314 414011 3231 1 0 3304547 0
[pid=22877/tid=22878] ppid=22876 vsize=13269256 CPUtime=5.66 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22878/stat : 22878 (java) R 22876 22876 15667 0 -1 4202560 9905 0 0 0 547 19 0 0 20 0 20 0 3836087 13587718144 414011 33554432000 4194304 4196468 140725941343488 140258669848344 140258283938594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22880] ppid=22876 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22880/stat : 22880 (java) S 22876 22876 15667 0 -1 1077944384 307 0 0 0 21 28 0 0 20 0 20 0 3836088 13587718144 414011 33554432000 4194304 4196468 140725941343488 140258604575248 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22881] ppid=22876 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22881/stat : 22881 (java) S 22876 22876 15667 0 -1 1077944384 482 0 0 0 27 31 0 0 20 0 20 0 3836088 13587718144 414011 33554432000 4194304 4196468 140725941343488 140258603522704 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22882] ppid=22876 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22882/stat : 22882 (java) S 22876 22876 15667 0 -1 1077944384 348 0 0 0 28 28 0 0 20 0 20 0 3836088 13587718144 414011 33554432000 4194304 4196468 140725941343488 140258602469648 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22883] ppid=22876 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22883/stat : 22883 (java) S 22876 22876 15667 0 -1 1077944384 383 0 0 0 22 33 0 0 20 0 20 0 3836088 13587718144 414011 33554432000 4194304 4196468 140725941343488 140258601417104 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22884] ppid=22876 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22884/stat : 22884 (java) S 22876 22876 15667 0 -1 1077944384 364 0 0 0 19 31 0 0 20 0 20 0 3836088 13587718144 414011 33554432000 4194304 4196468 140725941343488 140258260245520 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22885] ppid=22876 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22885/stat : 22885 (java) S 22876 22876 15667 0 -1 1077944384 338 0 0 0 22 32 0 0 20 0 20 0 3836088 13587718144 414011 33554432000 4194304 4196468 140725941343488 140258259192976 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22886] ppid=22876 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22886/stat : 22886 (java) S 22876 22876 15667 0 -1 1077944384 718 0 0 0 22 34 0 0 20 0 20 0 3836088 13587718144 414011 33554432000 4194304 4196468 140725941343488 140258258139920 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22887] ppid=22876 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22887/stat : 22887 (java) S 22876 22876 15667 0 -1 1077944384 320 0 0 0 22 34 0 0 20 0 20 0 3836088 13587718144 414011 33554432000 4194304 4196468 140725941343488 140258257087376 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22888] ppid=22876 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22888/stat : 22888 (java) S 22876 22876 15667 0 -1 1077944384 1498 0 0 0 0 0 0 0 20 0 20 0 3836090 13587718144 414011 33554432000 4194304 4196468 140725941343488 140257397295344 140258665622146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22889] ppid=22876 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22889/stat : 22889 (java) S 22876 22876 15667 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 3836091 13587718144 414011 33554432000 4194304 4196468 140725941343488 140257396241632 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22890] ppid=22876 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22890/stat : 22890 (java) S 22876 22876 15667 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 3836091 13587718144 414011 33554432000 4194304 4196468 140725941343488 140257395188480 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22891] ppid=22876 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22891/stat : 22891 (java) S 22876 22876 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3836095 13587718144 414011 33554432000 4194304 4196468 140725941343488 140257394137040 140258665629595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0

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

/proc/22877/task/22889/stat : 22889 (java) S 22876 22876 15667 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 3836091 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257396241632 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22890] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22890/stat : 22890 (java) S 22876 22876 15667 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 3836091 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257395188480 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22891] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22891/stat : 22891 (java) S 22876 22876 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3836095 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257394137040 140258665629595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22892] ppid=22876 vsize=13801768 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22892/stat : 22892 (java) S 22876 22876 15667 0 -1 1077944384 6885 0 0 0 218 3 0 0 20 0 28 0 3836095 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257393085168 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22893] ppid=22876 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22893/stat : 22893 (java) S 22876 22876 15667 0 -1 1077944384 4913 0 0 0 128 1 0 0 20 0 28 0 3836095 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257055992688 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22894] ppid=22876 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22894/stat : 22894 (java) S 22876 22876 15667 0 -1 1077944384 3962 0 0 0 127 2 0 0 20 0 28 0 3836095 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257054939632 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22895] ppid=22876 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22895/stat : 22895 (java) S 22876 22876 15667 0 -1 1077944384 3694 0 0 0 76 1 0 0 20 0 28 0 3836095 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257053887088 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22896] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22896/stat : 22896 (java) S 22876 22876 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3836095 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257052834272 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22897] ppid=22876 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22897/stat : 22897 (java) S 22876 22876 15667 0 -1 1077944384 493 0 0 0 1 1 0 0 20 0 28 0 3836095 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257051781808 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22994] ppid=22876 vsize=13801768 CPUtime=3.27 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22994/stat : 22994 (java) R 22876 22876 15667 0 -1 4202560 259 0 0 0 327 0 0 0 20 0 28 0 3840130 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257043765512 140258283122186 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22995] ppid=22876 vsize=13801768 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22995/stat : 22995 (java) R 22876 22876 15667 0 -1 4202560 151 0 0 0 334 0 0 0 20 0 28 0 3840130 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257042715664 140258286746339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22996] ppid=22876 vsize=13801768 CPUtime=3.24 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22996/stat : 22996 (java) R 22876 22876 15667 0 -1 4202560 319 0 0 0 324 0 0 0 20 0 28 0 3840130 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257041662536 140258283643435 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22997] ppid=22876 vsize=13801768 CPUtime=3.5 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22997/stat : 22997 (java) R 22876 22876 15667 0 -1 4202560 264 0 0 0 350 0 0 0 20 0 28 0 3840130 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257040611480 140258286746615 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22998] ppid=22876 vsize=13801768 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22998/stat : 22998 (java) R 22876 22876 15667 0 -1 4202560 171 0 0 0 326 0 0 0 20 0 28 0 3840130 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257039556800 140258286746339 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22999] ppid=22876 vsize=13801768 CPUtime=3.31 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22999/stat : 22999 (java) R 22876 22876 15667 0 -1 4202560 222 0 0 0 331 0 0 0 20 0 28 0 3840153 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257038504392 140258286746339 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=23000] ppid=22876 vsize=13801768 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/22877/task/23000/stat : 23000 (java) R 22876 22876 15667 0 -1 4202560 157 0 0 0 343 0 0 0 20 0 28 0 3840153 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257037451336 140258283785861 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=23001] ppid=22876 vsize=13801768 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/22877/task/23001/stat : 23001 (java) R 22876 22876 15667 0 -1 4202560 224 0 0 0 349 0 0 0 20 0 28 0 3840153 14133010432 1225304 33554432000 4194304 4196468 140725941343488 140257036398432 140258283785884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
Current children cumulated CPU time (s) 116.82
Current children cumulated vsize (KiB) 13811280

[startup+44.6016 s]
/proc/loadavg: 13.26 15.08 13.09 17/300 23001
/proc/meminfo: memFree=26233088/32770624 swapFree=5892/71040
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0
[pid=22877] ppid=22876 vsize=13801768 CPUtime=118.41 cores=1,3,5,7,9,11,13,15
/proc/22877/stat : 22877 (java) S 22876 22876 15667 0 -1 1077944320 68215 0 0 0 10875 966 0 0 20 0 28 0 3836087 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140725941326032 140258665610999 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
/proc/22877/statm: 3450442 1225350 3273 1 0 3437675 0
[pid=22877/tid=22878] ppid=22876 vsize=13801768 CPUtime=33.62 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22878/stat : 22878 (java) S 22876 22876 15667 0 -1 1077944384 18322 0 0 0 3315 47 0 0 20 0 28 0 3836087 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258669851776 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22880] ppid=22876 vsize=13801768 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22880/stat : 22880 (java) S 22876 22876 15667 0 -1 1077944384 1828 0 0 0 511 109 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258604575248 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22881] ppid=22876 vsize=13801768 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22881/stat : 22881 (java) S 22876 22876 15667 0 -1 1077944384 2449 0 0 0 518 109 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258603522704 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22882] ppid=22876 vsize=13801768 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22882/stat : 22882 (java) S 22876 22876 15667 0 -1 1077944384 2156 0 0 0 525 106 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258602469648 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22883] ppid=22876 vsize=13801768 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22883/stat : 22883 (java) S 22876 22876 15667 0 -1 1077944384 2609 0 0 0 499 115 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258601417104 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22884] ppid=22876 vsize=13801768 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22884/stat : 22884 (java) S 22876 22876 15667 0 -1 1077944384 2143 0 0 0 510 111 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258260245520 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22885] ppid=22876 vsize=13801768 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22885/stat : 22885 (java) S 22876 22876 15667 0 -1 1077944384 2564 0 0 0 513 113 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258259192976 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22886] ppid=22876 vsize=13801768 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22886/stat : 22886 (java) S 22876 22876 15667 0 -1 1077944384 2596 0 0 0 512 116 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258258139920 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22887] ppid=22876 vsize=13801768 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22887/stat : 22887 (java) S 22876 22876 15667 0 -1 1077944384 2215 0 0 0 508 122 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258257087376 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22888] ppid=22876 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22888/stat : 22888 (java) S 22876 22876 15667 0 -1 1077944384 6614 0 0 0 60 1 0 0 20 0 28 0 3836090 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257397295344 140258665622146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22889] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22889/stat : 22889 (java) S 22876 22876 15667 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 3836091 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257396241632 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22890] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22890/stat : 22890 (java) S 22876 22876 15667 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 3836091 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257395188480 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22891] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22891/stat : 22891 (java) S 22876 22876 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257394137040 140258665629595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22892] ppid=22876 vsize=13801768 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22892/stat : 22892 (java) S 22876 22876 15667 0 -1 1077944384 8018 0 0 0 221 3 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257393085168 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22893] ppid=22876 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22893/stat : 22893 (java) S 22876 22876 15667 0 -1 1077944384 4967 0 0 0 128 1 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257055992688 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22894] ppid=22876 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22894/stat : 22894 (java) S 22876 22876 15667 0 -1 1077944384 3965 0 0 0 127 2 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257054939632 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22895] ppid=22876 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22895/stat : 22895 (java) S 22876 22876 15667 0 -1 1077944384 3697 0 0 0 76 1 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257053887088 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22896] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22896/stat : 22896 (java) S 22876 22876 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257052834272 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22897] ppid=22876 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22897/stat : 22897 (java) S 22876 22876 15667 0 -1 1077944384 513 0 0 0 1 1 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257051781808 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22994] ppid=22876 vsize=13801768 CPUtime=3.47 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22994/stat : 22994 (java) R 22876 22876 15667 0 -1 4202560 301 0 0 0 347 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257043765512 140258286746280 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22995] ppid=22876 vsize=13801768 CPUtime=3.54 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22995/stat : 22995 (java) R 22876 22876 15667 0 -1 4202560 168 0 0 0 354 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257042715664 140258283785884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22996] ppid=22876 vsize=13801768 CPUtime=3.44 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22996/stat : 22996 (java) R 22876 22876 15667 0 -1 4202560 441 0 0 0 344 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257041662536 140258286746339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22997] ppid=22876 vsize=13801768 CPUtime=3.7 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22997/stat : 22997 (java) R 22876 22876 15667 0 -1 4202560 343 0 0 0 370 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257040610392 140258286746083 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22998] ppid=22876 vsize=13801768 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22998/stat : 22998 (java) R 22876 22876 15667 0 -1 4202560 201 0 0 0 343 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257039556800 140258283785884 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22999] ppid=22876 vsize=13801768 CPUtime=3.51 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22999/stat : 22999 (java) R 22876 22876 15667 0 -1 4202560 283 0 0 0 351 0 0 0 20 0 28 0 3840153 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257038504392 140258286746624 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=23000] ppid=22876 vsize=13801768 CPUtime=3.63 cores=1,3,5,7,9,11,13,15
/proc/22877/task/23000/stat : 23000 (java) R 22876 22876 15667 0 -1 4202560 199 0 0 0 363 0 0 0 20 0 28 0 3840153 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257037451336 140258286745171 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=23001] ppid=22876 vsize=13801768 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/22877/task/23001/stat : 23001 (java) R 22876 22876 15667 0 -1 4202560 239 0 0 0 369 0 0 0 20 0 28 0 3840153 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257036398432 140258283643457 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
Current children cumulated CPU time (s) 118.41
Current children cumulated vsize (KiB) 13811280

[startup+44.7017 s]
/proc/loadavg: 13.26 15.08 13.09 17/300 23001
/proc/meminfo: memFree=26233088/32770624 swapFree=5892/71040
[pid=22876] ppid=22873 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22876/stat : 22876 (xcsp3-exec) S 22873 22876 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3836087 9740288 345 33554432000 4194304 5098028 140728048479216 140728048477320 139634318123644 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 24657920 140728048485518 140728048485728 140728048485728 140728048488427 0
/proc/22876/statm: 2378 345 289 221 0 87 0
[pid=22877] ppid=22876 vsize=13801768 CPUtime=119.21 cores=1,3,5,7,9,11,13,15
/proc/22877/stat : 22877 (java) S 22876 22876 15667 0 -1 1077944320 68328 0 0 0 10955 966 0 0 20 0 28 0 3836087 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140725941326032 140258665610999 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
/proc/22877/statm: 3450442 1225350 3273 1 0 3437675 0
[pid=22877/tid=22878] ppid=22876 vsize=13801768 CPUtime=33.62 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22878/stat : 22878 (java) S 22876 22876 15667 0 -1 1077944384 18322 0 0 0 3315 47 0 0 20 0 28 0 3836087 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258669851776 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22880] ppid=22876 vsize=13801768 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22880/stat : 22880 (java) S 22876 22876 15667 0 -1 1077944384 1828 0 0 0 511 109 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258604575248 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22881] ppid=22876 vsize=13801768 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22881/stat : 22881 (java) S 22876 22876 15667 0 -1 1077944384 2449 0 0 0 518 109 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258603522704 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22882] ppid=22876 vsize=13801768 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22882/stat : 22882 (java) S 22876 22876 15667 0 -1 1077944384 2156 0 0 0 525 106 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258602469648 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22883] ppid=22876 vsize=13801768 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22883/stat : 22883 (java) S 22876 22876 15667 0 -1 1077944384 2609 0 0 0 499 115 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258601417104 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22884] ppid=22876 vsize=13801768 CPUtime=6.21 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22884/stat : 22884 (java) S 22876 22876 15667 0 -1 1077944384 2143 0 0 0 510 111 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258260245520 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22885] ppid=22876 vsize=13801768 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22885/stat : 22885 (java) S 22876 22876 15667 0 -1 1077944384 2564 0 0 0 513 113 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258259192976 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22886] ppid=22876 vsize=13801768 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22886/stat : 22886 (java) S 22876 22876 15667 0 -1 1077944384 2596 0 0 0 512 116 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258258139920 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22887] ppid=22876 vsize=13801768 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22887/stat : 22887 (java) S 22876 22876 15667 0 -1 1077944384 2215 0 0 0 508 122 0 0 20 0 28 0 3836088 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140258257087376 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22888] ppid=22876 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22888/stat : 22888 (java) S 22876 22876 15667 0 -1 1077944384 6614 0 0 0 60 1 0 0 20 0 28 0 3836090 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257397295344 140258665622146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22889] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22889/stat : 22889 (java) S 22876 22876 15667 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 3836091 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257396241632 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22890] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22890/stat : 22890 (java) S 22876 22876 15667 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 3836091 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257395188480 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22891] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22891/stat : 22891 (java) S 22876 22876 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257394137040 140258665629595 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22892] ppid=22876 vsize=13801768 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22892/stat : 22892 (java) S 22876 22876 15667 0 -1 1077944384 8018 0 0 0 221 3 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257393085168 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22893] ppid=22876 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22893/stat : 22893 (java) S 22876 22876 15667 0 -1 1077944384 4967 0 0 0 128 1 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257055992688 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22894] ppid=22876 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22894/stat : 22894 (java) S 22876 22876 15667 0 -1 1077944384 3965 0 0 0 127 2 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257054939632 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22895] ppid=22876 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22895/stat : 22895 (java) S 22876 22876 15667 0 -1 1077944384 3697 0 0 0 76 1 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257053887088 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22896] ppid=22876 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22896/stat : 22896 (java) S 22876 22876 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257052834272 140258665621205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22897] ppid=22876 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22897/stat : 22897 (java) S 22876 22876 15667 0 -1 1077944384 513 0 0 0 1 1 0 0 20 0 28 0 3836095 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257051781808 140258665622146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22994] ppid=22876 vsize=13801768 CPUtime=3.57 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22994/stat : 22994 (java) R 22876 22876 15667 0 -1 4202560 304 0 0 0 357 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257043765512 140258283786748 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22995] ppid=22876 vsize=13801768 CPUtime=3.64 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22995/stat : 22995 (java) R 22876 22876 15667 0 -1 4202560 170 0 0 0 364 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257042715664 140258286744475 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22996] ppid=22876 vsize=13801768 CPUtime=3.54 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22996/stat : 22996 (java) R 22876 22876 15667 0 -1 4202560 443 0 0 0 354 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257041662536 140258283785884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22997] ppid=22876 vsize=13801768 CPUtime=3.8 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22997/stat : 22997 (java) R 22876 22876 15667 0 -1 4202560 353 0 0 0 380 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257040610392 140258286745636 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22998] ppid=22876 vsize=13801768 CPUtime=3.53 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22998/stat : 22998 (java) R 22876 22876 15667 0 -1 4202560 206 0 0 0 353 0 0 0 20 0 28 0 3840130 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257039556800 140258283785821 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=22999] ppid=22876 vsize=13801768 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/22877/task/22999/stat : 22999 (java) R 22876 22876 15667 0 -1 4202560 370 0 0 0 361 0 0 0 20 0 28 0 3840153 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257038504392 140258283786012 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=23000] ppid=22876 vsize=13801768 CPUtime=3.73 cores=1,3,5,7,9,11,13,15
/proc/22877/task/23000/stat : 23000 (java) R 22876 22876 15667 0 -1 4202560 201 0 0 0 373 0 0 0 20 0 28 0 3840153 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257037451336 140258283785884 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
[pid=22877/tid=23001] ppid=22876 vsize=13801768 CPUtime=3.79 cores=1,3,5,7,9,11,13,15
/proc/22877/task/23001/stat : 23001 (java) R 22876 22876 15667 0 -1 4202560 241 0 0 0 379 0 0 0 20 0 28 0 3840153 14133010432 1225350 33554432000 4194304 4196468 140725941343488 140257036398432 140258286746339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17367040 140725941347516 140725941347692 140725941347692 140725941350351 0
Current children cumulated CPU time (s) 119.21
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 44.7554
CPU time (s): 119.417
CPU user time (s): 109.729
CPU system time (s): 9.68742
CPU usage (%): 266.82
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.729
system time used= 9.68742
maximum resident set size= 4901448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6579
involuntary context switches= 8380

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.407289 second user time and 0.449797 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-22 03:07:44
IDJOB=4245369
IDBENCH=120977
IDSOLVER=2625
FILE ID=node104/4245369-1500685663
RUNJOBID= node104-1500684128-16797
PBS_JOBID= 20623031
Free space on /tmp= 61980 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Random/Random-m1-5-12-12/rand-5-12-12-200-12442-38.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-4245369-1500685663/watcher-4245369-1500685663 -o /tmp/evaluation-result-4245369-1500685663/solver-4245369-1500685663 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1410782482 HOME/instance-4245369-1500685663.xml

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

MD5SUM BENCH= b26246ce3e5ddb90abbf8b583e2fe87c
RANDOM SEED=1410782482

node104.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	: 5334.12
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		: 2133.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.57
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	: 5334.12
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		: 1733.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.57
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	: 5334.12
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.57
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	: 5334.12
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.57
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	: 5334.12
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.57
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	: 5334.12
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		: 1733.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.57
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	: 5334.12
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		: 1600.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.57
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	: 5334.12
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		: 1733.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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31555092 kB
MemAvailable:   31552672 kB
Buffers:           94560 kB
Cached:           192080 kB
SwapCached:          256 kB
Active:           667416 kB
Inactive:         127140 kB
Active(anon):     463004 kB
Inactive(anon):    56384 kB
Active(file):     204412 kB
Inactive(file):    70756 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105468 kB
Dirty:             36568 kB
Writeback:             0 kB
AnonPages:        513720 kB
Mapped:            42476 kB
Shmem:              8804 kB
Slab:             110296 kB
SReclaimable:      76496 kB
SUnreclaim:        33800 kB
KernelStack:        4656 kB
PageTables:         7260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1098580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    364544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61972 MiB
End job on node104 at 2017-07-22 03:08:29