Trace number 4407113

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-24 parallelOPT56 85.0343 12.0123

General information on the benchmark

NamePrizeCollecting/PrizeCollecting-jok-s1/
PrizeCollecting-24-4-6-7.xml
MD5SUMd869450afe9c29c5d3a1d31c4402b074
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark56
Best CPU time to get the best result obtained on this benchmark22.6214
Satisfiable
(Un)Satisfiability was proved
Number of variables72
Number of constraints97
Number of domains24
Minimum domain size3
Maximum domain size25
Distribution of domain sizes[{"size":3,"count":1},{"size":4,"count":8},{"size":5,"count":12},{"size":6,"count":3},{"size":25,"count":48}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}]
Minimum constraint arity1
Maximum constraint arity25
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}]
Number of extensional constraints48
Number of intensional constraints25
Distribution of constraint types[{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}]
Optimization problemYES
Type of objectivemax 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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407113-1569351698.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4407113-1569351698.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.51/1.75	c solve instance...
5.18/1.86	o -1000 
5.18/1.90	o -998 
6.71/2.08	o -997 
6.71/2.10	o -996 
9.84/2.44	o -993 
9.84/2.47	o -991 
10.52/2.58	o -990 
11.18/2.63	o -989 
11.18/2.68	o -987 
11.18/2.70	o -985 
13.42/3.01	o -979 
14.31/3.02	o -978 
14.31/3.04	o -975 
14.31/3.05	o -974 
15.64/3.27	o -973 
15.64/3.28	o -972 
18.66/3.60	o -959 
20.23/3.87	o 14 
27.22/4.78	o 19 
27.99/4.86	o 20 
27.99/4.87	o 22 
27.99/4.89	o 29 
28.74/4.92	o 30 
35.01/5.73	o 35 
46.21/7.14	o 39 
46.90/7.24	o 44 
47.66/7.32	o 45 
47.66/7.33	o 56 
84.24/12.00	s OPTIMUM FOUND
84.24/12.00	v <instantiation>
84.24/12.00	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] </list>
84.24/12.00	v 	<values>1 7 -1 4 5 11 0 8 9 3 16 10 6 12 13 21 15 -1 -1 -1 14 20 -1 -1 0 1 -1 5 6 7 17 2 3 4 9 8 16 15 14 11 10 -1 -1 -1 13 12 -1 -1 7 0 0 -2 5 7 1 8 2 4 2 6 2 0 -2 0 5 0 0 0 6 5 0 0 </values>
84.24/12.00	v </instantiation>

Verifier Data 

OK	56

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407113-1569351698/watcher-4407113-1569351698 -o /tmp/evaluation-result-4407113-1569351698/solver-4407113-1569351698 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 445412302 HOME/instance-4407113-1569351698.xml 

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

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


[startup+0.100126 s]*
/proc/loadavg: 7.98 8.09 8.15 3/212 603
/proc/meminfo: memFree=28840288/32770624 swapFree=66999256/67108860
[pid=577] ppid=574 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/577/stat : 577 (xcsp3-exec) S 574 577 32308 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511422836 115843072 364 33554432000 4194304 5098028 140722617264688 140722617262792 140484996067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8376320 140722617267062 140722617267305 140722617267305 140722617270218 0
/proc/577/statm: 28282 364 305 221 0 87 0
[pid=579] ppid=577 vsize=28227396 memory=29328 CPUtime=0.11 cores=0-7
/proc/579/stat : 579 (java) S 577 577 32308 0 -1 1077944320 5749 0 0 0 10 1 0 0 20 0 20 0 511422836 28904853504 7332 33554432000 4194304 4196468 140723075647216 140723075629760 140548786122487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
/proc/579/statm: 7056849 7332 3121 1 0 7019032 0
[pid=579/tid=580] ppid=577 vsize=28227396 memory=8318255677412212789 CPUtime=0.08 cores=0-7
/proc/579/task/580/stat : 580 (java) R 577 577 32308 0 -1 4202560 3759 0 0 0 8 0 0 0 20 0 20 0 511422836 28904853504 7397 33554432000 4194304 4196468 140723075647216 140548790350512 140548770166117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=581] ppid=577 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/579/task/581/stat : 581 (java) S 577 577 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 7397 33554432000 4194304 4196468 140723075647216 140548738743056 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=582] ppid=577 vsize=28227396 memory=4123248112778888864 CPUtime=0 cores=0-7
/proc/579/task/582/stat : 582 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 7397 33554432000 4194304 4196468 140723075647216 140548737690512 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=583] ppid=577 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/583/stat : 583 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 7397 33554432000 4194304 4196468 140723075647216 140548736637968 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=584] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/584/stat : 584 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 7397 33554432000 4194304 4196468 140723075647216 140548735585424 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=586] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/586/stat : 586 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 7397 33554432000 4194304 4196468 140723075647216 140548734531856 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=587] ppid=577 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/587/stat : 587 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 7397 33554432000 4194304 4196468 140723075647216 140548733479312 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=588] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/588/stat : 588 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 7397 33554432000 4194304 4196468 140723075647216 140548732426768 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=589] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/589/stat : 589 (java) S 577 577 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 7397 33554432000 4194304 4196468 140723075647216 140548731374224 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=592] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/592/stat : 592 (java) S 577 577 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511422838 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546963126768 140548786133634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=593] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/593/stat : 593 (java) S 577 577 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511422839 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546962072992 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=594] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/594/stat : 594 (java) S 577 577 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511422839 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546961020400 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=595] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/595/stat : 595 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546959968976 140548786141083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=596] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/596/stat : 596 (java) S 577 577 32308 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546958915568 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=597] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/597/stat : 597 (java) R 577 577 32308 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546957863024 140548766756980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=600] ppid=577 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/600/stat : 600 (java) R 577 577 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546956810480 140548786133634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=601] ppid=577 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/579/task/601/stat : 601 (java) R 577 577 32308 0 -1 4202560 315 0 0 0 2 0 0 0 20 0 20 0 511422842 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546955757936 140548764822688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=602] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/602/stat : 602 (java) S 577 577 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546954705632 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=603] ppid=577 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/603/stat : 603 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 7397 33554432000 4194304 4196468 140723075647216 140546953653168 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30784 KiB

