Trace number 4271194

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)UNSAT 98.742996 47.502899

General information on the benchmark

NameRandom/Random-m1-5-2X-05c/
rand-5-2X-05c-15.xml
MD5SUM5c93a58f751270bf50b32fbeed27ba19
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 benchmark9.8769102
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints112
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree35
Maximum variable degree53
Distribution of variable degrees[{"degree":35,"count":1},{"degree":43,"count":1},{"degree":45,"count":4},{"degree":47,"count":1},{"degree":49,"count":1},{"degree":50,"count":2},{"degree":53,"count":2}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":112}]
Number of extensional constraints112
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":112}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271194-1502686860.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271194-1502686860.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
83.90/45.53	c solve instance...
98.60/47.40	s UNSATISFIABLE

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11619 MiB free)
  memory of node 1: 16384 MiB (14868 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271194-1502686860/watcher-4271194-1502686860 -o /tmp/evaluation-result-4271194-1502686860/solver-4271194-1502686860 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502683480-29208 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1513356745 HOME/instance-4271194-1502686860.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100139 s]*
/proc/loadavg: 8.00 8.11 8.21 2/199 29377
/proc/meminfo: memFree=27109388/32770624 swapFree=67108860/67108860
[pid=29356] ppid=29353 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 29181 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101767208 9740288 346 33554432000 4194304 5098028 140732962054368 140732962052472 139978913178236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29937664 140732962063460 140732962063671 140732962063671 140732962066411 0
/proc/29356/statm: 2378 346 289 221 0 87 0
[pid=29358] ppid=29356 vsize=25999808 memory=26236 CPUtime=0.12 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 29181 0 -1 1077944320 5488 0 0 0 10 2 0 0 20 0 20 0 101767209 26623803392 6559 33554432000 4194304 4196468 140722932268016 140722932250560 140514932297463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
/proc/29358/statm: 6499952 6559 2844 1 0 6488269 0
[pid=29358/tid=29359] ppid=29356 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) S 29356 29356 29181 0 -1 1077944384 3488 0 0 0 8 1 0 0 20 0 20 0 101767209 26623803392 6559 33554432000 4194304 4196468 140722932268016 140514936522192 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29360] ppid=29356 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767210 26623803392 6559 33554432000 4194304 4196468 140722932268016 140514490448272 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29361] ppid=29356 vsize=25999808 memory=139760574633600 CPUtime=0 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101767210 26623803392 6559 33554432000 4194304 4196468 140722932268016 140514489395472 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29362] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767210 26623803392 6559 33554432000 4194304 4196468 140722932268016 140514488343184 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29363] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767210 26623803392 6559 33554432000 4194304 4196468 140722932268016 140514487290384 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29364] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767210 26623803392 6559 33554432000 4194304 4196468 140722932268016 140514486238096 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29365] ppid=29356 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767210 26623803392 6559 33554432000 4194304 4196468 140722932268016 140514485185296 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29366] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101767210 26623803392 6559 33554432000 4194304 4196468 140722932268016 140514484133008 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29367] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767210 26623803392 6559 33554432000 4194304 4196468 140722932268016 140514483080208 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29368] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767211 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513405536368 140514932308610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29369] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 29181 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101767212 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513404482336 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29370] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 29181 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101767212 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513403430000 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29371] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767214 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513402378320 140514932316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29372] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) S 29356 29356 29181 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 101767214 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513401326192 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29373] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) S 29356 29356 29181 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 101767214 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513400273392 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29374] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) R 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767214 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513399221104 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29375] ppid=29356 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) R 29356 29356 29181 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 101767214 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513398168304 140514932308610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29376] ppid=29356 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101767215 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513397115232 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29377] ppid=29356 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767215 26623803392 6559 33554432000 4194304 4196468 140722932268016 140513396062512 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27620 KiB

