Trace number 4249314

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)OPT1 145.451 89.0214

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-04-06.xml
MD5SUMbc597584f482d34acd2131afdcab0789
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.109919
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints91
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":24}]
Minimum variable degree17
Maximum variable degree17
Distribution of variable degrees[{"degree":17,"count":24}]
Minimum constraint arity4
Maximum constraint arity24
Distribution of constraint arities[{"arity":4,"count":90},{"arity":24,"count":1}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249314-1502051303.xml"  -tl '2400s' -p 4 -x 0
0.00/0.28	c [HOME/instance-4249314-1502051303.xml, -tl, 2400s, -p, 4, -x, 0]
0.00/0.34	c 4 solvers in parallel
0.00/0.41	c parse instance...
142.04/88.07	c solve instance...
143.67/88.53	o 3 
143.67/88.58	o 1 
145.12/88.97	s OPTIMUM FOUND
145.12/88.97	v <instantiation>
145.12/88.97	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] </list>
145.12/88.97	v 	<values>0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 </values>
145.12/88.97	v </instantiation>

Verifier Data 

OK	1

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-4249314-1502051303/watcher-4249314-1502051303 -o /tmp/evaluation-result-4249314-1502051303/solver-4249314-1502051303 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 123571679 HOME/instance-4249314-1502051303.xml 

pid=5320
running on 4 cores: 0,2,4,6

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: 2.73 3.35 3.18 5/200 5323
/proc/meminfo: memFree=26164284/32770624 swapFree=0/322584
[pid=5323] ppid=5320 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (runsolver) D 5320 5323 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 52945575 24240128 107 18446744073709551615 4194304 4338465 140727145275152 140727145272792 139745399812823 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 29032448 140727145283671 140727145284169 140727145284169 140727145287626 0
/proc/5323/statm: 5918 107 53 36 0 2156 0

[startup+0.100248 s]
/proc/loadavg: 2.73 3.35 3.18 5/200 5323
/proc/meminfo: memFree=26164284/32770624 swapFree=0/322584
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200284 s]
/proc/loadavg: 2.73 3.35 3.18 5/200 5323
/proc/meminfo: memFree=26164284/32770624 swapFree=0/322584
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300602 s]
/proc/loadavg: 2.73 3.35 3.18 5/200 5323
/proc/meminfo: memFree=26164284/32770624 swapFree=0/322584
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700281 s]
/proc/loadavg: 2.73 3.35 3.18 5/200 5323
/proc/meminfo: memFree=26164284/32770624 swapFree=0/322584
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50075 s]
/proc/loadavg: 2.91 3.38 3.19 3/216 5339
/proc/meminfo: memFree=25918020/32770624 swapFree=0/322612
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5325] ppid=5323 vsize=12919328 CPUtime=1.87 cores=0,2,4,6
/proc/5325/stat : 5325 (java) S 5323 5323 25100 0 -1 1077944320 13447 0 0 0 182 5 0 0 20 0 15 0 52945584 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140727644362608 140651651964663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
/proc/5325/statm: 3229832 32536 3157 1 0 3218124 0
[pid=5325/tid=5326] ppid=5323 vsize=12919328 CPUtime=1.3 cores=0,2,4,6
/proc/5325/task/5326/stat : 5326 (java) R 5323 5323 25100 0 -1 4202560 9342 0 0 0 126 4 0 0 20 0 15 0 52945585 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651656200552 140651273155169 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5327] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5327/stat : 5327 (java) S 5323 5323 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52945585 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651595274768 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5328] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5328/stat : 5328 (java) S 5323 5323 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52945585 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651594222224 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5329] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5329/stat : 5329 (java) S 5323 5323 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52945585 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651593169168 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5330] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5330/stat : 5330 (java) S 5323 5323 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52945585 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651592116624 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5331] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5331/stat : 5331 (java) S 5323 5323 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651203156720 140651651975810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5332] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5332/stat : 5332 (java) S 5323 5323 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651202102944 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5333] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5333/stat : 5333 (java) S 5323 5323 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651201049840 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5334] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5334/stat : 5334 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651199998416 140651651983259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5335] ppid=5323 vsize=12919328 CPUtime=0.16 cores=0,2,4,6
/proc/5325/task/5335/stat : 5335 (java) S 5323 5323 25100 0 -1 1077944384 646 0 0 0 16 0 0 0 20 0 15 0 52945590 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651198945520 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5336] ppid=5323 vsize=12919328 CPUtime=0.16 cores=0,2,4,6
/proc/5325/task/5336/stat : 5336 (java) S 5323 5323 25100 0 -1 1077944384 689 0 0 0 16 0 0 0 20 0 15 0 52945590 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651197892976 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5337] ppid=5323 vsize=12919328 CPUtime=0.22 cores=0,2,4,6
/proc/5325/task/5337/stat : 5337 (java) S 5323 5323 25100 0 -1 1077944384 1431 0 0 0 22 0 0 0 20 0 15 0 52945590 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651196839920 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5338] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5338/stat : 5338 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651195787616 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5339] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5339/stat : 5339 (java) S 5323 5323 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 52945594 13229391872 32536 18446744073709551615 4194304 4196468 140727644380064 140651194735664 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 12928840