[startup+0.210542 s]*
/proc/loadavg: 7.98 8.09 8.15 2/212 603
/proc/meminfo: memFree=28827048/32770624 swapFree=66999256/67108860
[pid=577] ppid=574 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/577/stat : 577 (xcsp3-exec) S 574 577 32308 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511422836 115843072 364 33554432000 4194304 5098028 140722617264688 140722617262792 140484996067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8376320 140722617267062 140722617267305 140722617267305 140722617270218 0
/proc/577/statm: 28282 364 305 221 0 87 0
[pid=579] ppid=577 vsize=28227396 memory=40920 CPUtime=0.33 cores=0-7
/proc/579/stat : 579 (java) S 577 577 32308 0 -1 1077944320 9489 0 0 0 30 3 0 0 20 0 20 0 511422836 28904853504 10230 33554432000 4194304 4196468 140723075647216 140723075629760 140548786122487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
/proc/579/statm: 7056849 10230 3295 1 0 7019032 0
[pid=579/tid=580] ppid=577 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/579/task/580/stat : 580 (java) R 577 577 32308 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 20 0 511422836 28904853504 10230 33554432000 4194304 4196468 140723075647216 140548790360800 140548786134422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=581] ppid=577 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/579/task/581/stat : 581 (java) S 577 577 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 10230 33554432000 4194304 4196468 140723075647216 140548738743056 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=582] ppid=577 vsize=28227396 memory=4123248112778888864 CPUtime=0 cores=0-7
/proc/579/task/582/stat : 582 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 10230 33554432000 4194304 4196468 140723075647216 140548737690512 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=583] ppid=577 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/583/stat : 583 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 10230 33554432000 4194304 4196468 140723075647216 140548736637968 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=584] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/584/stat : 584 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 10230 33554432000 4194304 4196468 140723075647216 140548735585424 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=586] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/586/stat : 586 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 10230 33554432000 4194304 4196468 140723075647216 140548734531856 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=587] ppid=577 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/587/stat : 587 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 10230 33554432000 4194304 4196468 140723075647216 140548733479312 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=588] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/588/stat : 588 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 10230 33554432000 4194304 4196468 140723075647216 140548732426768 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=589] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/589/stat : 589 (java) S 577 577 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511422837 28904853504 10230 33554432000 4194304 4196468 140723075647216 140548731374224 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=592] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/592/stat : 592 (java) S 577 577 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511422838 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546963126768 140548786133634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=593] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/593/stat : 593 (java) S 577 577 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511422839 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546962072992 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=594] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/594/stat : 594 (java) S 577 577 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511422839 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546961020400 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=595] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/595/stat : 595 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546959968976 140548786141083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=596] ppid=577 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/579/task/596/stat : 596 (java) S 577 577 32308 0 -1 1077944384 622 0 0 0 1 0 0 0 20 0 20 0 511422842 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546958915568 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=597] ppid=577 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/579/task/597/stat : 597 (java) S 577 577 32308 0 -1 1077944384 179 0 0 0 2 0 0 0 20 0 20 0 511422842 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546957863024 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=600] ppid=577 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/600/stat : 600 (java) S 577 577 32308 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546956810480 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=601] ppid=577 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/579/task/601/stat : 601 (java) R 577 577 32308 0 -1 4202560 723 0 0 0 8 0 0 0 20 0 20 0 511422842 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546955757936 140548786134422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=602] ppid=577 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/579/task/602/stat : 602 (java) S 577 577 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546954705632 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=603] ppid=577 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/603/stat : 603 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422842 28904853504 10230 33554432000 4194304 4196468 140723075647216 140546953653168 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42376 KiB