[startup+0.210221 s]*
/proc/loadavg: 8.00 8.11 8.21 2/199 29377
/proc/meminfo: memFree=27097464/32770624 swapFree=67108860/67108860
[pid=29356] ppid=29353 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 29181 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101767208 9740288 346 33554432000 4194304 5098028 140732962054368 140732962052472 139978913178236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29937664 140732962063460 140732962063671 140732962063671 140732962066411 0
/proc/29356/statm: 2378 346 289 221 0 87 0
[pid=29358] ppid=29356 vsize=26004064 memory=39076 CPUtime=0.33 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 29181 0 -1 1077944320 8308 0 0 0 30 3 0 0 20 0 20 0 101767209 26628161536 9769 33554432000 4194304 4196468 140722932268016 140722932250560 140514932297463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
/proc/29358/statm: 6501016 9769 3041 1 0 6488269 0
[pid=29358/tid=29359] ppid=29356 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) R 29356 29356 29181 0 -1 4202560 5395 0 0 0 18 1 0 0 20 0 20 0 101767209 26628161536 9769 33554432000 4194304 4196468 140722932268016 140514936520288 140514916377950 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29360] ppid=29356 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 9769 33554432000 4194304 4196468 140722932268016 140514490448272 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29361] ppid=29356 vsize=26004064 memory=3977722271458104992 CPUtime=0 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 9769 33554432000 4194304 4196468 140722932268016 140514489395472 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29362] ppid=29356 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 9769 33554432000 4194304 4196468 140722932268016 140514488343184 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29363] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 9769 33554432000 4194304 4196468 140722932268016 140514487290384 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29364] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 9769 33554432000 4194304 4196468 140722932268016 140514486238096 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29365] ppid=29356 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 9769 33554432000 4194304 4196468 140722932268016 140514485185296 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29366] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 9769 33554432000 4194304 4196468 140722932268016 140514484133008 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29367] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 9769 33554432000 4194304 4196468 140722932268016 140514483080208 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29368] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767211 26628161536 9769 33554432000 4194304 4196468 140722932268016 140513405536368 140514932308610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29369] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 29181 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101767212 26628161536 9769 33554432000 4194304 4196468 140722932268016 140513404482336 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29370] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 29181 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101767212 26628161536 9769 33554432000 4194304 4196468 140722932268016 140513403430000 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29371] ppid=29356 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767214 26628194304 9769 33554432000 4194304 4196468 140722932268016 140513402378320 140514932316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29372] ppid=29356 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) S 29356 29356 29181 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 20 0 101767214 26628194304 9769 33554432000 4194304 4196468 140722932268016 140513401326192 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29373] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) S 29356 29356 29181 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 20 0 101767214 26628161536 9789 33554432000 4194304 4196468 140722932268016 140513400273392 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29374] ppid=29356 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) S 29356 29356 29181 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 20 0 101767214 26628161536 9789 33554432000 4194304 4196468 140722932268016 140513399221104 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29375] ppid=29356 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) R 29356 29356 29181 0 -1 4202560 752 0 0 0 7 0 0 0 20 0 20 0 101767214 26628161536 9789 33554432000 4194304 4196468 140722932268016 140513398166264 140514915638812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29376] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101767215 26628161536 9789 33554432000 4194304 4196468 140722932268016 140513397115232 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29377] ppid=29356 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767215 26628161536 9789 33554432000 4194304 4196468 140722932268016 140513396062512 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40460 KiB