[startup+3.10154 s]
/proc/loadavg: 2.91 3.38 3.19 6/216 5339
/proc/meminfo: memFree=25438976/32770624 swapFree=0/322612
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5325] ppid=5323 vsize=12919328 CPUtime=4.08 cores=0,2,4,6
/proc/5325/stat : 5325 (java) S 5323 5323 25100 0 -1 1077944320 15961 0 0 0 371 37 0 0 20 0 15 0 52945584 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140727644362608 140651651964663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
/proc/5325/statm: 3229832 99698 3183 1 0 3218124 0
[pid=5325/tid=5326] ppid=5323 vsize=12919328 CPUtime=2.7 cores=0,2,4,6
/proc/5325/task/5326/stat : 5326 (java) R 5323 5323 25100 0 -1 4202560 9453 0 0 0 266 4 0 0 20 0 15 0 52945585 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651656202672 140651273154902 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5327] ppid=5323 vsize=12919328 CPUtime=0.18 cores=0,2,4,6
/proc/5325/task/5327/stat : 5327 (java) S 5323 5323 25100 0 -1 1077944384 501 0 0 0 11 7 0 0 20 0 15 0 52945585 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651595274768 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5328] ppid=5323 vsize=12919328 CPUtime=0.18 cores=0,2,4,6
/proc/5325/task/5328/stat : 5328 (java) S 5323 5323 25100 0 -1 1077944384 228 0 0 0 11 7 0 0 20 0 15 0 52945585 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651594222224 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5329] ppid=5323 vsize=12919328 CPUtime=0.18 cores=0,2,4,6
/proc/5325/task/5329/stat : 5329 (java) S 5323 5323 25100 0 -1 1077944384 308 0 0 0 11 7 0 0 20 0 15 0 52945585 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651593169168 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5330] ppid=5323 vsize=12919328 CPUtime=0.18 cores=0,2,4,6
/proc/5325/task/5330/stat : 5330 (java) S 5323 5323 25100 0 -1 1077944384 264 0 0 0 11 7 0 0 20 0 15 0 52945585 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651592116624 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5331] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5331/stat : 5331 (java) S 5323 5323 25100 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651203156720 140651651975810 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5332] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5332/stat : 5332 (java) S 5323 5323 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651202102944 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5333] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5333/stat : 5333 (java) S 5323 5323 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651201049840 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5334] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5334/stat : 5334 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651199998416 140651651983259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5335] ppid=5323 vsize=12919328 CPUtime=0.16 cores=0,2,4,6
/proc/5325/task/5335/stat : 5335 (java) S 5323 5323 25100 0 -1 1077944384 646 0 0 0 16 0 0 0 20 0 15 0 52945590 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651198945520 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5336] ppid=5323 vsize=12919328 CPUtime=0.16 cores=0,2,4,6
/proc/5325/task/5336/stat : 5336 (java) S 5323 5323 25100 0 -1 1077944384 689 0 0 0 16 0 0 0 20 0 15 0 52945590 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651197892976 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5337] ppid=5323 vsize=12919328 CPUtime=0.24 cores=0,2,4,6
/proc/5325/task/5337/stat : 5337 (java) S 5323 5323 25100 0 -1 1077944384 2178 0 0 0 24 0 0 0 20 0 15 0 52945590 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651196839920 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5338] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5338/stat : 5338 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651195787616 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5339] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5339/stat : 5339 (java) S 5323 5323 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 52945594 13229391872 99698 18446744073709551615 4194304 4196468 140727644380064 140651194735664 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 12928840