[startup+0.310523 s]*
/proc/loadavg: 7.98 8.09 8.15 3/212 603
/proc/meminfo: memFree=28819904/32770624 swapFree=66999256/67108860
[pid=577] ppid=574 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/577/stat : 577 (xcsp3-exec) S 574 577 32308 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511422836 115843072 364 33554432000 4194304 5098028 140722617264688 140722617262792 140484996067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8376320 140722617267062 140722617267305 140722617267305 140722617270218 0
/proc/577/statm: 28282 364 305 221 0 87 0
[pid=579] ppid=577 vsize=28231652 memory=50052 CPUtime=0.52 cores=0-7
/proc/579/stat : 579 (java) S 577 577 32308 0 -1 1077944320 10881 0 0 0 48 4 0 0 20 0 20 0 511422836 28909211648 12513 33554432000 4194304 4196468 140723075647216 140723075629760 140548786122487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
/proc/579/statm: 7057913 12513 3343 1 0 7019032 0
[pid=579/tid=580] ppid=577 vsize=28231652 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/579/task/580/stat : 580 (java) R 577 577 32308 0 -1 4202560 7793 0 0 0 26 3 0 0 20 0 20 0 511422836 28909211648 12542 33554432000 4194304 4196468 140723075647216 140548790353600 140548770202974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=581] ppid=577 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/579/task/581/stat : 581 (java) S 577 577 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511422837 28909211648 12542 33554432000 4194304 4196468 140723075647216 140548738743056 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=582] ppid=577 vsize=28231652 memory=139770465896065 CPUtime=0 cores=0-7
/proc/579/task/582/stat : 582 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28909211648 12542 33554432000 4194304 4196468 140723075647216 140548737690512 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=583] ppid=577 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/583/stat : 583 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28909211648 12542 33554432000 4194304 4196468 140723075647216 140548736637968 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=584] ppid=577 vsize=28231652 memory=2240 CPUtime=0 cores=0-7
/proc/579/task/584/stat : 584 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28909211648 12542 33554432000 4194304 4196468 140723075647216 140548735585424 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=586] ppid=577 vsize=28231652 memory=2241 CPUtime=0 cores=0-7
/proc/579/task/586/stat : 586 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28909211648 12542 33554432000 4194304 4196468 140723075647216 140548734531856 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=587] ppid=577 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/579/task/587/stat : 587 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28909211648 12542 33554432000 4194304 4196468 140723075647216 140548733479312 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=588] ppid=577 vsize=28231652 memory=279540631019040 CPUtime=0 cores=0-7
/proc/579/task/588/stat : 588 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28909211648 12542 33554432000 4194304 4196468 140723075647216 140548732426768 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=589] ppid=577 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/579/task/589/stat : 589 (java) S 577 577 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511422837 28909211648 12542 33554432000 4194304 4196468 140723075647216 140548731374224 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=592] ppid=577 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/579/task/592/stat : 592 (java) S 577 577 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511422838 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546963126768 140548786133634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=593] ppid=577 vsize=28231652 memory=3 CPUtime=0 cores=0-7
/proc/579/task/593/stat : 593 (java) S 577 577 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511422839 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546962072992 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=594] ppid=577 vsize=28231652 memory=335 CPUtime=0 cores=0-7
/proc/579/task/594/stat : 594 (java) S 577 577 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511422839 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546961020400 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=595] ppid=577 vsize=28231652 memory=275365 CPUtime=0 cores=0-7
/proc/579/task/595/stat : 595 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422842 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546959968976 140548786141083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=596] ppid=577 vsize=28231652 memory=1 CPUtime=0.03 cores=0-7
/proc/579/task/596/stat : 596 (java) R 577 577 32308 0 -1 4202560 747 0 0 0 3 0 0 0 20 0 20 0 511422842 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546958905952 140548767643887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=597] ppid=577 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/579/task/597/stat : 597 (java) S 577 577 32308 0 -1 1077944384 195 0 0 0 3 0 0 0 20 0 20 0 511422842 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546957863024 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=600] ppid=577 vsize=28231652 memory=45497 CPUtime=0.02 cores=0-7
/proc/579/task/600/stat : 600 (java) S 577 577 32308 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 20 0 511422842 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546956810480 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=601] ppid=577 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7
/proc/579/task/601/stat : 601 (java) S 577 577 32308 0 -1 1077944384 830 0 0 0 12 0 0 0 20 0 20 0 511422842 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546955757936 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=602] ppid=577 vsize=28231652 memory=3467825727391412274 CPUtime=0 cores=0-7
/proc/579/task/602/stat : 602 (java) S 577 577 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511422842 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546954705632 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=603] ppid=577 vsize=28231652 memory=2319684899342137391 CPUtime=0 cores=0-7
/proc/579/task/603/stat : 603 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422842 28909211648 12542 33554432000 4194304 4196468 140723075647216 140546953653168 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51508 KiB

