Trace number 4403710

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
choco-solver 2019-09-20OPT4752 28.2609 7.44746

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-chr15c.xml
MD5SUMce755c39cb9d6ddef8bea85f09074509
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4752
Best CPU time to get the best result obtained on this benchmark8.00008
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints15
Number of domains2
Minimum domain size15
Maximum domain size64
Distribution of domain sizes[{"size":15,"count":15},{"size":64,"count":14}]
Minimum variable degree0
Maximum variable degree3
Distribution of variable degrees[{"degree":0,"count":211},{"degree":2,"count":16},{"degree":3,"count":13}]
Minimum constraint arity3
Maximum constraint arity15
Distribution of constraint arities[{"arity":3,"count":14},{"arity":15,"count":1}]
Number of extensional constraints14
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":14},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

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.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403710-1568989164.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4403710-1568989164.xml, -tl, 2520s, -p, 4]
0.33/0.22	c 4 solvers in parallel
0.33/0.28	c parse instance...
1.01/0.53	c solve instance...
1.01/0.60	o 29497 
1.01/0.61	o 27650 
1.30/0.61	o 26833 
1.30/0.63	o 25296 
1.30/0.64	o 25215 
1.30/0.64	o 25197 
1.30/0.65	o 25157 
1.30/0.66	o 24045 
1.30/0.66	o 23949 
1.30/0.66	o 23928 
1.30/0.67	o 23832 
1.30/0.69	o 23743 
1.30/0.69	o 22724 
1.58/0.70	o 22001 
1.58/0.71	o 21953 
1.58/0.72	o 21855 
1.58/0.74	o 21321 
1.58/0.75	o 18151 
1.58/0.78	o 13049 
1.96/0.80	o 10856 
1.96/0.81	o 10787 
1.96/0.84	o 8340 
1.96/0.90	o 8316 
2.32/0.91	o 8295 
2.32/0.91	o 8055 
2.32/0.95	o 7919 
2.32/0.96	o 7831 
2.32/0.96	o 7591 
2.32/1.00	o 7465 
3.46/1.26	o 7315 
3.46/1.28	o 7258 
3.46/1.29	o 7019 
3.88/1.34	o 6662 
4.24/1.46	o 6343 
4.63/1.52	o 6299 
4.63/1.73	o 6133 
4.63/1.73	o 6107 
6.62/2.05	o 6100 
7.86/2.34	o 5966 
8.27/2.49	o 5650 
9.40/2.76	o 5175 
9.40/2.76	o 5059 
16.95/4.64	o 5054 
22.52/6.07	o 4992 
22.52/6.07	o 4752 
28.13/7.44	s OPTIMUM FOUND
28.13/7.44	v <instantiation>
28.13/7.44	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] d[0][1] d[0][2] d[1][3] d[2][4] d[3][5] d[4][6] d[5][7] d[6][8] d[7][9] d[8][10] d[9][11] d[10][12] d[11][13] d[12][14] </list>
28.13/7.44	v 	<values>12 1 4 6 7 0 13 5 3 2 14 8 11 10 9 4 2 3 1 5 12 39 20 50 1 4 11 10 13 </values>
28.13/7.44	v </instantiation>

Verifier Data 