[startup+6.30071 s]
/proc/loadavg: 3.16 3.42 3.21 9/216 5339
/proc/meminfo: memFree=24820744/32770624 swapFree=0/322612
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5325] ppid=5323 vsize=12919328 CPUtime=8.88 cores=0,2,4,6
/proc/5325/stat : 5325 (java) S 5323 5323 25100 0 -1 1077944320 35186 0 0 0 821 67 0 0 20 0 15 0 52945584 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140727644362608 140651651964663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
/proc/5325/statm: 3229832 192737 3208 1 0 3218124 0
[pid=5325/tid=5326] ppid=5323 vsize=12919328 CPUtime=4.71 cores=0,2,4,6
/proc/5325/task/5326/stat : 5326 (java) S 5323 5323 25100 0 -1 1077944384 9533 0 0 0 466 5 0 0 20 0 15 0 52945585 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651656203200 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5327] ppid=5323 vsize=12919328 CPUtime=0.71 cores=0,2,4,6
/proc/5325/task/5327/stat : 5327 (java) S 5323 5323 25100 0 -1 1077944384 5148 0 0 0 57 14 0 0 20 0 15 0 52945585 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651595274768 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5328] ppid=5323 vsize=12919328 CPUtime=0.71 cores=0,2,4,6
/proc/5325/task/5328/stat : 5328 (java) S 5323 5323 25100 0 -1 1077944384 4112 0 0 0 56 15 0 0 20 0 15 0 52945585 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651594222224 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5329] ppid=5323 vsize=12919328 CPUtime=0.71 cores=0,2,4,6
/proc/5325/task/5329/stat : 5329 (java) S 5323 5323 25100 0 -1 1077944384 4669 0 0 0 57 14 0 0 20 0 15 0 52945585 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651593169168 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5330] ppid=5323 vsize=12919328 CPUtime=0.71 cores=0,2,4,6
/proc/5325/task/5330/stat : 5330 (java) S 5323 5323 25100 0 -1 1077944384 4984 0 0 0 57 14 0 0 20 0 15 0 52945585 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651592116624 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5331] ppid=5323 vsize=12919328 CPUtime=0.64 cores=0,2,4,6
/proc/5325/task/5331/stat : 5331 (java) R 5323 5323 25100 0 -1 4202560 1384 0 0 0 64 0 0 0 20 0 15 0 52945587 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651203155264 140651636665296 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5332] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5332/stat : 5332 (java) S 5323 5323 25100 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651202102944 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5333] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5333/stat : 5333 (java) S 5323 5323 25100 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651201049840 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5334] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5334/stat : 5334 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651199998416 140651651983259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5335] ppid=5323 vsize=12919328 CPUtime=0.17 cores=0,2,4,6
/proc/5325/task/5335/stat : 5335 (java) S 5323 5323 25100 0 -1 1077944384 859 0 0 0 17 0 0 0 20 0 15 0 52945590 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651198945520 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5336] ppid=5323 vsize=12919328 CPUtime=0.17 cores=0,2,4,6
/proc/5325/task/5336/stat : 5336 (java) S 5323 5323 25100 0 -1 1077944384 809 0 0 0 17 0 0 0 20 0 15 0 52945590 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651197892976 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5337] ppid=5323 vsize=12919328 CPUtime=0.25 cores=0,2,4,6
/proc/5325/task/5337/stat : 5337 (java) S 5323 5323 25100 0 -1 1077944384 2234 0 0 0 25 0 0 0 20 0 15 0 52945590 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651196839920 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5338] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5338/stat : 5338 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651195787616 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5339] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5339/stat : 5339 (java) S 5323 5323 25100 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 52945594 13229391872 192737 18446744073709551615 4194304 4196468 140727644380064 140651194735664 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
Current children cumulated CPU time (s) 8.88
Current children cumulated vsize (KiB) 12928840