[startup+0.30949 s]*
/proc/loadavg: 8.00 8.11 8.21 3/199 29377
/proc/meminfo: memFree=27091012/32770624 swapFree=67108860/67108860
[pid=29356] ppid=29353 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 29181 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101767208 9740288 346 33554432000 4194304 5098028 140732962054368 140732962052472 139978913178236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29937664 140732962063460 140732962063671 140732962063671 140732962066411 0
/proc/29356/statm: 2378 346 289 221 0 87 0
[pid=29358] ppid=29356 vsize=26004064 memory=46276 CPUtime=0.5 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 29181 0 -1 1077944320 9272 0 0 0 46 4 0 0 20 0 20 0 101767209 26628161536 11569 33554432000 4194304 4196468 140722932268016 140722932250560 140514932297463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
/proc/29358/statm: 6501016 11569 3112 1 0 6488269 0
[pid=29358/tid=29359] ppid=29356 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) R 29356 29356 29181 0 -1 4202560 6052 0 0 0 27 2 0 0 20 0 20 0 101767209 26628161536 11569 33554432000 4194304 4196468 140722932268016 140514936531232 140514932319389 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29360] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 11569 33554432000 4194304 4196468 140722932268016 140514490448272 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29361] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 11569 33554432000 4194304 4196468 140722932268016 140514489395472 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29362] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 11569 33554432000 4194304 4196468 140722932268016 140514488343184 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29363] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 11569 33554432000 4194304 4196468 140722932268016 140514487290384 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29364] ppid=29356 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 11569 33554432000 4194304 4196468 140722932268016 140514486238096 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29365] ppid=29356 vsize=26004064 memory=139760450499503 CPUtime=0 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 11569 33554432000 4194304 4196468 140722932268016 140514485185296 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29366] ppid=29356 vsize=26004064 memory=139760450501808 CPUtime=0 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 11569 33554432000 4194304 4196468 140722932268016 140514484133008 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29367] ppid=29356 vsize=26004064 memory=139760450504112 CPUtime=0 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767210 26628161536 11569 33554432000 4194304 4196468 140722932268016 140514483080208 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29368] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) S 29356 29356 29181 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101767211 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513405536368 140514932308610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29369] ppid=29356 vsize=26004064 memory=279520901015184 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 29181 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101767212 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513404482336 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29370] ppid=29356 vsize=26004064 memory=279520901022096 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 29181 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101767212 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513403430000 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29371] ppid=29356 vsize=26004064 memory=279520900963376 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767214 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513402378320 140514932316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29372] ppid=29356 vsize=26004064 memory=279520901035920 CPUtime=0.02 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) R 29356 29356 29181 0 -1 4202560 547 0 0 0 2 0 0 0 20 0 20 0 101767214 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513401326192 140514912997760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29373] ppid=29356 vsize=26004064 memory=279520901042832 CPUtime=0.01 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) R 29356 29356 29181 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 101767214 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513400273392 140514911543652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29374] ppid=29356 vsize=26004064 memory=279520901040528 CPUtime=0.02 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) S 29356 29356 29181 0 -1 1077944384 276 0 0 0 2 0 0 0 20 0 20 0 101767214 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513399221104 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29375] ppid=29356 vsize=26004064 memory=279520901056688 CPUtime=0.11 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) S 29356 29356 29181 0 -1 1077944384 846 0 0 0 11 0 0 0 20 0 20 0 101767214 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513398168304 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29376] ppid=29356 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101767215 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513397115232 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29377] ppid=29356 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101767215 26628161536 11569 33554432000 4194304 4196468 140722932268016 140513396062512 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47660 KiB

[startup+0.701336 s]
/proc/loadavg: 8.00 8.11 8.21 6/199 29377
/proc/meminfo: memFree=27012588/32770624 swapFree=67108860/67108860
[pid=29356] ppid=29353 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 29181 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101767208 9740288 346 33554432000 4194304 5098028 140732962054368 140732962052472 139978913178236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29937664 140732962063460 140732962063671 140732962063671 140732962066411 0
/proc/29356/statm: 2378 346 289 221 0 87 0
[pid=29358] ppid=29356 vsize=26004140 memory=250192 CPUtime=1.82 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 29181 0 -1 1077944320 12950 0 0 0 159 23 0 0 20 0 20 0 101767209 26628239360 62548 33554432000 4194304 4196468 140722932268016 140722932250560 140514932297463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
/proc/29358/statm: 6501035 62548 3207 1 0 6488269 0
[pid=29358/tid=29359] ppid=29356 vsize=26004140 memory=279520901414576 CPUtime=0.64 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) R 29356 29356 29181 0 -1 4202560 6381 0 0 0 59 5 0 0 20 0 20 0 101767209 26628239360 62548 33554432000 4194304 4196468 140722932268016 140514936535056 140514916827354 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29360] ppid=29356 vsize=26004140 memory=139760450708336 CPUtime=0.03 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 29181 0 -1 1077944384 40 0 0 0 1 2 0 0 20 0 20 0 101767210 26628239360 62548 33554432000 4194304 4196468 140722932268016 140514490448272 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29361] ppid=29356 vsize=26004140 memory=0 CPUtime=0.02 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 29181 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 101767210 26628239360 62548 33554432000 4194304 4196468 140722932268016 140514489395472 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29362] ppid=29356 vsize=26004140 memory=1716 CPUtime=0.03 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 29181 0 -1 1077944384 43 0 0 0 1 2 0 0 20 0 20 0 101767210 26628239360 62548 33554432000 4194304 4196468 140722932268016 140514488343184 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0

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