OK	4752

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 (4785 MiB free)
  memory of node 1: 16384 MiB (4887 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403710-1568989164/watcher-4403710-1568989164 -o /tmp/evaluation-result-4403710-1568989164/solver-4403710-1568989164 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1599226534 HOME/instance-4403710-1568989164.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=483, runsolver pid=480
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 8.26 8.07 6.43 9/232 499
/proc/meminfo: memFree=9888376/32770624 swapFree=66938896/67108860
[pid=483] ppid=480 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/483/stat : 483 (xcsp3-exec) S 480 483 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475186113 115843072 363 33554432000 4194304 5098028 140721852421424 140721852419528 139880908718716 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17620992 140721852429178 140721852429421 140721852429421 140721852432330 0
/proc/483/statm: 28282 363 304 221 0 87 0
[pid=485] ppid=483 vsize=15144776 memory=29388 CPUtime=0.12 cores=0,2,4,6
/proc/485/stat : 485 (java) S 483 483 30846 0 -1 1077944320 5736 0 0 0 11 1 0 0 20 0 15 0 475186113 15508250624 7347 33554432000 4194304 4196468 140723802270384 140723802252928 140348907241207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
/proc/485/statm: 3786194 7347 3154 1 0 3748377 0
[pid=485/tid=486] ppid=483 vsize=15144776 memory=7883960649037381690 CPUtime=0.08 cores=0,2,4,6
/proc/485/task/486/stat : 486 (java) R 483 483 30846 0 -1 4202560 3667 0 0 0 8 0 0 0 20 0 15 0 475186113 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348911472528 140348891321694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=487] ppid=483 vsize=15144776 memory=12641 CPUtime=0 cores=0,2,4,6
/proc/485/task/487/stat : 487 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186114 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348863793680 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=488] ppid=483 vsize=15144776 memory=3977725198742095520 CPUtime=0 cores=0,2,4,6
/proc/485/task/488/stat : 488 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186114 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348862741136 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=489] ppid=483 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/489/stat : 489 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186114 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348497254672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=490] ppid=483 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/485/task/490/stat : 490 (java) S 483 483 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475186114 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348496202128 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=491] ppid=483 vsize=15144776 memory=140484540401280 CPUtime=0 cores=0,2,4,6
/proc/485/task/491/stat : 491 (java) S 483 483 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475186116 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348375366384 140348907252354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=492] ppid=483 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/485/task/492/stat : 492 (java) S 483 483 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475186116 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348374312608 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=493] ppid=483 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/493/stat : 493 (java) S 483 483 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475186116 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348373259504 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=494] ppid=483 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/494/stat : 494 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186119 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348372208080 140348907259803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=495] ppid=483 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/495/stat : 495 (java) R 483 483 30846 0 -1 4202560 437 0 0 0 0 0 0 0 20 0 15 0 475186119 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348371155184 140348892907360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=496] ppid=483 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/485/task/496/stat : 496 (java) R 483 483 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475186119 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348370102640 140348907252354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=497] ppid=483 vsize=15144776 memory=140484540401280 CPUtime=0.02 cores=0,2,4,6
/proc/485/task/497/stat : 497 (java) R 483 483 30846 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 475186119 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348369049584 140348907253142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=498] ppid=483 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/485/task/498/stat : 498 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186119 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348367997280 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=499] ppid=483 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/499/stat : 499 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186119 15508250624 7347 33554432000 4194304 4196468 140723802270384 140348366945328 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30840 KiB

[startup+0.210632 s]*
/proc/loadavg: 8.26 8.07 6.43 7/232 499
/proc/meminfo: memFree=9875752/32770624 swapFree=66938896/67108860
[pid=483] ppid=480 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/483/stat : 483 (xcsp3-exec) S 480 483 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475186113 115843072 363 33554432000 4194304 5098028 140721852421424 140721852419528 139880908718716 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17620992 140721852429178 140721852429421 140721852429421 140721852432330 0
/proc/483/statm: 28282 363 304 221 0 87 0
[pid=485] ppid=483 vsize=15144776 memory=40360 CPUtime=0.33 cores=0,2,4,6
/proc/485/stat : 485 (java) S 483 483 30846 0 -1 1077944320 9331 0 0 0 30 3 0 0 20 0 15 0 475186113 15508250624 10090 33554432000 4194304 4196468 140723802270384 140723802252928 140348907241207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
/proc/485/statm: 3786194 10090 3298 1 0 3748377 0
[pid=485/tid=486] ppid=483 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/485/task/486/stat : 486 (java) R 483 483 30846 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 15 0 475186113 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348911477968 140348907263133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=487] ppid=483 vsize=15144776 memory=12641 CPUtime=0 cores=0,2,4,6
/proc/485/task/487/stat : 487 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186114 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348863793680 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=488] ppid=483 vsize=15144776 memory=3977725198742095520 CPUtime=0 cores=0,2,4,6
/proc/485/task/488/stat : 488 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186114 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348862741136 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=489] ppid=483 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/489/stat : 489 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186114 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348497254672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=490] ppid=483 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/485/task/490/stat : 490 (java) S 483 483 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475186114 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348496202128 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=491] ppid=483 vsize=15144776 memory=140484540401280 CPUtime=0 cores=0,2,4,6
/proc/485/task/491/stat : 491 (java) S 483 483 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475186116 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348375366384 140348907252354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=492] ppid=483 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/485/task/492/stat : 492 (java) S 483 483 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475186116 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348374312608 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=493] ppid=483 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/493/stat : 493 (java) S 483 483 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475186116 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348373259504 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=494] ppid=483 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/494/stat : 494 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186119 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348372208080 140348907259803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=495] ppid=483 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/485/task/495/stat : 495 (java) S 483 483 30846 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 475186119 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348371155184 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=496] ppid=483 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/485/task/496/stat : 496 (java) S 483 483 30846 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 15 0 475186119 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348370102640 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=497] ppid=483 vsize=15144776 memory=140484540401280 CPUtime=0.08 cores=0,2,4,6
/proc/485/task/497/stat : 497 (java) S 483 483 30846 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 15 0 475186119 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348369049584 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=498] ppid=483 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/485/task/498/stat : 498 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186119 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348367997280 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=499] ppid=483 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/499/stat : 499 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186119 15508250624 10090 33554432000 4194304 4196468 140723802270384 140348366945328 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41812 KiB