[startup+0.701031 s]
/proc/loadavg: 7.98 8.09 8.15 6/212 603
/proc/meminfo: memFree=28789372/32770624 swapFree=66999256/67108860
[pid=577] ppid=574 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/577/stat : 577 (xcsp3-exec) S 574 577 32308 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511422836 115843072 364 33554432000 4194304 5098028 140722617264688 140722617262792 140484996067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8376320 140722617267062 140722617267305 140722617267305 140722617270218 0
/proc/577/statm: 28282 364 305 221 0 87 0
[pid=579] ppid=577 vsize=28233776 memory=117732 CPUtime=2.02 cores=0-7
/proc/579/stat : 579 (java) S 577 577 32308 0 -1 1077944320 16518 0 0 0 197 5 0 0 20 0 20 0 511422836 28911386624 29433 33554432000 4194304 4196468 140723075647216 140723075629760 140548786122487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
/proc/579/statm: 7058444 29433 3453 1 0 7019544 0
[pid=579/tid=580] ppid=577 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/579/task/580/stat : 580 (java) R 577 577 32308 0 -1 4202560 9200 0 0 0 63 4 0 0 20 0 20 0 511422836 28911386624 29433 33554432000 4194304 4196468 140723075647216 140548790360240 140548392496310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=581] ppid=577 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/579/task/581/stat : 581 (java) S 577 577 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511422837 28911386624 29433 33554432000 4194304 4196468 140723075647216 140548738743056 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=582] ppid=577 vsize=28233776 memory=4580 CPUtime=0 cores=0-7
/proc/579/task/582/stat : 582 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28911386624 29433 33554432000 4194304 4196468 140723075647216 140548737690512 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=583] ppid=577 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/579/task/583/stat : 583 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511422837 28911386624 29433 33554432000 4194304 4196468 140723075647216 140548736637968 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0

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

[pid=579/tid=846] ppid=577 vsize=28834900 memory=65180 CPUtime=2.24 cores=0-7
/proc/579/task/846/stat : 846 (java) R 577 577 32308 0 -1 4202560 71 0 0 0 224 0 0 0 20 0 28 0 511423569 29526937600 134535 33554432000 4194304 4196468 140723075647216 140546942574280 140548400126200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=847] ppid=577 vsize=28834900 memory=3028 CPUtime=2.27 cores=0-7
/proc/579/task/847/stat : 847 (java) R 577 577 32308 0 -1 4202560 80 0 0 0 227 0 0 0 20 0 28 0 511423569 29526937600 134535 33554432000 4194304 4196468 140723075647216 140546936258376 140548400126111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=848] ppid=577 vsize=28834900 memory=2012 CPUtime=2.12 cores=0-7
/proc/579/task/848/stat : 848 (java) R 577 577 32308 0 -1 4202560 94 0 0 0 212 0 0 0 20 0 28 0 511423569 29526937600 134535 33554432000 4194304 4196468 140723075647216 140546937311176 140548400125936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=849] ppid=577 vsize=28834900 memory=1436 CPUtime=2.18 cores=0-7
/proc/579/task/849/stat : 849 (java) R 577 577 32308 0 -1 4202560 48 0 0 0 218 0 0 0 20 0 28 0 511423569 29526937600 134535 33554432000 4194304 4196468 140723075647216 140546935205512 140548400126320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=850] ppid=577 vsize=28834900 memory=776 CPUtime=2.11 cores=0-7
/proc/579/task/850/stat : 850 (java) R 577 577 32308 0 -1 4202560 199 0 0 0 211 0 0 0 20 0 28 0 511423569 29526937600 134535 33554432000 4194304 4196468 140723075647216 140546938362696 140548400126150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=851] ppid=577 vsize=28834900 memory=279540630847008 CPUtime=2.2 cores=0-7
/proc/579/task/851/stat : 851 (java) R 577 577 32308 0 -1 4202560 115 0 0 0 220 0 0 0 20 0 28 0 511423569 29526937600 134535 33554432000 4194304 4196468 140723075647216 140546941521800 140548400905593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
Current children cumulated CPU time: 65.97 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 539596 KiB