[pid=29358/tid=29380] ppid=29356 vsize=26538700 memory=1384 CPUtime=0.82 cores=0-7
/proc/29358/task/29380/stat : 29380 (java) R 29356 29356 29181 0 -1 4202560 112 0 0 0 82 0 0 0 20 0 28 0 101771763 27175628800 1861203 33554432000 4194304 4196468 140722932268016 140513385949160 140514572177245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29381] ppid=29356 vsize=26538700 memory=7443404 CPUtime=0.72 cores=0-7
/proc/29358/task/29381/stat : 29381 (java) R 29356 29356 29181 0 -1 4202560 39 0 0 0 72 0 0 0 20 0 28 0 101771763 27175628800 1861203 33554432000 4194304 4196468 140722932268016 140513384894480 140514572176568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29382] ppid=29356 vsize=26538700 memory=7303014782286080410 CPUtime=0.79 cores=0-7
/proc/29358/task/29382/stat : 29382 (java) R 29356 29356 29181 0 -1 4202560 47 0 0 0 79 0 0 0 20 0 28 0 101771763 27175628800 1861203 33554432000 4194304 4196468 140722932268016 140513383842424 140514572108509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29383] ppid=29356 vsize=26538700 memory=7303014782286080410 CPUtime=0.79 cores=0-7
/proc/29358/task/29383/stat : 29383 (java) R 29356 29356 29181 0 -1 4202560 89 0 0 0 79 0 0 0 20 0 28 0 101771763 27175628800 1861203 33554432000 4194304 4196468 140722932268016 140513382789440 140514932309398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29384] ppid=29356 vsize=26538700 memory=15872 CPUtime=0.72 cores=0-7
/proc/29358/task/29384/stat : 29384 (java) R 29356 29356 29181 0 -1 4202560 96 0 0 0 72 0 0 0 20 0 28 0 101771764 27175628800 1861203 33554432000 4194304 4196468 140722932268016 140513381736264 140514572108256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29385] ppid=29356 vsize=26538700 memory=4044 CPUtime=0.74 cores=0-7
/proc/29358/task/29385/stat : 29385 (java) R 29356 29356 29181 0 -1 4202560 32 0 0 0 74 0 0 0 20 0 28 0 101771764 27175628800 1861203 33554432000 4194304 4196468 140722932268016 140513380683464 140514572032832 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
Current children cumulated CPU time: 90.64 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7446196 KiB