[startup+0.310648 s]*
/proc/loadavg: 8.26 8.07 6.43 6/232 499
/proc/meminfo: memFree=9868112/32770624 swapFree=66938896/67108860
[pid=483] ppid=480 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/483/stat : 483 (xcsp3-exec) S 480 483 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475186113 115843072 363 33554432000 4194304 5098028 140721852421424 140721852419528 139880908718716 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17620992 140721852429178 140721852429421 140721852429421 140721852432330 0
/proc/483/statm: 28282 363 304 221 0 87 0
[pid=485] ppid=483 vsize=15149032 memory=49532 CPUtime=0.51 cores=0,2,4,6
/proc/485/stat : 485 (java) S 483 483 30846 0 -1 1077944320 10676 0 0 0 47 4 0 0 20 0 15 0 475186113 15512608768 12383 33554432000 4194304 4196468 140723802270384 140723802252928 140348907241207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
/proc/485/statm: 3787258 12383 3360 1 0 3748377 0
[pid=485/tid=486] ppid=483 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/485/task/486/stat : 486 (java) R 483 483 30846 0 -1 4202560 7828 0 0 0 27 3 0 0 20 0 15 0 475186113 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348911472320 140348891321694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=487] ppid=483 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/485/task/487/stat : 487 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186114 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348863793680 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=488] ppid=483 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/485/task/488/stat : 488 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186114 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348862741136 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=489] ppid=483 vsize=15149032 memory=3475195960850671461 CPUtime=0 cores=0,2,4,6
/proc/485/task/489/stat : 489 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186114 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348497254672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=490] ppid=483 vsize=15149032 memory=-6876588461455810464 CPUtime=0 cores=0,2,4,6
/proc/485/task/490/stat : 490 (java) S 483 483 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475186114 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348496202128 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=491] ppid=483 vsize=15149032 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/485/task/491/stat : 491 (java) S 483 483 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475186116 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348375366384 140348907252354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=492] ppid=483 vsize=15149032 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/485/task/492/stat : 492 (java) S 483 483 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475186116 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348374312608 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=493] ppid=483 vsize=15149032 memory=-8608168169079938421 CPUtime=0 cores=0,2,4,6
/proc/485/task/493/stat : 493 (java) S 483 483 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475186116 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348373259504 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=494] ppid=483 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/494/stat : 494 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186119 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348372208080 140348907259803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=495] ppid=483 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/485/task/495/stat : 495 (java) S 483 483 30846 0 -1 1077944384 543 0 0 0 4 0 0 0 20 0 15 0 475186119 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348371155184 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=496] ppid=483 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/485/task/496/stat : 496 (java) S 483 483 30846 0 -1 1077944384 145 0 0 0 3 0 0 0 20 0 15 0 475186119 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348370102640 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=497] ppid=483 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/485/task/497/stat : 497 (java) S 483 483 30846 0 -1 1077944384 937 0 0 0 12 0 0 0 20 0 15 0 475186119 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348369049584 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=498] ppid=483 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/498/stat : 498 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475186119 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348367997280 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=499] ppid=483 vsize=15149032 memory=4049052965732169013 CPUtime=0 cores=0,2,4,6
/proc/485/task/499/stat : 499 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475186119 15512608768 12452 33554432000 4194304 4196468 140723802270384 140348366945328 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50984 KiB