[startup+11.2014 s]
/proc/loadavg: 7.91 8.07 8.14 9/220 851
/proc/meminfo: memFree=28330380/32770624 swapFree=66999256/67108860
[pid=577] ppid=574 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/577/stat : 577 (xcsp3-exec) S 574 577 32308 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511422836 115843072 364 33554432000 4194304 5098028 140722617264688 140722617262792 140484996067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8376320 140722617267062 140722617267305 140722617267305 140722617270218 0
/proc/577/statm: 28282 364 305 221 0 87 0
[pid=579] ppid=577 vsize=28834900 memory=539748 CPUtime=78.66 cores=0-7
/proc/579/stat : 579 (java) S 577 577 32308 0 -1 1077944320 47597 0 0 0 7804 62 0 0 20 0 28 0 511422836 29526937600 134937 33554432000 4194304 4196468 140723075647216 140723075629760 140548786122487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
/proc/579/statm: 7208725 134937 3529 1 0 7169825 0
[pid=579/tid=580] ppid=577 vsize=28834900 memory=303148769816609083 CPUtime=1.67 cores=0-7
/proc/579/task/580/stat : 580 (java) S 577 577 32308 0 -1 1077944384 9690 0 0 0 161 6 0 0 20 0 28 0 511422836 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548790363264 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=581] ppid=577 vsize=28834900 memory=14689690934577590 CPUtime=0.07 cores=0-7
/proc/579/task/581/stat : 581 (java) S 577 577 32308 0 -1 1077944384 143 0 0 0 3 4 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548738743056 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=582] ppid=577 vsize=28834900 memory=7374475492015695210 CPUtime=0.07 cores=0-7
/proc/579/task/582/stat : 582 (java) S 577 577 32308 0 -1 1077944384 133 0 0 0 3 4 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548737690512 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=583] ppid=577 vsize=28834900 memory=-7521736447810188379 CPUtime=0.07 cores=0-7
/proc/579/task/583/stat : 583 (java) S 577 577 32308 0 -1 1077944384 104 0 0 0 3 4 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548736637968 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=584] ppid=577 vsize=28834900 memory=-8412652160765825907 CPUtime=0.06 cores=0-7
/proc/579/task/584/stat : 584 (java) S 577 577 32308 0 -1 1077944384 116 0 0 0 3 3 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548735585424 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=586] ppid=577 vsize=28834900 memory=7897517683652307531 CPUtime=0.07 cores=0-7
/proc/579/task/586/stat : 586 (java) S 577 577 32308 0 -1 1077944384 144 0 0 0 3 4 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548734531856 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=587] ppid=577 vsize=28834900 memory=8514726395715349656 CPUtime=0.07 cores=0-7
/proc/579/task/587/stat : 587 (java) S 577 577 32308 0 -1 1077944384 134 0 0 0 4 3 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548733479312 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=588] ppid=577 vsize=28834900 memory=7100839878645619564 CPUtime=0.07 cores=0-7
/proc/579/task/588/stat : 588 (java) S 577 577 32308 0 -1 1077944384 147 0 0 0 4 3 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548732426768 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=589] ppid=577 vsize=28834900 memory=-8634980985311628903 CPUtime=0.06 cores=0-7
/proc/579/task/589/stat : 589 (java) S 577 577 32308 0 -1 1077944384 125 0 0 0 3 3 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548731374224 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=592] ppid=577 vsize=28834900 memory=3047711553320166262 CPUtime=0.01 cores=0-7
/proc/579/task/592/stat : 592 (java) S 577 577 32308 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 28 0 511422838 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546963126768 140548786133634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=593] ppid=577 vsize=28834900 memory=7824336315716348491 CPUtime=0 cores=0-7
/proc/579/task/593/stat : 593 (java) S 577 577 32308 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 511422839 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546962073056 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=594] ppid=577 vsize=28834900 memory=1456 CPUtime=0 cores=0-7
/proc/579/task/594/stat : 594 (java) S 577 577 32308 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511422839 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546961020416 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=595] ppid=577 vsize=28834900 memory=531468 CPUtime=0 cores=0-7
/proc/579/task/595/stat : 595 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546959968976 140548786141083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=596] ppid=577 vsize=28834900 memory=7594308543655865705 CPUtime=2.38 cores=0-7
/proc/579/task/596/stat : 596 (java) S 577 577 32308 0 -1 1077944384 7256 0 0 0 236 2 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546958915568 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=597] ppid=577 vsize=28834900 memory=7740112611943342675 CPUtime=2.22 cores=0-7
/proc/579/task/597/stat : 597 (java) S 577 577 32308 0 -1 1077944384 8633 0 0 0 220 2 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546957863024 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=600] ppid=577 vsize=28834900 memory=288230574492221466 CPUtime=2.26 cores=0-7
/proc/579/task/600/stat : 600 (java) S 577 577 32308 0 -1 1077944384 5121 0 0 0 224 2 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546956810480 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=601] ppid=577 vsize=28834900 memory=288230596050944315 CPUtime=0.97 cores=0-7
/proc/579/task/601/stat : 601 (java) S 577 577 32308 0 -1 1077944384 5590 0 0 0 96 1 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546955757936 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=602] ppid=577 vsize=28834900 memory=14689690934577590 CPUtime=0 cores=0-7
/proc/579/task/602/stat : 602 (java) S 577 577 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546954705632 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=603] ppid=577 vsize=28834900 memory=2124 CPUtime=0 cores=0-7
/proc/579/task/603/stat : 603 (java) S 577 577 32308 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546953653168 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=844] ppid=577 vsize=28834900 memory=35716 CPUtime=3.67 cores=0-7
/proc/579/task/844/stat : 844 (java) R 577 577 32308 0 -1 4202560 149 0 0 0 367 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546934153080 140548400126369 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=845] ppid=577 vsize=28834900 memory=12024 CPUtime=3.84 cores=0-7
/proc/579/task/845/stat : 845 (java) R 577 577 32308 0 -1 4202560 137 0 0 0 384 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546940469832 140548400126088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=846] ppid=577 vsize=28834900 memory=500 CPUtime=3.83 cores=0-7
/proc/579/task/846/stat : 846 (java) R 577 577 32308 0 -1 4202560 231 0 0 0 383 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546942574600 140548400125936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=847] ppid=577 vsize=28834900 memory=1560 CPUtime=3.85 cores=0-7
/proc/579/task/847/stat : 847 (java) R 577 577 32308 0 -1 4202560 266 0 0 0 385 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546936260424 140548400126045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=848] ppid=577 vsize=28834900 memory=6947385649911455296 CPUtime=3.71 cores=0-7
/proc/579/task/848/stat : 848 (java) R 577 577 32308 0 -1 4202560 341 0 0 0 371 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546937311176 140548396449967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=849] ppid=577 vsize=28834900 memory=3768 CPUtime=3.7 cores=0-7
/proc/579/task/849/stat : 849 (java) R 577 577 32308 0 -1 4202560 153 0 0 0 370 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546935206648 140548400126155 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=850] ppid=577 vsize=28834900 memory=1980 CPUtime=3.66 cores=0-7
/proc/579/task/850/stat : 850 (java) R 577 577 32308 0 -1 4202560 544 0 0 0 366 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546938366264 140548400126088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=851] ppid=577 vsize=28834900 memory=2512 CPUtime=3.78 cores=0-7
/proc/579/task/851/stat : 851 (java) R 577 577 32308 0 -1 4202560 397 0 0 0 378 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546941522296 140548400125996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
Current children cumulated CPU time: 78.66 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 541204 KiB