[startup+47.2051 s]
/proc/loadavg: 4.65 7.17 7.88 12/207 29385
/proc/meminfo: memFree=19669012/32770624 swapFree=67108860/67108860
[pid=29356] ppid=29353 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 29181 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101767208 9740288 346 33554432000 4194304 5098028 140732962054368 140732962052472 139978913178236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29937664 140732962063460 140732962063671 140732962063671 140732962066411 0
/proc/29356/statm: 2378 346 289 221 0 87 0
[pid=29358] ppid=29356 vsize=26538700 memory=7457548 CPUtime=97.04 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 29181 0 -1 1077944320 96267 0 0 0 8569 1135 0 0 20 0 28 0 101767209 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140722932250560 140514932297463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
/proc/29358/statm: 6634675 1864387 3264 1 0 6621909 0
[pid=29358/tid=29359] ppid=29356 vsize=26538700 memory=6791534058613427641 CPUtime=38.46 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) S 29356 29356 29181 0 -1 1077944384 21683 0 0 0 3778 68 0 0 20 0 28 0 101767209 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140514936538240 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29360] ppid=29356 vsize=26538700 memory=4108 CPUtime=5.22 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 29181 0 -1 1077944384 5296 0 0 0 387 135 0 0 20 0 28 0 101767210 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140514490448272 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29361] ppid=29356 vsize=26538700 memory=1692 CPUtime=5.23 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 29181 0 -1 1077944384 4696 0 0 0 390 133 0 0 20 0 28 0 101767210 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140514489395472 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29362] ppid=29356 vsize=26538700 memory=4140 CPUtime=5.24 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 29181 0 -1 1077944384 5313 0 0 0 399 125 0 0 20 0 28 0 101767210 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140514488343184 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29363] ppid=29356 vsize=26538700 memory=29556 CPUtime=5.14 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 29181 0 -1 1077944384 4151 0 0 0 390 124 0 0 20 0 28 0 101767210 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140514487290384 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29364] ppid=29356 vsize=26538700 memory=1296 CPUtime=5.22 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 29181 0 -1 1077944384 6322 0 0 0 387 135 0 0 20 0 28 0 101767210 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140514486238096 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29365] ppid=29356 vsize=26538700 memory=2396 CPUtime=5.22 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 29181 0 -1 1077944384 5363 0 0 0 388 134 0 0 20 0 28 0 101767210 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140514485185296 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29366] ppid=29356 vsize=26538700 memory=1728 CPUtime=5.2 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 29181 0 -1 1077944384 5260 0 0 0 390 130 0 0 20 0 28 0 101767210 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140514484133008 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29367] ppid=29356 vsize=26538700 memory=1384 CPUtime=5.23 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 29181 0 -1 1077944384 4272 0 0 0 393 130 0 0 20 0 28 0 101767210 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140514483080208 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29368] ppid=29356 vsize=26538700 memory=1236 CPUtime=1.53 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) R 29356 29356 29181 0 -1 1077944384 12582 0 0 0 151 2 0 0 20 0 28 0 101767211 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513405536368 140514932308610 0 0 0 16800975 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29369] ppid=29356 vsize=26538700 memory=2424 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 29181 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 101767212 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513404482400 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29370] ppid=29356 vsize=26538700 memory=1580 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 29181 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 101767212 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513403430016 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29371] ppid=29356 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101767214 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513402378320 140514932316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29372] ppid=29356 vsize=26538700 memory=2244 CPUtime=0.8 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) D 29356 29356 29181 0 -1 4202560 4449 0 0 0 79 1 0 0 20 0 28 0 101767214 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513401307064 140514912998951 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29373] ppid=29356 vsize=26538700 memory=4124 CPUtime=0.86 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) D 29356 29356 29181 0 -1 4202560 5373 0 0 0 84 2 0 0 20 0 28 0 101767214 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513400259064 140514925014615 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29374] ppid=29356 vsize=26538700 memory=2196 CPUtime=0.73 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) R 29356 29356 29181 0 -1 4202560 3612 0 0 0 72 1 0 0 20 0 28 0 101767214 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513399202120 140514924586912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29375] ppid=29356 vsize=26538700 memory=6508 CPUtime=0.63 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) D 29356 29356 29181 0 -1 4202560 5421 0 0 0 61 2 0 0 20 0 28 0 101767214 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513398168224 140514911432957 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29376] ppid=29356 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101767215 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513397115232 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29377] ppid=29356 vsize=26538700 memory=-2023959437020729679 CPUtime=0.01 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 29181 0 -1 1077944384 421 0 0 0 0 1 0 0 20 0 28 0 101767215 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513396062512 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29378] ppid=29356 vsize=26538700 memory=6943526294502006880 CPUtime=1.42 cores=0-7
/proc/29358/task/29378/stat : 29378 (java) R 29356 29356 29181 0 -1 4202560 175 0 0 0 140 2 0 0 20 0 28 0 101771763 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513388053608 140514572108509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29379] ppid=29356 vsize=26538700 memory=6944656592455097440 CPUtime=1.55 cores=0-7
/proc/29358/task/29379/stat : 29379 (java) R 29356 29356 29181 0 -1 4202560 46 0 0 0 155 0 0 0 20 0 28 0 101771763 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513387000328 140514572108412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29380] ppid=29356 vsize=26538700 memory=6944652177228980320 CPUtime=1.57 cores=0-7
/proc/29358/task/29380/stat : 29380 (java) R 29356 29356 29181 0 -1 4202560 112 0 0 0 157 0 0 0 20 0 28 0 101771763 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513385947560 140514572442030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29381] ppid=29356 vsize=26538700 memory=-7812736537705029536 CPUtime=1.51 cores=0-7
/proc/29358/task/29381/stat : 29381 (java) R 29356 29356 29181 0 -1 4202560 54 0 0 0 151 0 0 0 20 0 28 0 101771763 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513384895080 140514572175873 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29382] ppid=29356 vsize=26538700 memory=7223888617102928471 CPUtime=1.48 cores=0-7
/proc/29358/task/29382/stat : 29382 (java) R 29356 29356 29181 0 -1 4202560 47 0 0 0 148 0 0 0 20 0 28 0 101771763 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513383842824 140514572108362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29383] ppid=29356 vsize=26538700 memory=7305792226182587989 CPUtime=1.56 cores=0-7
/proc/29358/task/29383/stat : 29383 (java) R 29356 29356 29181 0 -1 4202560 89 0 0 0 156 0 0 0 20 0 28 0 101771763 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513382791464 140514572174299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29384] ppid=29356 vsize=26538700 memory=8225999884150666422 CPUtime=1.5 cores=0-7
/proc/29358/task/29384/stat : 29384 (java) R 29356 29356 29181 0 -1 4202560 96 0 0 0 150 0 0 0 20 0 28 0 101771764 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513381736264 140514572108509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29385] ppid=29356 vsize=26538700 memory=1004 CPUtime=1.53 cores=0-7
/proc/29358/task/29385/stat : 29385 (java) R 29356 29356 29181 0 -1 4202560 32 0 0 0 153 0 0 0 20 0 28 0 101771764 27175628800 1864387 33554432000 4194304 4196468 140722932268016 140513380683576 140514572442030 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
Current children cumulated CPU time: 97.04 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7458932 KiB