[startup+0.701284 s]
/proc/loadavg: 8.26 8.07 6.43 10/232 499
/proc/meminfo: memFree=9854856/32770624 swapFree=66938896/67108860
[pid=483] ppid=480 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/483/stat : 483 (xcsp3-exec) S 480 483 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475186113 115843072 363 33554432000 4194304 5098028 140721852421424 140721852419528 139880908718716 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17620992 140721852429178 140721852429421 140721852429421 140721852432330 0
/proc/483/statm: 28282 363 304 221 0 87 0
[pid=485] ppid=483 vsize=15485004 memory=168444 CPUtime=1.58 cores=0,2,4,6
/proc/485/stat : 485 (java) S 483 483 30846 0 -1 1077944320 15278 0 0 0 150 8 0 0 20 0 19 0 475186113 15856644096 42111 33554432000 4194304 4196468 140723802270384 140723802252928 140348907241207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
/proc/485/statm: 3871251 42111 3464 1 0 3832351 0
[pid=485/tid=486] ppid=483 vsize=15485004 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/485/task/486/stat : 486 (java) S 483 483 30846 0 -1 1077944384 9185 0 0 0 49 4 0 0 20 0 19 0 475186113 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348911481984 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=487] ppid=483 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/487/stat : 487 (java) S 483 483 30846 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475186114 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348863793680 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=488] ppid=483 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/488/stat : 488 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475186114 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348862741136 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=489] ppid=483 vsize=15485004 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/485/task/489/stat : 489 (java) S 483 483 30846 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 475186114 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348497254672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=490] ppid=483 vsize=15485004 memory=2392 CPUtime=0 cores=0,2,4,6
/proc/485/task/490/stat : 490 (java) S 483 483 30846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475186114 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348496202128 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=491] ppid=483 vsize=15485004 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/485/task/491/stat : 491 (java) S 483 483 30846 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475186116 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348375366384 140348907252354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=492] ppid=483 vsize=15485004 memory=66588 CPUtime=0 cores=0,2,4,6
/proc/485/task/492/stat : 492 (java) S 483 483 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475186116 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348374312608 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=493] ppid=483 vsize=15485004 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/485/task/493/stat : 493 (java) S 483 483 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475186116 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348373259504 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=494] ppid=483 vsize=15485004 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/485/task/494/stat : 494 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186119 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348372208080 140348907259803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=495] ppid=483 vsize=15485004 memory=1552 CPUtime=0.23 cores=0,2,4,6
/proc/485/task/495/stat : 495 (java) R 483 483 30846 0 -1 4202560 1123 0 0 0 23 0 0 0 20 0 19 0 475186119 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348371142736 140348890737947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=496] ppid=483 vsize=15485004 memory=3640 CPUtime=0.24 cores=0,2,4,6
/proc/485/task/496/stat : 496 (java) R 483 483 30846 0 -1 1077944384 630 0 0 0 24 0 0 0 20 0 19 0 475186119 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348370102640 140348907252354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=497] ppid=483 vsize=15485004 memory=2832 CPUtime=0.34 cores=0,2,4,6
/proc/485/task/497/stat : 497 (java) R 483 483 30846 0 -1 4202560 1825 0 0 0 34 0 0 0 20 0 19 0 475186119 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348369049584 140348886375632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=498] ppid=483 vsize=15485004 memory=784 CPUtime=0 cores=0,2,4,6
/proc/485/task/498/stat : 498 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186119 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348367997280 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=499] ppid=483 vsize=15485004 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/485/task/499/stat : 499 (java) S 483 483 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475186119 15856644096 42111 33554432000 4194304 4196468 140723802270384 140348366945328 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 169896 KiB

[startup+1.50075 s]
/proc/loadavg: 8.26 8.07 6.43 13/236 645
/proc/meminfo: memFree=9710488/32770624 swapFree=66938896/67108860
[pid=483] ppid=480 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/483/stat : 483 (xcsp3-exec) S 480 483 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475186113 115843072 363 33554432000 4194304 5098028 140721852421424 140721852419528 139880908718716 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17620992 140721852429178 140721852429421 140721852429421 140721852432330 0
/proc/483/statm: 28282 363 304 221 0 87 0

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