[startup+12.7065 s]
/proc/loadavg: 3.30 3.45 3.22 6/216 5339
/proc/meminfo: memFree=23815952/32770624 swapFree=0/322600
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5325] ppid=5323 vsize=12919328 CPUtime=17.83 cores=0,2,4,6
/proc/5325/stat : 5325 (java) S 5323 5323 25100 0 -1 1077944320 40617 0 0 0 1662 121 0 0 20 0 15 0 52945584 13229391872 311591 18446744073709551615 4194304 4196468 140727644380064 140727644362608 140651651964663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
/proc/5325/statm: 3229832 311591 3211 1 0 3218124 0
[pid=5325/tid=5326] ppid=5323 vsize=12919328 CPUtime=9.47 cores=0,2,4,6
/proc/5325/task/5326/stat : 5326 (java) S 5323 5323 25100 0 -1 1077944384 9617 0 0 0 941 6 0 0 20 0 15 0 52945585 13229391872 311591 18446744073709551615 4194304 4196468 140727644380064 140651656203120 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5327] ppid=5323 vsize=12919328 CPUtime=1.54 cores=0,2,4,6
/proc/5325/task/5327/stat : 5327 (java) R 5323 5323 25100 0 -1 4202560 6077 0 0 0 127 27 0 0 20 0 15 0 52945585 13229391872 311591 18446744073709551615 4194304 4196468 140727644380064 140651595274768 140651636992537 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5328] ppid=5323 vsize=12919328 CPUtime=1.53 cores=0,2,4,6
/proc/5325/task/5328/stat : 5328 (java) R 5323 5323 25100 0 -1 4202560 4874 0 0 0 126 27 0 0 20 0 15 0 52945585 13229391872 311591 18446744073709551615 4194304 4196468 140727644380064 140651594222424 140651645067574 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0

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

[pid=5325] ppid=5323 vsize=12919328 CPUtime=136.14 cores=0,2,4,6
/proc/5325/stat : 5325 (java) S 5323 5323 25100 0 -1 1077944320 152097 0 0 0 12879 735 0 0 20 0 15 0 52945584 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140727644362608 140651651964663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
/proc/5325/statm: 3229832 1896752 3239 1 0 3218124 0
[pid=5325/tid=5326] ppid=5323 vsize=12919328 CPUtime=51.24 cores=0,2,4,6
/proc/5325/task/5326/stat : 5326 (java) R 5323 5323 25100 0 -1 4202560 15584 0 0 0 5116 8 0 0 20 0 15 0 52945585 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651656201984 140651273309511 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5327] ppid=5323 vsize=12919328 CPUtime=17.29 cores=0,2,4,6
/proc/5325/task/5327/stat : 5327 (java) S 5323 5323 25100 0 -1 1077944384 27295 0 0 0 1558 171 0 0 20 0 15 0 52945585 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651595274768 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5328] ppid=5323 vsize=12919328 CPUtime=17.34 cores=0,2,4,6
/proc/5325/task/5328/stat : 5328 (java) S 5323 5323 25100 0 -1 1077944384 25309 0 0 0 1552 182 0 0 20 0 15 0 52945585 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651594222224 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5329] ppid=5323 vsize=12919328 CPUtime=17.35 cores=0,2,4,6
/proc/5325/task/5329/stat : 5329 (java) S 5323 5323 25100 0 -1 1077944384 28953 0 0 0 1543 192 0 0 20 0 15 0 52945585 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651593169168 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5330] ppid=5323 vsize=12919328 CPUtime=17.4 cores=0,2,4,6
/proc/5325/task/5330/stat : 5330 (java) S 5323 5323 25100 0 -1 1077944384 24539 0 0 0 1569 171 0 0 20 0 15 0 52945585 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651592116624 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5331] ppid=5323 vsize=12919328 CPUtime=14.27 cores=0,2,4,6
/proc/5325/task/5331/stat : 5331 (java) S 5323 5323 25100 0 -1 1077944384 17673 0 0 0 1425 2 0 0 20 0 15 0 52945587 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651203156720 140651651975810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5332] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5332/stat : 5332 (java) S 5323 5323 25100 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651202103008 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5333] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5333/stat : 5333 (java) S 5323 5323 25100 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651201049856 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5334] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5334/stat : 5334 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651199998416 140651651983259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5335] ppid=5323 vsize=12919328 CPUtime=0.33 cores=0,2,4,6
/proc/5325/task/5335/stat : 5335 (java) S 5323 5323 25100 0 -1 1077944384 2729 0 0 0 32 1 0 0 20 0 15 0 52945590 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651198945520 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5336] ppid=5323 vsize=12919328 CPUtime=0.35 cores=0,2,4,6
/proc/5325/task/5336/stat : 5336 (java) S 5323 5323 25100 0 -1 1077944384 2358 0 0 0 35 0 0 0 20 0 15 0 52945590 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651197892976 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5337] ppid=5323 vsize=12919328 CPUtime=0.44 cores=0,2,4,6
/proc/5325/task/5337/stat : 5337 (java) S 5323 5323 25100 0 -1 1077944384 5927 0 0 0 43 1 0 0 20 0 15 0 52945590 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651196839920 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5338] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5338/stat : 5338 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651195787616 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5339] ppid=5323 vsize=12919328 CPUtime=0.03 cores=0,2,4,6
/proc/5325/task/5339/stat : 5339 (java) S 5323 5323 25100 0 -1 1077944384 227 0 0 0 1 2 0 0 20 0 15 0 52945594 13229391872 1896752 18446744073709551615 4194304 4196468 140727644380064 140651194735664 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
Current children cumulated CPU time (s) 136.14
Current children cumulated vsize (KiB) 12928840