[startup+11.6014 s]
/proc/loadavg: 7.91 8.07 8.14 9/220 851
/proc/meminfo: memFree=28330380/32770624 swapFree=66999256/67108860
[pid=577] ppid=574 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/577/stat : 577 (xcsp3-exec) S 574 577 32308 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511422836 115843072 364 33554432000 4194304 5098028 140722617264688 140722617262792 140484996067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8376320 140722617267062 140722617267305 140722617267305 140722617270218 0
/proc/577/statm: 28282 364 305 221 0 87 0
[pid=579] ppid=577 vsize=28834900 memory=539748 CPUtime=81.85 cores=0-7
/proc/579/stat : 579 (java) S 577 577 32308 0 -1 1077944320 48184 0 0 0 8122 63 0 0 20 0 28 0 511422836 29526937600 134937 33554432000 4194304 4196468 140723075647216 140723075629760 140548786122487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
/proc/579/statm: 7208725 134937 3529 1 0 7169825 0
[pid=579/tid=580] ppid=577 vsize=28834900 memory=1112 CPUtime=1.67 cores=0-7
/proc/579/task/580/stat : 580 (java) S 577 577 32308 0 -1 1077944384 9690 0 0 0 161 6 0 0 20 0 28 0 511422836 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548790363264 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=581] ppid=577 vsize=28834900 memory=1004 CPUtime=0.07 cores=0-7
/proc/579/task/581/stat : 581 (java) S 577 577 32308 0 -1 1077944384 143 0 0 0 3 4 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548738743056 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=582] ppid=577 vsize=28834900 memory=6084 CPUtime=0.07 cores=0-7
/proc/579/task/582/stat : 582 (java) S 577 577 32308 0 -1 1077944384 133 0 0 0 3 4 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548737690512 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=583] ppid=577 vsize=28834900 memory=14008 CPUtime=0.07 cores=0-7
/proc/579/task/583/stat : 583 (java) S 577 577 32308 0 -1 1077944384 104 0 0 0 3 4 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548736637968 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=584] ppid=577 vsize=28834900 memory=2124 CPUtime=0.06 cores=0-7
/proc/579/task/584/stat : 584 (java) S 577 577 32308 0 -1 1077944384 116 0 0 0 3 3 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548735585424 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=586] ppid=577 vsize=28834900 memory=35716 CPUtime=0.07 cores=0-7
/proc/579/task/586/stat : 586 (java) S 577 577 32308 0 -1 1077944384 144 0 0 0 3 4 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548734531856 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=587] ppid=577 vsize=28834900 memory=12024 CPUtime=0.07 cores=0-7
/proc/579/task/587/stat : 587 (java) S 577 577 32308 0 -1 1077944384 134 0 0 0 4 3 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548733479312 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=588] ppid=577 vsize=28834900 memory=500 CPUtime=0.07 cores=0-7
/proc/579/task/588/stat : 588 (java) S 577 577 32308 0 -1 1077944384 147 0 0 0 4 3 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548732426768 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=589] ppid=577 vsize=28834900 memory=1560 CPUtime=0.06 cores=0-7
/proc/579/task/589/stat : 589 (java) S 577 577 32308 0 -1 1077944384 125 0 0 0 3 3 0 0 20 0 28 0 511422837 29526937600 134937 33554432000 4194304 4196468 140723075647216 140548731374224 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=592] ppid=577 vsize=28834900 memory=2241 CPUtime=0.01 cores=0-7
/proc/579/task/592/stat : 592 (java) S 577 577 32308 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 28 0 511422838 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546963126768 140548786133634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=593] ppid=577 vsize=28834900 memory=2244 CPUtime=0 cores=0-7
/proc/579/task/593/stat : 593 (java) S 577 577 32308 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 511422839 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546962073056 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=594] ppid=577 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/579/task/594/stat : 594 (java) S 577 577 32308 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511422839 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546961020416 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=595] ppid=577 vsize=28834900 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/579/task/595/stat : 595 (java) S 577 577 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546959968976 140548786141083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=596] ppid=577 vsize=28834900 memory=0 CPUtime=2.39 cores=0-7
/proc/579/task/596/stat : 596 (java) S 577 577 32308 0 -1 1077944384 7536 0 0 0 237 2 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546958915568 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=597] ppid=577 vsize=28834900 memory=1456 CPUtime=2.22 cores=0-7
/proc/579/task/597/stat : 597 (java) S 577 577 32308 0 -1 1077944384 8633 0 0 0 220 2 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546957863024 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=600] ppid=577 vsize=28834900 memory=535564 CPUtime=2.26 cores=0-7
/proc/579/task/600/stat : 600 (java) S 577 577 32308 0 -1 1077944384 5122 0 0 0 224 2 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546956810480 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=601] ppid=577 vsize=28834900 memory=7307765870928030315 CPUtime=0.97 cores=0-7
/proc/579/task/601/stat : 601 (java) S 577 577 32308 0 -1 1077944384 5658 0 0 0 96 1 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546955757936 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=602] ppid=577 vsize=28834900 memory=3028 CPUtime=0 cores=0-7
/proc/579/task/602/stat : 602 (java) S 577 577 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546954705632 140548786132693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=603] ppid=577 vsize=28834900 memory=2012 CPUtime=0 cores=0-7
/proc/579/task/603/stat : 603 (java) S 577 577 32308 0 -1 1077944384 689 0 0 0 0 0 0 0 20 0 28 0 511422842 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546953653168 140548786133634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=844] ppid=577 vsize=28834900 memory=1436 CPUtime=4.06 cores=0-7
/proc/579/task/844/stat : 844 (java) R 577 577 32308 0 -1 4202560 166 0 0 0 406 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546934152856 140548400612595 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=845] ppid=577 vsize=28834900 memory=776 CPUtime=4.23 cores=0-7
/proc/579/task/845/stat : 845 (java) R 577 577 32308 0 -1 4202560 144 0 0 0 423 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546940469832 140548400125898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=846] ppid=577 vsize=28834900 memory=3604 CPUtime=4.23 cores=0-7
/proc/579/task/846/stat : 846 (java) R 577 577 32308 0 -1 4202560 240 0 0 0 423 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546942574824 140548400126008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=847] ppid=577 vsize=28834900 memory=2828 CPUtime=4.25 cores=0-7
/proc/579/task/847/stat : 847 (java) R 577 577 32308 0 -1 4202560 304 0 0 0 425 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546936258936 140548400126005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=848] ppid=577 vsize=28834900 memory=1412 CPUtime=4.11 cores=0-7
/proc/579/task/848/stat : 848 (java) R 577 577 32308 0 -1 4202560 390 0 0 0 411 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546937310592 140548400126106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=849] ppid=577 vsize=28834900 memory=676 CPUtime=4.09 cores=0-7
/proc/579/task/849/stat : 849 (java) R 577 577 32308 0 -1 4202560 176 0 0 0 409 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546935209384 140548400126065 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=850] ppid=577 vsize=28834900 memory=2908 CPUtime=4.06 cores=0-7
/proc/579/task/850/stat : 850 (java) R 577 577 32308 0 -1 4202560 552 0 0 0 406 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546938364104 140548400126005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
[pid=579/tid=851] ppid=577 vsize=28834900 memory=1456 CPUtime=4.18 cores=0-7
/proc/579/task/851/stat : 851 (java) R 577 577 32308 0 -1 4202560 405 0 0 0 418 0 0 0 20 0 28 0 511423569 29526937600 134937 33554432000 4194304 4196468 140723075647216 140546941522552 140548400126295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6488064 140723075654634 140723075654806 140723075654806 140723075657679 0
Current children cumulated CPU time: 81.85 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 541204 KiB