/proc/485/task/499/stat : 499 (java) S 483 483 30846 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54607 33554432000 4194304 4196468 140723802270384 140348366945328 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=711] ppid=483 vsize=15551568 memory=13850793610578140 CPUtime=0.59 cores=0,2,4,6
/proc/485/task/711/stat : 711 (java) R 483 483 30846 0 -1 4202560 23 0 0 0 59 0 0 0 20 0 19 0 475186720 15924805632 54607 33554432000 4194304 4196468 140723802270384 140348356910728 140348546520227 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=712] ppid=483 vsize=15551568 memory=53492 CPUtime=0.62 cores=0,2,4,6
/proc/485/task/712/stat : 712 (java) R 483 483 30846 0 -1 4202560 18 0 0 0 62 0 0 0 20 0 19 0 475186720 15924805632 54607 33554432000 4194304 4196468 140723802270384 140348351647352 140348548321677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=713] ppid=483 vsize=15551568 memory=988 CPUtime=0.61 cores=0,2,4,6
/proc/485/task/713/stat : 713 (java) R 483 483 30846 0 -1 4202560 20 0 0 0 61 0 0 0 20 0 19 0 475186720 15924805632 54607 33554432000 4194304 4196468 140723802270384 140348352700136 140348547475716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=714] ppid=483 vsize=15551568 memory=2016 CPUtime=0.62 cores=0,2,4,6
/proc/485/task/714/stat : 714 (java) R 483 483 30846 0 -1 4202560 19 0 0 0 62 0 0 0 20 0 19 0 475186720 15924805632 54607 33554432000 4194304 4196468 140723802270384 140348355859368 140348548370083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 219880 KiB

[startup+7.10152 s]
/proc/loadavg: 8.40 8.10 6.45 10/236 714
/proc/meminfo: memFree=9694996/32770624 swapFree=66938896/67108860
[pid=483] ppid=480 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/483/stat : 483 (xcsp3-exec) S 480 483 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475186113 115843072 363 33554432000 4194304 5098028 140721852421424 140721852419528 139880908718716 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17620992 140721852429178 140721852429421 140721852429421 140721852432330 0
/proc/483/statm: 28282 363 304 221 0 87 0
[pid=485] ppid=483 vsize=15551568 memory=218448 CPUtime=26.9 cores=0,2,4,6
/proc/485/stat : 485 (java) S 483 483 30846 0 -1 1077944320 36237 0 0 0 2678 12 0 0 20 0 19 0 475186113 15924805632 54612 33554432000 4194304 4196468 140723802270384 140723802252928 140348907241207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
/proc/485/statm: 3887892 54612 3512 1 0 3848992 0
[pid=485/tid=486] ppid=483 vsize=15551568 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/485/task/486/stat : 486 (java) S 483 483 30846 0 -1 1077944384 9378 0 0 0 50 4 0 0 20 0 19 0 475186113 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348911481984 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=487] ppid=483 vsize=15551568 memory=2276 CPUtime=0 cores=0,2,4,6
/proc/485/task/487/stat : 487 (java) S 483 483 30846 0 -1 1077944384 496 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348863793680 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=488] ppid=483 vsize=15551568 memory=2 CPUtime=0 cores=0,2,4,6
/proc/485/task/488/stat : 488 (java) S 483 483 30846 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348862741136 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=489] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/489/stat : 489 (java) S 483 483 30846 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348497254672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=490] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/490/stat : 490 (java) S 483 483 30846 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348496202128 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=491] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/491/stat : 491 (java) S 483 483 30846 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 19 0 475186116 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348375366384 140348907252354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=492] ppid=483 vsize=15551568 memory=7379546481887570024 CPUtime=0 cores=0,2,4,6
/proc/485/task/492/stat : 492 (java) S 483 483 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475186116 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348374312672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=493] ppid=483 vsize=15551568 memory=6075463926107164752 CPUtime=0 cores=0,2,4,6
/proc/485/task/493/stat : 493 (java) S 483 483 30846 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475186116 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348373259520 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=494] ppid=483 vsize=15551568 memory=8530215889788090676 CPUtime=0 cores=0,2,4,6
/proc/485/task/494/stat : 494 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348372208080 140348907259803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=495] ppid=483 vsize=15551568 memory=4294969504 CPUtime=2.38 cores=0,2,4,6
/proc/485/task/495/stat : 495 (java) S 483 483 30846 0 -1 1077944384 7226 0 0 0 238 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348371155184 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=496] ppid=483 vsize=15551568 memory=6884 CPUtime=2.55 cores=0,2,4,6
/proc/485/task/496/stat : 496 (java) S 483 483 30846 0 -1 1077944384 8271 0 0 0 255 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348370102640 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=497] ppid=483 vsize=15551568 memory=90730 CPUtime=0.56 cores=0,2,4,6
/proc/485/task/497/stat : 497 (java) S 483 483 30846 0 -1 1077944384 3916 0 0 0 55 1 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348369049584 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=498] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/498/stat : 498 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348367997280 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=499] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/499/stat : 499 (java) S 483 483 30846 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348366945328 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=711] ppid=483 vsize=15551568 memory=0 CPUtime=0.97 cores=0,2,4,6
/proc/485/task/711/stat : 711 (java) R 483 483 30846 0 -1 4202560 23 0 0 0 97 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348356909896 140348542495510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=712] ppid=483 vsize=15551568 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/485/task/712/stat : 712 (java) R 483 483 30846 0 -1 4202560 23 0 0 0 102 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348351647696 140348548321606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=713] ppid=483 vsize=15551568 memory=0 CPUtime=1 cores=0,2,4,6
/proc/485/task/713/stat : 713 (java) R 483 483 30846 0 -1 4202560 20 0 0 0 100 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348352700128 140348547402669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=714] ppid=483 vsize=15551568 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/485/task/714/stat : 714 (java) R 483 483 30846 0 -1 4202560 19 0 0 0 102 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348355858920 140348546462908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
Current children cumulated CPU time: 26.9 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 219900 KiB