[startup+47.4019 s]
/proc/loadavg: 4.65 7.17 7.88 12/207 29385
/proc/meminfo: memFree=19669012/32770624 swapFree=67108860/67108860
[pid=29356] ppid=29353 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 29181 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101767208 9740288 346 33554432000 4194304 5098028 140732962054368 140732962052472 139978913178236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29937664 140732962063460 140732962063671 140732962063671 140732962066411 0
/proc/29356/statm: 2378 346 289 221 0 87 0
[pid=29358] ppid=29356 vsize=26538700 memory=7467172 CPUtime=98.6 cores=0-7
/proc/29358/stat : 29358 (java) S 29356 29356 29181 0 -1 1077944320 98669 0 0 0 8725 1135 0 0 20 0 28 0 101767209 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140722932250560 140514932297463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
/proc/29358/statm: 6634675 1866793 3270 1 0 6621909 0
[pid=29358/tid=29359] ppid=29356 vsize=26538700 memory=4616 CPUtime=38.46 cores=0-7
/proc/29358/task/29359/stat : 29359 (java) S 29356 29356 29181 0 -1 1077944384 21683 0 0 0 3778 68 0 0 20 0 28 0 101767209 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140514936538240 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29360] ppid=29356 vsize=26538700 memory=792 CPUtime=5.22 cores=0-7
/proc/29358/task/29360/stat : 29360 (java) S 29356 29356 29181 0 -1 1077944384 5296 0 0 0 387 135 0 0 20 0 28 0 101767210 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140514490448272 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29361] ppid=29356 vsize=26538700 memory=1424 CPUtime=5.23 cores=0-7
/proc/29358/task/29361/stat : 29361 (java) S 29356 29356 29181 0 -1 1077944384 4696 0 0 0 390 133 0 0 20 0 28 0 101767210 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140514489395472 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29362] ppid=29356 vsize=26538700 memory=1936 CPUtime=5.24 cores=0-7
/proc/29358/task/29362/stat : 29362 (java) S 29356 29356 29181 0 -1 1077944384 5313 0 0 0 399 125 0 0 20 0 28 0 101767210 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140514488343184 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29363] ppid=29356 vsize=26538700 memory=1224 CPUtime=5.14 cores=0-7
/proc/29358/task/29363/stat : 29363 (java) S 29356 29356 29181 0 -1 1077944384 4151 0 0 0 390 124 0 0 20 0 28 0 101767210 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140514487290384 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29364] ppid=29356 vsize=26538700 memory=1716 CPUtime=5.22 cores=0-7
/proc/29358/task/29364/stat : 29364 (java) S 29356 29356 29181 0 -1 1077944384 6322 0 0 0 387 135 0 0 20 0 28 0 101767210 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140514486238096 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29365] ppid=29356 vsize=26538700 memory=10588 CPUtime=5.22 cores=0-7
/proc/29358/task/29365/stat : 29365 (java) S 29356 29356 29181 0 -1 1077944384 5363 0 0 0 388 134 0 0 20 0 28 0 101767210 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140514485185296 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29366] ppid=29356 vsize=26538700 memory=1004 CPUtime=5.2 cores=0-7
/proc/29358/task/29366/stat : 29366 (java) S 29356 29356 29181 0 -1 1077944384 5260 0 0 0 390 130 0 0 20 0 28 0 101767210 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140514484133008 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29367] ppid=29356 vsize=26538700 memory=11040 CPUtime=5.23 cores=0-7
/proc/29358/task/29367/stat : 29367 (java) S 29356 29356 29181 0 -1 1077944384 4272 0 0 0 393 130 0 0 20 0 28 0 101767210 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140514483080208 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29368] ppid=29356 vsize=26538700 memory=5700 CPUtime=1.53 cores=0-7
/proc/29358/task/29368/stat : 29368 (java) S 29356 29356 29181 0 -1 1077944384 12582 0 0 0 151 2 0 0 20 0 28 0 101767211 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513405536368 140514932308610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29369] ppid=29356 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/29358/task/29369/stat : 29369 (java) S 29356 29356 29181 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 101767212 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513404482400 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29370] ppid=29356 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/29358/task/29370/stat : 29370 (java) S 29356 29356 29181 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 101767212 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513403430016 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29371] ppid=29356 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/29358/task/29371/stat : 29371 (java) S 29356 29356 29181 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101767214 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513402378320 140514932316059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29372] ppid=29356 vsize=26538700 memory=1936 CPUtime=0.98 cores=0-7
/proc/29358/task/29372/stat : 29372 (java) R 29356 29356 29181 0 -1 4202560 5331 0 0 0 96 2 0 0 20 0 28 0 101767214 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513401307208 140514913825143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29373] ppid=29356 vsize=26538700 memory=1224 CPUtime=0.99 cores=0-7
/proc/29358/task/29373/stat : 29373 (java) R 29356 29356 29181 0 -1 4202560 5787 0 0 0 97 2 0 0 20 0 28 0 101767214 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513400254960 140514916688842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29374] ppid=29356 vsize=26538700 memory=1716 CPUtime=0.92 cores=0-7
/proc/29358/task/29374/stat : 29374 (java) R 29356 29356 29181 0 -1 4202560 4694 0 0 0 91 1 0 0 20 0 28 0 101767214 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513399207128 140514913817138 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29375] ppid=29356 vsize=26538700 memory=10588 CPUtime=0.63 cores=0-7
/proc/29358/task/29375/stat : 29375 (java) S 29356 29356 29181 0 -1 1077944384 5439 0 0 0 61 2 0 0 20 0 28 0 101767214 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513398168304 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29376] ppid=29356 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/29358/task/29376/stat : 29376 (java) S 29356 29356 29181 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101767215 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513397115232 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29377] ppid=29356 vsize=26538700 memory=15872 CPUtime=0.01 cores=0-7
/proc/29358/task/29377/stat : 29377 (java) S 29356 29356 29181 0 -1 1077944384 421 0 0 0 0 1 0 0 20 0 28 0 101767215 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513396062512 140514932308610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29378] ppid=29356 vsize=26538700 memory=4044 CPUtime=1.52 cores=0-7
/proc/29358/task/29378/stat : 29378 (java) S 29356 29356 29181 0 -1 1077944384 175 0 0 0 150 2 0 0 20 0 28 0 101771763 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513388056256 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29379] ppid=29356 vsize=26538700 memory=16444 CPUtime=1.65 cores=0-7
/proc/29358/task/29379/stat : 29379 (java) S 29356 29356 29181 0 -1 1077944384 46 0 0 0 165 0 0 0 20 0 28 0 101771763 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513387004880 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29380] ppid=29356 vsize=26538700 memory=17516 CPUtime=1.7 cores=0-7
/proc/29358/task/29380/stat : 29380 (java) S 29356 29356 29181 0 -1 1077944384 117 0 0 0 170 0 0 0 20 0 28 0 101771763 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513385952592 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29381] ppid=29356 vsize=26538700 memory=1796 CPUtime=1.61 cores=0-7
/proc/29358/task/29381/stat : 29381 (java) R 29356 29356 29181 0 -1 4202560 55 0 0 0 161 0 0 0 20 0 28 0 101771763 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513384895176 140514932309398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29382] ppid=29356 vsize=26538700 memory=636 CPUtime=1.68 cores=0-7
/proc/29358/task/29382/stat : 29382 (java) S 29356 29356 29181 0 -1 1077944384 47 0 0 0 168 0 0 0 20 0 28 0 101771763 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513383847504 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29383] ppid=29356 vsize=26538700 memory=960 CPUtime=1.66 cores=0-7
/proc/29358/task/29383/stat : 29383 (java) S 29356 29356 29181 0 -1 1077944384 89 0 0 0 166 0 0 0 20 0 28 0 101771763 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513382794704 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29384] ppid=29356 vsize=26538700 memory=1236 CPUtime=1.67 cores=0-7
/proc/29358/task/29384/stat : 29384 (java) S 29356 29356 29181 0 -1 1077944384 96 0 0 0 166 1 0 0 20 0 28 0 101771764 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513381741392 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
[pid=29358/tid=29385] ppid=29356 vsize=26538700 memory=2424 CPUtime=1.72 cores=0-7
/proc/29358/task/29385/stat : 29385 (java) S 29356 29356 29181 0 -1 1077944384 32 0 0 0 172 0 0 0 20 0 28 0 101771764 27175628800 1866793 33554432000 4194304 4196468 140722932268016 140513380688592 140514932307669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8413184 140722932270226 140722932270403 140722932270403 140722932273103 0
Current children cumulated CPU time: 98.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7468556 KiB