[startup+86.4016 s]
/proc/loadavg: 3.60 3.51 3.26 9/216 5341
/proc/meminfo: memFree=13325428/32770624 swapFree=0/322672
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5325] ppid=5323 vsize=12919328 CPUtime=140.42 cores=0,2,4,6
/proc/5325/stat : 5325 (java) S 5323 5323 25100 0 -1 1077944320 152749 0 0 0 13280 762 0 0 20 0 15 0 52945584 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140727644362608 140651651964663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
/proc/5325/statm: 3229832 1985328 3239 1 0 3218124 0
[pid=5325/tid=5326] ppid=5323 vsize=12919328 CPUtime=54.08 cores=0,2,4,6
/proc/5325/task/5326/stat : 5326 (java) R 5323 5323 25100 0 -1 4202560 15604 0 0 0 5400 8 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651656202624 140651273155991 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5327] ppid=5323 vsize=12919328 CPUtime=17.65 cores=0,2,4,6
/proc/5325/task/5327/stat : 5327 (java) S 5323 5323 25100 0 -1 1077944384 27461 0 0 0 1584 181 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651595274768 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5328] ppid=5323 vsize=12919328 CPUtime=17.7 cores=0,2,4,6
/proc/5325/task/5328/stat : 5328 (java) S 5323 5323 25100 0 -1 1077944384 25344 0 0 0 1587 183 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651594222224 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5329] ppid=5323 vsize=12919328 CPUtime=17.72 cores=0,2,4,6
/proc/5325/task/5329/stat : 5329 (java) S 5323 5323 25100 0 -1 1077944384 29221 0 0 0 1571 201 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651593169168 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5330] ppid=5323 vsize=12919328 CPUtime=17.75 cores=0,2,4,6
/proc/5325/task/5330/stat : 5330 (java) S 5323 5323 25100 0 -1 1077944384 24679 0 0 0 1596 179 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651592116624 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5331] ppid=5323 vsize=12919328 CPUtime=14.27 cores=0,2,4,6
/proc/5325/task/5331/stat : 5331 (java) S 5323 5323 25100 0 -1 1077944384 17696 0 0 0 1425 2 0 0 20 0 15 0 52945587 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651203156720 140651651975810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5332] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5332/stat : 5332 (java) S 5323 5323 25100 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651202103008 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5333] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5333/stat : 5333 (java) S 5323 5323 25100 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651201049856 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5334] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5334/stat : 5334 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651199998416 140651651983259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5335] ppid=5323 vsize=12919328 CPUtime=0.33 cores=0,2,4,6
/proc/5325/task/5335/stat : 5335 (java) S 5323 5323 25100 0 -1 1077944384 2729 0 0 0 32 1 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651198945520 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5336] ppid=5323 vsize=12919328 CPUtime=0.35 cores=0,2,4,6
/proc/5325/task/5336/stat : 5336 (java) S 5323 5323 25100 0 -1 1077944384 2358 0 0 0 35 0 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651197892976 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5337] ppid=5323 vsize=12919328 CPUtime=0.44 cores=0,2,4,6
/proc/5325/task/5337/stat : 5337 (java) S 5323 5323 25100 0 -1 1077944384 5927 0 0 0 43 1 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651196839920 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5338] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5338/stat : 5338 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651195787616 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5339] ppid=5323 vsize=12919328 CPUtime=0.04 cores=0,2,4,6
/proc/5325/task/5339/stat : 5339 (java) S 5323 5323 25100 0 -1 1077944384 227 0 0 0 2 2 0 0 20 0 15 0 52945594 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651194735664 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
Current children cumulated CPU time (s) 140.42
Current children cumulated vsize (KiB) 12928840