[startup+7.30153 s]*
/proc/loadavg: 8.40 8.10 6.45 10/236 714
/proc/meminfo: memFree=9697540/32770624 swapFree=66938896/67108860
[pid=483] ppid=480 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/483/stat : 483 (xcsp3-exec) S 480 483 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475186113 115843072 363 33554432000 4194304 5098028 140721852421424 140721852419528 139880908718716 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17620992 140721852429178 140721852429421 140721852429421 140721852432330 0
/proc/483/statm: 28282 363 304 221 0 87 0
[pid=485] ppid=483 vsize=15551568 memory=218448 CPUtime=27.71 cores=0,2,4,6
/proc/485/stat : 485 (java) S 483 483 30846 0 -1 1077944320 36238 0 0 0 2759 12 0 0 20 0 19 0 475186113 15924805632 54612 33554432000 4194304 4196468 140723802270384 140723802252928 140348907241207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
/proc/485/statm: 3887892 54612 3512 1 0 3848992 0
[pid=485/tid=486] ppid=483 vsize=15551568 memory=6791534058613427641 CPUtime=0.54 cores=0,2,4,6
/proc/485/task/486/stat : 486 (java) S 483 483 30846 0 -1 1077944384 9378 0 0 0 50 4 0 0 20 0 19 0 475186113 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348911481984 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=487] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/487/stat : 487 (java) S 483 483 30846 0 -1 1077944384 496 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348863793680 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=488] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/488/stat : 488 (java) S 483 483 30846 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348862741136 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=489] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/489/stat : 489 (java) S 483 483 30846 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348497254672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=490] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/490/stat : 490 (java) S 483 483 30846 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348496202128 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=491] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/491/stat : 491 (java) S 483 483 30846 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 19 0 475186116 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348375366384 140348907252354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=492] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/492/stat : 492 (java) S 483 483 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475186116 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348374312672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=493] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/493/stat : 493 (java) S 483 483 30846 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475186116 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348373259520 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=494] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/494/stat : 494 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348372208080 140348907259803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=495] ppid=483 vsize=15551568 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/485/task/495/stat : 495 (java) S 483 483 30846 0 -1 1077944384 7226 0 0 0 238 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348371155184 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=496] ppid=483 vsize=15551568 memory=3539882221984821279 CPUtime=2.55 cores=0,2,4,6
/proc/485/task/496/stat : 496 (java) S 483 483 30846 0 -1 1077944384 8271 0 0 0 255 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348370102640 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=497] ppid=483 vsize=15551568 memory=3616452310192895537 CPUtime=0.56 cores=0,2,4,6
/proc/485/task/497/stat : 497 (java) S 483 483 30846 0 -1 1077944384 3917 0 0 0 55 1 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348369049584 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=498] ppid=483 vsize=15551568 memory=140484540401280 CPUtime=0 cores=0,2,4,6
/proc/485/task/498/stat : 498 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348367997280 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=499] ppid=483 vsize=15551568 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/485/task/499/stat : 499 (java) S 483 483 30846 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348366945328 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=711] ppid=483 vsize=15551568 memory=140484540401280 CPUtime=1.17 cores=0,2,4,6
/proc/485/task/711/stat : 711 (java) R 483 483 30846 0 -1 4202560 23 0 0 0 117 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348356909896 140348548194760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=712] ppid=483 vsize=15551568 memory=-1 CPUtime=1.23 cores=0,2,4,6
/proc/485/task/712/stat : 712 (java) R 483 483 30846 0 -1 4202560 23 0 0 0 123 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348351647832 140348548369257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=713] ppid=483 vsize=15551568 memory=140484540401280 CPUtime=1.21 cores=0,2,4,6
/proc/485/task/713/stat : 713 (java) R 483 483 30846 0 -1 4202560 20 0 0 0 121 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348352700936 140348546263107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=714] ppid=483 vsize=15551568 memory=0 CPUtime=1.23 cores=0,2,4,6
/proc/485/task/714/stat : 714 (java) R 483 483 30846 0 -1 4202560 19 0 0 0 123 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348355858920 140348546462271 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
Current children cumulated CPU time: 27.71 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 219900 KiB