[startup+12.0017 s]*
/proc/loadavg: 7.91 8.07 8.14 2/211 851
/proc/meminfo: memFree=28329324/32770624 swapFree=66999256/67108860
[pid=577] ppid=574 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/577/stat : 577 (xcsp3-exec) S 574 577 32308 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511422836 115843072 364 33554432000 4194304 5098028 140722617264688 140722617262792 140484996067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8376320 140722617267062 140722617267305 140722617267305 140722617270218 0
/proc/577/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 12.0123
CPU time (s): 85.0343
CPU user time (s): 84.3922
CPU system time (s): 0.642088
CPU usage (%): 707.895
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 541792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.3922
system time used= 0.642088
maximum resident set size= 541948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7275
involuntary context switches= 1770


# summary of solver processes directly reported to runsolver:
#   pid: 577
#   total CPU time (s): 85.0343
#   total CPU user time (s): 84.3922
#   total CPU system time (s): 0.642088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.13183 second user time and 0.1769 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 21:00:39
IDJOB=4407113
IDBENCH=128019
IDSOLVER=2871
FILE ID=node103/4407113-1569351698
RUNJOBID= node103-1569348342-32335
PBS_JOBID= 21705080
Free space on /tmp= 20860 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-7.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407113-1569351698/watcher-4407113-1569351698 -o /tmp/evaluation-result-4407113-1569351698/solver-4407113-1569351698 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 445412302 HOME/instance-4407113-1569351698.xml

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

MD5SUM BENCH= d869450afe9c29c5d3a1d31c4402b074
RANDOM SEED=445412302

node103.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.74
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.74
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.74
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.74
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:        28858184 kB
MemAvailable:   31852012 kB
Buffers:           56252 kB
Cached:          3214340 kB
SwapCached:         7000 kB
Active:          3168996 kB
Inactive:         116224 kB
Active(anon):       4764 kB
Inactive(anon):    67432 kB
Active(file):    3164232 kB
Inactive(file):    48792 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             27000 kB
Writeback:             0 kB
AnonPages:        147184 kB
Mapped:            57804 kB
Shmem:             49080 kB
Slab:             221420 kB
SReclaimable:     193280 kB
SUnreclaim:        28140 kB
KernelStack:        3728 kB
PageTables:         5872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20832 MiB
End job on node103 at 2019-09-24 21:00:51