[startup+88.0008 s]
/proc/loadavg: 3.60 3.51 3.26 6/216 5341
/proc/meminfo: memFree=13015312/32770624 swapFree=0/322672
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5325] ppid=5323 vsize=12919328 CPUtime=142.04 cores=0,2,4,6
/proc/5325/stat : 5325 (java) S 5323 5323 25100 0 -1 1077944320 152757 0 0 0 13441 763 0 0 20 0 15 0 52945584 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140727644362608 140651651964663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
/proc/5325/statm: 3229832 1985328 3239 1 0 3218124 0
[pid=5325/tid=5326] ppid=5323 vsize=12919328 CPUtime=55.68 cores=0,2,4,6
/proc/5325/task/5326/stat : 5326 (java) R 5323 5323 25100 0 -1 4202560 15607 0 0 0 5560 8 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651656200360 140651273309490 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5327] ppid=5323 vsize=12919328 CPUtime=17.65 cores=0,2,4,6
/proc/5325/task/5327/stat : 5327 (java) S 5323 5323 25100 0 -1 1077944384 27461 0 0 0 1584 181 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651595274768 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5328] ppid=5323 vsize=12919328 CPUtime=17.7 cores=0,2,4,6
/proc/5325/task/5328/stat : 5328 (java) S 5323 5323 25100 0 -1 1077944384 25344 0 0 0 1587 183 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651594222224 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5329] ppid=5323 vsize=12919328 CPUtime=17.72 cores=0,2,4,6
/proc/5325/task/5329/stat : 5329 (java) S 5323 5323 25100 0 -1 1077944384 29221 0 0 0 1571 201 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651593169168 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5330] ppid=5323 vsize=12919328 CPUtime=17.75 cores=0,2,4,6
/proc/5325/task/5330/stat : 5330 (java) S 5323 5323 25100 0 -1 1077944384 24679 0 0 0 1596 179 0 0 20 0 15 0 52945585 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651592116624 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5331] ppid=5323 vsize=12919328 CPUtime=14.27 cores=0,2,4,6
/proc/5325/task/5331/stat : 5331 (java) S 5323 5323 25100 0 -1 1077944384 17696 0 0 0 1425 2 0 0 20 0 15 0 52945587 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651203156720 140651651975810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5332] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5332/stat : 5332 (java) S 5323 5323 25100 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651202103008 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5333] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5333/stat : 5333 (java) S 5323 5323 25100 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 52945587 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651201049856 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5334] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5334/stat : 5334 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651199998416 140651651983259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5335] ppid=5323 vsize=12919328 CPUtime=0.33 cores=0,2,4,6
/proc/5325/task/5335/stat : 5335 (java) S 5323 5323 25100 0 -1 1077944384 2729 0 0 0 32 1 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651198945520 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5336] ppid=5323 vsize=12919328 CPUtime=0.35 cores=0,2,4,6
/proc/5325/task/5336/stat : 5336 (java) S 5323 5323 25100 0 -1 1077944384 2358 0 0 0 35 0 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651197892976 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5337] ppid=5323 vsize=12919328 CPUtime=0.44 cores=0,2,4,6
/proc/5325/task/5337/stat : 5337 (java) S 5323 5323 25100 0 -1 1077944384 5932 0 0 0 43 1 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651196839920 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5338] ppid=5323 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5338/stat : 5338 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52945590 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651195787616 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5339] ppid=5323 vsize=12919328 CPUtime=0.04 cores=0,2,4,6
/proc/5325/task/5339/stat : 5339 (java) S 5323 5323 25100 0 -1 1077944384 227 0 0 0 2 2 0 0 20 0 15 0 52945594 13229391872 1985328 18446744073709551615 4194304 4196468 140727644380064 140651194735664 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
Current children cumulated CPU time (s) 142.04
Current children cumulated vsize (KiB) 12928840