[startup+7.41153 s]
/proc/loadavg: 8.40 8.10 6.45 10/236 714
/proc/meminfo: memFree=9697540/32770624 swapFree=66938896/67108860
[pid=483] ppid=480 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/483/stat : 483 (xcsp3-exec) S 480 483 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475186113 115843072 363 33554432000 4194304 5098028 140721852421424 140721852419528 139880908718716 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17620992 140721852429178 140721852429421 140721852429421 140721852432330 0
/proc/483/statm: 28282 363 304 221 0 87 0
[pid=485] ppid=483 vsize=15551568 memory=218448 CPUtime=28.13 cores=0,2,4,6
/proc/485/stat : 485 (java) S 483 483 30846 0 -1 1077944320 36238 0 0 0 2801 12 0 0 20 0 19 0 475186113 15924805632 54612 33554432000 4194304 4196468 140723802270384 140723802252928 140348907241207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
/proc/485/statm: 3887892 54612 3512 1 0 3848992 0
[pid=485/tid=486] ppid=483 vsize=15551568 memory=1452 CPUtime=0.54 cores=0,2,4,6
/proc/485/task/486/stat : 486 (java) S 483 483 30846 0 -1 1077944384 9378 0 0 0 50 4 0 0 20 0 19 0 475186113 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348911481984 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=487] ppid=483 vsize=15551568 memory=218428 CPUtime=0 cores=0,2,4,6
/proc/485/task/487/stat : 487 (java) S 483 483 30846 0 -1 1077944384 496 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348863793680 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=488] ppid=483 vsize=15551568 memory=228000 CPUtime=0 cores=0,2,4,6
/proc/485/task/488/stat : 488 (java) S 483 483 30846 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348862741136 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=489] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/489/stat : 489 (java) S 483 483 30846 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348497254672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=490] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/490/stat : 490 (java) S 483 483 30846 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 19 0 475186114 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348496202128 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=491] ppid=483 vsize=15551568 memory=53492 CPUtime=0 cores=0,2,4,6
/proc/485/task/491/stat : 491 (java) S 483 483 30846 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 19 0 475186116 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348375366384 140348907252354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=492] ppid=483 vsize=15551568 memory=988 CPUtime=0 cores=0,2,4,6
/proc/485/task/492/stat : 492 (java) S 483 483 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475186116 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348374312672 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=493] ppid=483 vsize=15551568 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/485/task/493/stat : 493 (java) S 483 483 30846 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475186116 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348373259520 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=494] ppid=483 vsize=15551568 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/485/task/494/stat : 494 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348372208080 140348907259803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=495] ppid=483 vsize=15551568 memory=218364 CPUtime=2.38 cores=0,2,4,6
/proc/485/task/495/stat : 495 (java) S 483 483 30846 0 -1 1077944384 7226 0 0 0 238 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348371155184 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=496] ppid=483 vsize=15551568 memory=3640 CPUtime=2.55 cores=0,2,4,6
/proc/485/task/496/stat : 496 (java) S 483 483 30846 0 -1 1077944384 8271 0 0 0 255 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348370102640 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=497] ppid=483 vsize=15551568 memory=4465 CPUtime=0.56 cores=0,2,4,6
/proc/485/task/497/stat : 497 (java) S 483 483 30846 0 -1 1077944384 3917 0 0 0 55 1 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348369049584 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=498] ppid=483 vsize=15551568 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/485/task/498/stat : 498 (java) S 483 483 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348367997280 140348907251413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=499] ppid=483 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/485/task/499/stat : 499 (java) S 483 483 30846 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 19 0 475186119 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348366945328 140348907252354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=711] ppid=483 vsize=15551568 memory=1412 CPUtime=1.26 cores=0,2,4,6
/proc/485/task/711/stat : 711 (java) R 483 483 30846 0 -1 4202560 23 0 0 0 126 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348356909896 140348546461482 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=712] ppid=483 vsize=15551568 memory=8259761640030508190 CPUtime=1.33 cores=0,2,4,6
/proc/485/task/712/stat : 712 (java) R 483 483 30846 0 -1 4202560 23 0 0 0 133 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348351647832 140348547553258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=713] ppid=483 vsize=15551568 memory=1452 CPUtime=1.31 cores=0,2,4,6
/proc/485/task/713/stat : 713 (java) R 483 483 30846 0 -1 4202560 20 0 0 0 131 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348352700936 140348546463342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
[pid=485/tid=714] ppid=483 vsize=15551568 memory=1452 CPUtime=1.33 cores=0,2,4,6
/proc/485/task/714/stat : 714 (java) R 483 483 30846 0 -1 4202560 19 0 0 0 133 0 0 0 20 0 19 0 475186720 15924805632 54612 33554432000 4194304 4196468 140723802270384 140348355858920 140348546262627 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7802880 140723802272751 140723802272922 140723802272922 140723802275791 0
Current children cumulated CPU time: 28.13 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 219900 KiB