[startup+47.5012 s]
/proc/loadavg: 4.65 7.17 7.88 12/207 29385
/proc/meminfo: memFree=19669012/32770624 swapFree=67108860/67108860
[pid=29356] ppid=29353 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29356/stat : 29356 (xcsp3-exec) S 29353 29356 29181 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101767208 9740288 346 33554432000 4194304 5098028 140732962054368 140732962052472 139978913178236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29937664 140732962063460 140732962063671 140732962063671 140732962066411 0
/proc/29356/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

Child status: 0
Real time (s): 47.5029
CPU time (s): 98.743
CPU user time (s): 87.3481
CPU system time (s): 11.3949
CPU usage (%): 207.867
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 7468556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.3481
system time used= 11.3949
maximum resident set size= 7470220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7682
involuntary context switches= 985


# summary of solver processes directly reported to runsolver:
#   pid: 29356
#   total CPU time (s): 98.743
#   total CPU user time (s): 87.3481
#   total CPU system time (s): 11.3949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.496304 second user time and 0.339108 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-14 06:46:42
IDJOB=4271194
IDBENCH=121599
IDSOLVER=2662
FILE ID=node150/4271194-1502686860
RUNJOBID= node150-1502683480-29208
PBS_JOBID= 20628990
Free space on /tmp= 61604 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Random/Random-m1-5-2X-05c/rand-5-2X-05c-15.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271194-1502686860/watcher-4271194-1502686860 -o /tmp/evaluation-result-4271194-1502686860/solver-4271194-1502686860 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502683480-29208 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1513356745 HOME/instance-4271194-1502686860.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 5c93a58f751270bf50b32fbeed27ba19
RANDOM SEED=1513356745

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27124268 kB
MemAvailable:   31976244 kB
Buffers:          262916 kB
Cached:          4865252 kB
SwapCached:            0 kB
Active:           757352 kB
Inactive:        4423472 kB
Active(anon):      55520 kB
Inactive(anon):    25068 kB
Active(file):     701832 kB
Inactive(file):  4398404 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24340 kB
Writeback:             0 kB
AnonPages:         58924 kB
Mapped:            44420 kB
Shmem:             25224 kB
Slab:             161092 kB
SReclaimable:     135148 kB
SUnreclaim:        25944 kB
KernelStack:        3264 kB
PageTables:         4608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61600 MiB
End job on node150 at 2017-08-14 06:47:30