[startup+88.8015 s]
/proc/loadavg: 3.60 3.51 3.26 6/216 5341
/proc/meminfo: memFree=13015312/32770624 swapFree=0/322672
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5325] ppid=5323 vsize=13185584 CPUtime=144.72 cores=0,2,4,6
/proc/5325/stat : 5325 (java) S 5323 5323 25100 0 -1 1077944320 157249 0 0 0 13683 789 0 0 20 0 17 0 52945584 13502038016 2041421 18446744073709551615 4194304 4196468 140727644380064 140727644362608 140651651964663 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
/proc/5325/statm: 3296396 2041421 3243 1 0 3284688 0
[pid=5325/tid=5326] ppid=5323 vsize=13185584 CPUtime=55.76 cores=0,2,4,6
/proc/5325/task/5326/stat : 5326 (java) S 5323 5323 25100 0 -1 1077944384 15769 0 0 0 5568 8 0 0 20 0 17 0 52945585 13502038016 2041421 18446744073709551615 4194304 4196468 140727644380064 140651656205440 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5327] ppid=5323 vsize=13185584 CPUtime=17.88 cores=0,2,4,6
/proc/5325/task/5327/stat : 5327 (java) R 5323 5323 25100 0 -1 4202560 27539 0 0 0 1602 186 0 0 20 0 17 0 52945585 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651595274968 140651636991510 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5328] ppid=5323 vsize=13185584 CPUtime=17.91 cores=0,2,4,6
/proc/5325/task/5328/stat : 5328 (java) R 5323 5323 25100 0 -1 4202560 25455 0 0 0 1600 191 0 0 20 0 17 0 52945585 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651594222224 140651636992537 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5329] ppid=5323 vsize=13185584 CPUtime=17.94 cores=0,2,4,6
/proc/5325/task/5329/stat : 5329 (java) R 5323 5323 25100 0 -1 4202560 29376 0 0 0 1586 208 0 0 20 0 17 0 52945585 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651593169368 140651636992537 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5330] ppid=5323 vsize=13185584 CPUtime=17.97 cores=0,2,4,6
/proc/5325/task/5330/stat : 5330 (java) R 5323 5323 25100 0 -1 4202560 24767 0 0 0 1612 185 0 0 20 0 17 0 52945585 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651592116824 140651636986784 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5331] ppid=5323 vsize=13185584 CPUtime=14.27 cores=0,2,4,6
/proc/5325/task/5331/stat : 5331 (java) S 5323 5323 25100 0 -1 1077944384 17706 0 0 0 1425 2 0 0 20 0 17 0 52945587 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651203155232 140651651974869 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5332] ppid=5323 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5332/stat : 5332 (java) S 5323 5323 25100 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 17 0 52945587 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651202103008 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5333] ppid=5323 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5333/stat : 5333 (java) S 5323 5323 25100 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 17 0 52945587 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651201049856 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5334] ppid=5323 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5334/stat : 5334 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 52945590 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651199998416 140651651983259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5335] ppid=5323 vsize=13185584 CPUtime=0.44 cores=0,2,4,6
/proc/5325/task/5335/stat : 5335 (java) S 5323 5323 25100 0 -1 1077944384 2810 0 0 0 43 1 0 0 20 0 17 0 52945590 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651198925232 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5336] ppid=5323 vsize=13185584 CPUtime=0.45 cores=0,2,4,6
/proc/5325/task/5336/stat : 5336 (java) S 5323 5323 25100 0 -1 1077944384 2851 0 0 0 45 0 0 0 20 0 17 0 52945590 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651197877968 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5337] ppid=5323 vsize=13185584 CPUtime=0.5 cores=0,2,4,6
/proc/5325/task/5337/stat : 5337 (java) S 5323 5323 25100 0 -1 1077944384 6066 0 0 0 49 1 0 0 20 0 17 0 52945590 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651196839920 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5338] ppid=5323 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/5325/task/5338/stat : 5338 (java) S 5323 5323 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 52945590 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651195787616 140651651974869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
[pid=5325/tid=5339] ppid=5323 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/5325/task/5339/stat : 5339 (java) S 5323 5323 25100 0 -1 1077944384 227 0 0 0 2 2 0 0 20 0 17 0 52945594 13502038016 2041933 18446744073709551615 4194304 4196468 140727644380064 140651194735664 140651651975810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140727644385750 140727644385926 140727644385926 140727644389327 0
Current children cumulated CPU time (s) 144.72
Current children cumulated vsize (KiB) 13195096