Child status: 0
Real time (s): 7.44746
CPU time (s): 28.2609
CPU user time (s): 28.1245
CPU system time (s): 0.136324
CPU usage (%): 379.47
Max. virtual memory (cumulated for all children) (KiB): 15666684
Max. memory (cumulated for all children) (KiB): 229600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.1245
system time used= 0.136324
maximum resident set size= 228216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3646
involuntary context switches= 1166


# summary of solver processes directly reported to runsolver:
#   pid: 483
#   total CPU time (s): 28.2609
#   total CPU user time (s): 28.1245
#   total CPU system time (s): 0.136324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067312 second user time and 0.122975 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-20 16:21:26
IDJOB=4403710
IDBENCH=123040
IDSOLVER=2863
FILE ID=node139/4403710-1568989164
RUNJOBID= node139-1568988008-30877
PBS_JOBID= 21704637
Free space on /tmp= 5060 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr15c.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403710-1568989164/watcher-4403710-1568989164 -o /tmp/evaluation-result-4403710-1568989164/solver-4403710-1568989164 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1599226534 HOME/instance-4403710-1568989164.xml

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

MD5SUM BENCH= ce755c39cb9d6ddef8bea85f09074509
RANDOM SEED=1599226534

node139.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.57
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.57
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.57
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.57
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:         9905104 kB
MemAvailable:   30653776 kB
Buffers:          134904 kB
Cached:         20481936 kB
SwapCached:        65320 kB
Active:         11382228 kB
Inactive:       10443404 kB
Active(anon):    1139440 kB
Inactive(anon):   114744 kB
Active(file):   10242788 kB
Inactive(file): 10328660 kB
Unevictable:      106908 kB
Mlocked:          106908 kB
SwapTotal:      67108860 kB
SwapFree:       66938896 kB
Dirty:             25952 kB
Writeback:             0 kB
AnonPages:       1261636 kB
Mapped:            64384 kB
Shmem:             37292 kB
Slab:             635216 kB
SReclaimable:     605684 kB
SUnreclaim:        29532 kB
KernelStack:        4048 kB
PageTables:         8052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3323464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1173504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5036 MiB
End job on node139 at 2019-09-20 16:21:34