[startup+89.0007 s]
/proc/loadavg: 3.60 3.51 3.26 6/216 5341
/proc/meminfo: memFree=13015312/32770624 swapFree=0/322672
[pid=5323] ppid=5320 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5320 5323 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52945575 9740288 345 18446744073709551615 4194304 5098028 140732554140368 140732554138472 139939539112572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 15183872 140732554142105 140732554142314 140732554142314 140732554145771 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5325] ppid=5323 vsize=0 CPUtime=145.41 cores=0,2,4,6
/proc/5325/stat : 5325 (java) Z 5323 5323 25100 0 -1 4227084 157672 0 0 0 13736 805 0 0 20 0 2 0 52945584 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/5325/statm: 0 0 0 0 0 0 0
[pid=5325/tid=5329] ppid=5323 vsize=0 CPUtime=18.12 cores=0,2,4,6
/proc/5325/task/5329/stat : 5329 (java) R 5323 5323 25100 0 -1 4203588 29453 0 0 0 1597 215 0 0 20 0 2 0 52945585 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 145.41
Current children cumulated vsize (KiB) 9512

Child status: 0
Real time (s): 89.0214
CPU time (s): 145.451
CPU user time (s): 137.371
CPU system time (s): 8.0802
CPU usage (%): 163.389
Max. virtual memory (cumulated for all children) (KiB): 13195096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.371
system time used= 8.0802
maximum resident set size= 8334304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158192
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= 5383
involuntary context switches= 1677

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.41701 second user time and 0.600855 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-06 22:14:16
IDJOB=4249314
IDBENCH=139741
IDSOLVER=2625
FILE ID=node133/4249314-1502051303
RUNJOBID= node133-1502042263-31898
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-04-06.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-4249314-1502051303/watcher-4249314-1502051303 -o /tmp/evaluation-result-4249314-1502051303/solver-4249314-1502051303 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 123571679 HOME/instance-4249314-1502051303.xml

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

MD5SUM BENCH= bc597584f482d34acd2131afdcab0789
RANDOM SEED=123571679

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
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:        26176872 kB
MemAvailable:   26697052 kB
Buffers:          201568 kB
Cached:           610276 kB
SwapCached:            0 kB
Active:          5814796 kB
Inactive:         347764 kB
Active(anon):    5351216 kB
Inactive(anon):    24920 kB
Active(file):     463580 kB
Inactive(file):   322844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8180 kB
Writeback:             0 kB
AnonPages:       5336140 kB
Mapped:            52000 kB
Shmem:             25276 kB
Slab:             125972 kB
SReclaimable:      99180 kB
SUnreclaim:        26792 kB
KernelStack:        3520 kB
PageTables:        15276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6362376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5189632 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= 61980 MiB
End job on node133 at 2017-08-06 22:15:45