Trace number 4404810

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-20 parallelOPT72 2102.11 265.022

General information on the benchmark

NameGolombRuler/
GolombRuler-a3v18-11_c18.xml
MD5SUMed3f9a47d1f1ba76ff72e7160e212ad4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark885.287
Satisfiable
(Un)Satisfiability was proved
Number of variables132
Number of constraints56
Number of domains2
Minimum domain size121
Maximum domain size122
Distribution of domain sizes[{"size":121,"count":55},{"size":122,"count":11}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":66},{"degree":2,"count":55},{"degree":10,"count":10},{"degree":11,"count":1}]
Minimum constraint arity3
Maximum constraint arity55
Distribution of constraint arities[{"arity":3,"count":55},{"arity":55,"count":1}]
Number of extensional constraints0
Number of intensional constraints55
Distribution of constraint types[{"type":"intension","count":55},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin VAR

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-4404810-1569011947.xml"  -tl '20160s' -p 8
0.12/0.20	c Choco 3fb4b153
0.12/0.20	c [HOME/instance-4404810-1569011947.xml, -tl, 20160s, -p, 8]
0.33/0.25	c 8 solvers in parallel
0.33/0.32	c parse instance...
1.50/0.76	c solve instance...
1.89/0.85	o 96 
1.89/0.88	o 93 
2.58/0.92	o 90 
2.58/0.97	o 89 
3.22/1.10	o 88 
3.99/1.18	o 87 
4.67/1.25	o 85 
4.67/1.26	o 81 
7.77/1.70	o 78 
22.08/3.47	o 77 
23.92/3.79	o 76 
32.66/4.84	o 74 
37.46/5.47	o 72 
2101.27/265.00	s OPTIMUM FOUND
2101.27/265.00	v <instantiation>
2101.27/265.00	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[6][7] y[6][8] y[6][9] y[6][10] y[7][8] y[7][9] y[7][10] y[8][9] y[8][10] y[9][10] </list>
2101.27/265.00	v 	<values>0 1 4 13 28 33 47 54 64 70 72 1 4 13 28 33 47 54 64 70 72 3 12 27 32 46 53 63 69 71 9 24 29 43 50 60 66 68 15 20 34 41 51 57 59 5 19 26 36 42 44 14 21 31 37 39 7 17 23 25 10 16 18 6 8 2 </values>
2101.27/265.00	v </instantiation>

Verifier Data

OK	72

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404810-1569011947/watcher-4404810-1569011947 -o /tmp/evaluation-result-4404810-1569011947/solver-4404810-1569011947 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324521208-27878 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1684861073 HOME/instance-4404810-1569011947.xml 

running on 8 cores: 0-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=28818, runsolver pid=28815
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 6.49 7.72 7.93 3/211 28839
/proc/meminfo: memFree=25444648/32770688 swapFree=66927240/67108860
[pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0
/proc/28818/statm: 28282 363 305 221 0 87 0
[pid=28820] ppid=28818 vsize=28227396 memory=29892 CPUtime=0.12 cores=0-7
/proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 5862 0 0 0 11 1 0 0 20 0 20 0 477200942 28904853504 7473 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
/proc/28820/statm: 7056849 7473 3147 1 0 7019032 0
[pid=28820/tid=28821] ppid=28818 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28820/task/28821/stat : 28821 (java) R 28818 28818 27851 0 -1 4202560 3783 0 0 0 8 0 0 0 20 0 20 0 477200943 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224587388904 140224583167382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28822] ppid=28818 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28823] ppid=28818 vsize=28227396 memory=140529751783040 CPUtime=0 cores=0-7
/proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28824] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28825] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28826] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28827] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28828] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28829] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 7473 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28830] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200945 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28831] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477200946 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223247541280 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28832] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477200946 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223246488432 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28833] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28834] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28835] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28836] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28837] ppid=28818 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28838] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28839] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 7473 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31344 KiB

[startup+0.21144 s]*
/proc/loadavg: 6.49 7.72 7.93 2/211 28839
/proc/meminfo: memFree=25430868/32770688 swapFree=66927240/67108860
[pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0
/proc/28818/statm: 28282 363 305 221 0 87 0
[pid=28820] ppid=28818 vsize=28227396 memory=40380 CPUtime=0.33 cores=0-7
/proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 9400 0 0 0 30 3 0 0 20 0 20 0 477200942 28904853504 10095 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
/proc/28820/statm: 7056849 10095 3197 1 0 7019032 0
[pid=28820/tid=28821] ppid=28818 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28820/task/28821/stat : 28821 (java) R 28818 28818 27851 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 20 0 477200943 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224587374784 140224569273264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28822] ppid=28818 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28823] ppid=28818 vsize=28227396 memory=140529751806973 CPUtime=0 cores=0-7
/proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28824] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28825] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28826] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28827] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28828] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28829] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 477200944 28904853504 10095 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28830] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200945 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28831] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477200946 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223247541280 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28832] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477200946 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223246488432 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28833] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28834] ppid=28818 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28835] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28836] ppid=28818 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28837] ppid=28818 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28838] ppid=28818 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28839] ppid=28818 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28904853504 10095 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41832 KiB

[startup+0.311409 s]*
/proc/loadavg: 6.49 7.72 7.93 4/211 28839
/proc/meminfo: memFree=25426104/32770688 swapFree=66927240/67108860
[pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0
/proc/28818/statm: 28282 363 305 221 0 87 0
[pid=28820] ppid=28818 vsize=28231652 memory=46412 CPUtime=0.51 cores=0-7
/proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 10529 0 0 0 47 4 0 0 20 0 20 0 477200942 28909211648 11603 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
/proc/28820/statm: 7057913 11603 3263 1 0 7019032 0
[pid=28820/tid=28821] ppid=28818 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28820/task/28821/stat : 28821 (java) R 28818 28818 27851 0 -1 4202560 7591 0 0 0 27 3 0 0 20 0 20 0 477200943 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224587392672 140224583176794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28822] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28823] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28824] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28825] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28826] ppid=28818 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28827] ppid=28818 vsize=28231652 memory=140529652298671 CPUtime=0 cores=0-7
/proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28828] ppid=28818 vsize=28231652 memory=140529652300976 CPUtime=0 cores=0-7
/proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28829] ppid=28818 vsize=28231652 memory=140529652303280 CPUtime=0 cores=0-7
/proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 477200944 28909211648 11603 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28830] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477200945 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28831] ppid=28818 vsize=28231652 memory=281059304613520 CPUtime=0 cores=0-7
/proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477200946 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223247541280 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28832] ppid=28818 vsize=28231652 memory=281059304620432 CPUtime=0 cores=0-7
/proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477200946 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223246488432 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28833] ppid=28818 vsize=28231652 memory=281059304561712 CPUtime=0 cores=0-7
/proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28834] ppid=28818 vsize=28231652 memory=281059304634256 CPUtime=0.01 cores=0-7
/proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28835] ppid=28818 vsize=28231652 memory=281059304641168 CPUtime=0.01 cores=0-7
/proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28836] ppid=28818 vsize=28231652 memory=281059304638864 CPUtime=0.03 cores=0-7
/proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 262 0 0 0 3 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28837] ppid=28818 vsize=28231652 memory=281059304655024 CPUtime=0.13 cores=0-7
/proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 818 0 0 0 13 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28838] ppid=28818 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28839] ppid=28818 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477200949 28909211648 11603 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 47864 KiB

[startup+0.701026 s]
/proc/loadavg: 6.49 7.72 7.93 4/211 28839
/proc/meminfo: memFree=25415992/32770688 swapFree=66927240/67108860
[pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0
/proc/28818/statm: 28282 363 305 221 0 87 0
[pid=28820] ppid=28818 vsize=28233776 memory=78972 CPUtime=1.5 cores=0-7
/proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 14961 0 0 0 144 6 0 0 20 0 20 0 477200942 28911386624 19743 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
/proc/28820/statm: 7058444 19743 3452 1 0 7019544 0
[pid=28820/tid=28821] ppid=28818 vsize=28233776 memory=281059305012912 CPUtime=0.68 cores=0-7
/proc/28820/task/28821/stat : 28821 (java) R 28818 28818 27851 0 -1 4202560 9380 0 0 0 64 4 0 0 20 0 20 0 477200943 28911386624 19743 33554432000 4194304 4196468 140724308515360 140224587390608 140224189508890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28822] ppid=28818 vsize=28233776 memory=140529652507504 CPUtime=0 cores=0-7
/proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28911386624 19743 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28823] ppid=28818 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28911386624 19743 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28824] ppid=28818 vsize=28233776 memory=2820 CPUtime=0 cores=0-7
/proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477200944 28911386624 19743 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0

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

[pid=28820/tid=28946] ppid=28818 vsize=28769364 memory=12028 CPUtime=254.28 cores=0-7
/proc/28820/task/28946/stat : 28946 (java) R 28818 28818 27851 0 -1 4202560 1567 0 0 0 25427 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223160669056 140224194838763 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28947] ppid=28818 vsize=28769364 memory=33528 CPUtime=255.35 cores=0-7
/proc/28820/task/28947/stat : 28947 (java) R 28818 28818 27851 0 -1 4202560 4265 0 0 0 25529 6 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223157510568 140224196358711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28948] ppid=28818 vsize=28769364 memory=24248 CPUtime=254.33 cores=0-7
/proc/28820/task/28948/stat : 28948 (java) R 28818 28818 27851 0 -1 4202560 2734 0 0 0 25430 3 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223158565888 140224194755574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28949] ppid=28818 vsize=28769364 memory=24282 CPUtime=254.67 cores=0-7
/proc/28820/task/28949/stat : 28949 (java) R 28818 28818 27851 0 -1 4202560 1734 0 0 0 25466 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223234191976 140224195539189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28950] ppid=28818 vsize=28769364 memory=24352 CPUtime=255.3 cores=0-7
/proc/28820/task/28950/stat : 28950 (java) R 28818 28818 27851 0 -1 4202560 1929 0 0 0 25529 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223159615272 140224195227714 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28951] ppid=28818 vsize=28769364 memory=24350 CPUtime=255.38 cores=0-7
/proc/28820/task/28951/stat : 28951 (java) R 28818 28818 27851 0 -1 4202560 4403 0 0 0 25538 0 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223156457232 140224196613659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
Current children cumulated CPU time: 2081.37 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 527456 KiB

[startup+264.002 s]*
/proc/loadavg: 7.97 7.99 8.00 9/220 28997
/proc/meminfo: memFree=24949360/32770688 swapFree=66927244/67108860
[pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0
/proc/28818/statm: 28282 363 305 221 0 87 0
[pid=28820] ppid=28818 vsize=28769364 memory=526004 CPUtime=2094.19 cores=0-7
/proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 96553 0 0 0 209344 75 0 0 20 0 28 0 477200942 29459828736 131501 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
/proc/28820/statm: 7192341 131501 3520 1 0 7153441 0
[pid=28820/tid=28821] ppid=28818 vsize=28769364 memory=281059305321024 CPUtime=0.76 cores=0-7
/proc/28820/task/28821/stat : 28821 (java) S 28818 28818 27851 0 -1 1077944384 9496 0 0 0 72 4 0 0 20 0 28 0 477200943 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224587396224 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28822] ppid=28818 vsize=28769364 memory=1452 CPUtime=0.43 cores=0-7
/proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2333 0 0 0 39 4 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28823] ppid=28818 vsize=28769364 memory=4872558044660077418 CPUtime=0.41 cores=0-7
/proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2724 0 0 0 38 3 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28824] ppid=28818 vsize=28769364 memory=776 CPUtime=0.42 cores=0-7
/proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2848 0 0 0 39 3 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28825] ppid=28818 vsize=28769364 memory=660 CPUtime=0.42 cores=0-7
/proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 3428 0 0 0 38 4 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28826] ppid=28818 vsize=28769364 memory=1556 CPUtime=0.42 cores=0-7
/proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 2891 0 0 0 39 3 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28827] ppid=28818 vsize=28769364 memory=9588 CPUtime=0.41 cores=0-7
/proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2678 0 0 0 37 4 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28828] ppid=28818 vsize=28769364 memory=1712 CPUtime=0.41 cores=0-7
/proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1260 0 0 0 38 3 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28829] ppid=28818 vsize=28769364 memory=6036 CPUtime=0.42 cores=0-7
/proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 3568 0 0 0 38 4 0 0 20 0 28 0 477200944 29459828736 131501 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28830] ppid=28818 vsize=28769364 memory=3668 CPUtime=0.34 cores=0-7
/proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 7069 0 0 0 28 6 0 0 20 0 28 0 477200945 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28831] ppid=28818 vsize=28769364 memory=1056 CPUtime=0 cores=0-7
/proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 477200946 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223247541344 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28832] ppid=28818 vsize=28769364 memory=2820 CPUtime=0 cores=0-7
/proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477200946 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223246488448 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28833] ppid=28818 vsize=28769364 memory=1176 CPUtime=0 cores=0-7
/proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28834] ppid=28818 vsize=28769364 memory=980 CPUtime=2.2 cores=0-7
/proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 7194 0 0 0 218 2 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28835] ppid=28818 vsize=28769364 memory=14008 CPUtime=2.27 cores=0-7
/proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 9045 0 0 0 225 2 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28836] ppid=28818 vsize=28769364 memory=12028 CPUtime=2.26 cores=0-7
/proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 10939 0 0 0 223 3 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28837] ppid=28818 vsize=28769364 memory=33528 CPUtime=0.89 cores=0-7
/proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 6474 0 0 0 89 0 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28838] ppid=28818 vsize=28769364 memory=2120 CPUtime=0 cores=0-7
/proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28839] ppid=28818 vsize=28769364 memory=496 CPUtime=0.04 cores=0-7
/proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 900 0 0 0 0 4 0 0 20 0 28 0 477200949 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28944] ppid=28818 vsize=28769364 memory=1560 CPUtime=256.25 cores=0-7
/proc/28820/task/28944/stat : 28944 (java) R 28818 28818 27851 0 -1 4202560 1477 0 0 0 25624 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223152254104 140224195227292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28945] ppid=28818 vsize=28769364 memory=928 CPUtime=256.52 cores=0-7
/proc/28820/task/28945/stat : 28945 (java) R 28818 28818 27851 0 -1 4202560 1489 0 0 0 25651 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223155404456 140224196613802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28946] ppid=28818 vsize=28769364 memory=1724 CPUtime=255.88 cores=0-7
/proc/28820/task/28946/stat : 28946 (java) R 28818 28818 27851 0 -1 4202560 1569 0 0 0 25587 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223160669192 140224563997960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28947] ppid=28818 vsize=28769364 memory=1452 CPUtime=256.95 cores=0-7
/proc/28820/task/28947/stat : 28947 (java) R 28818 28818 27851 0 -1 4202560 4266 0 0 0 25689 6 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223157513704 140224195226789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28948] ppid=28818 vsize=28769364 memory=526004 CPUtime=255.93 cores=0-7
/proc/28820/task/28948/stat : 28948 (java) R 28818 28818 27851 0 -1 4202560 2735 0 0 0 25590 3 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223158563208 140224196203047 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28949] ppid=28818 vsize=28769364 memory=1420 CPUtime=256.27 cores=0-7
/proc/28820/task/28949/stat : 28949 (java) R 28818 28818 27851 0 -1 4202560 1734 0 0 0 25626 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223234194912 140224196358639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28950] ppid=28818 vsize=28769364 memory=776 CPUtime=256.88 cores=0-7
/proc/28820/task/28950/stat : 28950 (java) R 28818 28818 27851 0 -1 4202560 1929 0 0 0 25687 1 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223159615184 140224195415954 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28951] ppid=28818 vsize=28769364 memory=660 CPUtime=256.98 cores=0-7
/proc/28820/task/28951/stat : 28951 (java) R 28818 28818 27851 0 -1 4202560 4407 0 0 0 25698 0 0 0 20 0 28 0 477201490 29459828736 131501 33554432000 4194304 4196468 140724308515360 140223156457248 140224196205921 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
Current children cumulated CPU time: 2094.19 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 527456 KiB

[startup+264.802 s]
/proc/loadavg: 7.97 7.99 8.00 9/220 28997
/proc/meminfo: memFree=24949360/32770688 swapFree=66927244/67108860
[pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0
/proc/28818/statm: 28282 363 305 221 0 87 0
[pid=28820] ppid=28818 vsize=28769364 memory=526012 CPUtime=2100.47 cores=0-7
/proc/28820/stat : 28820 (java) S 28818 28818 27851 0 -1 1077944320 96586 0 0 0 209972 75 0 0 20 0 28 0 477200942 29459828736 131503 33554432000 4194304 4196468 140724308515360 140724308497904 140224583155447 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
/proc/28820/statm: 7192341 131503 3520 1 0 7153441 0
[pid=28820/tid=28821] ppid=28818 vsize=28769364 memory=526004 CPUtime=0.76 cores=0-7
/proc/28820/task/28821/stat : 28821 (java) S 28818 28818 27851 0 -1 1077944384 9496 0 0 0 72 4 0 0 20 0 28 0 477200943 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224587396224 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28822] ppid=28818 vsize=28769364 memory=1712 CPUtime=0.43 cores=0-7
/proc/28820/task/28822/stat : 28822 (java) S 28818 28818 27851 0 -1 1077944384 2338 0 0 0 39 4 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224535775888 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28823] ppid=28818 vsize=28769364 memory=6036 CPUtime=0.41 cores=0-7
/proc/28820/task/28823/stat : 28823 (java) S 28818 28818 27851 0 -1 1077944384 2727 0 0 0 38 3 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224534723088 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28824] ppid=28818 vsize=28769364 memory=3668 CPUtime=0.42 cores=0-7
/proc/28820/task/28824/stat : 28824 (java) S 28818 28818 27851 0 -1 1077944384 2852 0 0 0 39 3 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224533670288 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28825] ppid=28818 vsize=28769364 memory=1452 CPUtime=0.43 cores=0-7
/proc/28820/task/28825/stat : 28825 (java) S 28818 28818 27851 0 -1 1077944384 3433 0 0 0 39 4 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224532617488 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28826] ppid=28818 vsize=28769364 memory=526004 CPUtime=0.42 cores=0-7
/proc/28820/task/28826/stat : 28826 (java) S 28818 28818 27851 0 -1 1077944384 2892 0 0 0 39 3 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224531565712 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28827] ppid=28818 vsize=28769364 memory=140529652321063 CPUtime=0.41 cores=0-7
/proc/28820/task/28827/stat : 28827 (java) S 28818 28818 27851 0 -1 1077944384 2682 0 0 0 37 4 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224530512912 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28828] ppid=28818 vsize=28769364 memory=6944652177228980320 CPUtime=0.41 cores=0-7
/proc/28820/task/28828/stat : 28828 (java) S 28818 28818 27851 0 -1 1077944384 1261 0 0 0 38 3 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224529460112 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28829] ppid=28818 vsize=28769364 memory=0 CPUtime=0.42 cores=0-7
/proc/28820/task/28829/stat : 28829 (java) S 28818 28818 27851 0 -1 1077944384 3571 0 0 0 38 4 0 0 20 0 28 0 477200944 29459828736 131503 33554432000 4194304 4196468 140724308515360 140224528407312 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28830] ppid=28818 vsize=28769364 memory=1452 CPUtime=0.34 cores=0-7
/proc/28820/task/28830/stat : 28830 (java) S 28818 28818 27851 0 -1 1077944384 7069 0 0 0 28 6 0 0 20 0 28 0 477200945 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223248595312 140224583166594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28831] ppid=28818 vsize=28769364 memory=64856 CPUtime=0 cores=0-7
/proc/28820/task/28831/stat : 28831 (java) S 28818 28818 27851 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 477200946 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223247541344 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28832] ppid=28818 vsize=28769364 memory=984 CPUtime=0 cores=0-7
/proc/28820/task/28832/stat : 28832 (java) S 28818 28818 27851 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477200946 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223246488448 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28833] ppid=28818 vsize=28769364 memory=2020 CPUtime=0 cores=0-7
/proc/28820/task/28833/stat : 28833 (java) S 28818 28818 27851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223245436752 140224583174043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28834] ppid=28818 vsize=28769364 memory=1420 CPUtime=2.2 cores=0-7
/proc/28820/task/28834/stat : 28834 (java) S 28818 28818 27851 0 -1 1077944384 7194 0 0 0 218 2 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223244385136 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28835] ppid=28818 vsize=28769364 memory=776 CPUtime=2.27 cores=0-7
/proc/28820/task/28835/stat : 28835 (java) S 28818 28818 27851 0 -1 1077944384 9045 0 0 0 225 2 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223243332336 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28836] ppid=28818 vsize=28769364 memory=660 CPUtime=2.26 cores=0-7
/proc/28820/task/28836/stat : 28836 (java) S 28818 28818 27851 0 -1 1077944384 10939 0 0 0 223 3 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223242279536 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28837] ppid=28818 vsize=28769364 memory=1556 CPUtime=0.89 cores=0-7
/proc/28820/task/28837/stat : 28837 (java) S 28818 28818 27851 0 -1 1077944384 6474 0 0 0 89 0 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223241226736 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28838] ppid=28818 vsize=28769364 memory=9588 CPUtime=0 cores=0-7
/proc/28820/task/28838/stat : 28838 (java) S 28818 28818 27851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223240174176 140224583165653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28839] ppid=28818 vsize=28769364 memory=1712 CPUtime=0.04 cores=0-7
/proc/28820/task/28839/stat : 28839 (java) S 28818 28818 27851 0 -1 1077944384 900 0 0 0 0 4 0 0 20 0 28 0 477200949 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223239121456 140224583166594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28944] ppid=28818 vsize=28769364 memory=6036 CPUtime=257.02 cores=0-7
/proc/28820/task/28944/stat : 28944 (java) R 28818 28818 27851 0 -1 4202560 1479 0 0 0 25701 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223152253968 140224194839538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28945] ppid=28818 vsize=28769364 memory=3668 CPUtime=257.3 cores=0-7
/proc/28820/task/28945/stat : 28945 (java) R 28818 28818 27851 0 -1 4202560 1491 0 0 0 25729 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223155404552 140224196196750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28946] ppid=28818 vsize=28769364 memory=1056 CPUtime=256.67 cores=0-7
/proc/28820/task/28946/stat : 28946 (java) R 28818 28818 27851 0 -1 4202560 1571 0 0 0 25666 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223160669192 140224195414462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28947] ppid=28818 vsize=28769364 memory=2820 CPUtime=257.74 cores=0-7
/proc/28820/task/28947/stat : 28947 (java) R 28818 28818 27851 0 -1 4202560 4266 0 0 0 25768 6 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223157510464 140224198603757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28948] ppid=28818 vsize=28769364 memory=1176 CPUtime=256.72 cores=0-7
/proc/28820/task/28948/stat : 28948 (java) R 28818 28818 27851 0 -1 4202560 2735 0 0 0 25669 3 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223158566000 140224195706927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28949] ppid=28818 vsize=28769364 memory=980 CPUtime=257.06 cores=0-7
/proc/28820/task/28949/stat : 28949 (java) R 28818 28818 27851 0 -1 4202560 1735 0 0 0 25705 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223234191088 140224194838256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28950] ppid=28818 vsize=28769364 memory=14008 CPUtime=257.66 cores=0-7
/proc/28820/task/28950/stat : 28950 (java) R 28818 28818 27851 0 -1 4202560 1929 0 0 0 25765 1 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223159615432 140224196614074 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
[pid=28820/tid=28951] ppid=28818 vsize=28769364 memory=12028 CPUtime=257.76 cores=0-7
/proc/28820/task/28951/stat : 28951 (java) R 28818 28818 27851 0 -1 4202560 4407 0 0 0 25776 0 0 0 20 0 28 0 477201490 29459828736 131503 33554432000 4194304 4196468 140724308515360 140223156457280 140224195226755 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28708864 140724308521962 140724308522134 140724308522134 140724308525007 0
Current children cumulated CPU time: 2100.47 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 527464 KiB

[startup+265.002 s]*
/proc/loadavg: 7.97 7.99 8.00 9/220 28997
/proc/meminfo: memFree=24949476/32770688 swapFree=66927244/67108860
[pid=28818] ppid=28815 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28818/stat : 28818 (xcsp3-exec) S 28815 28818 27851 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477200942 115843072 363 33554432000 4194304 5098028 140732611369840 140732611367944 139779039924860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8278016 140732611371893 140732611372137 140732611372137 140732611375050 0
/proc/28818/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 265.022
CPU time (s): 2102.11
CPU user time (s): 2101.35
CPU system time (s): 0.767884
CPU usage (%): 793.184
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 527464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2101.35
system time used= 0.767884
maximum resident set size= 526016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34781
involuntary context switches= 26888


# summary of solver processes directly reported to runsolver:
#   pid: 28818
#   total CPU time (s): 2102.11
#   total CPU user time (s): 2101.35
#   total CPU system time (s): 0.767884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.51543 second user time and 2.94509 second system time

The end

Launcher Data

Begin job on node120 at 2011-12-22 04:59:29
IDJOB=4404810
IDBENCH=141364
IDSOLVER=2865
FILE ID=node120/4404810-1569011947
RUNJOBID= node120-1324521208-27878
PBS_JOBID= 21704762
Free space on /tmp= 23412 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-11_c18.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-4404810-1569011947/watcher-4404810-1569011947 -o /tmp/evaluation-result-4404810-1569011947/solver-4404810-1569011947 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324521208-27878 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1684861073 HOME/instance-4404810-1569011947.xml

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

MD5SUM BENCH= ed3f9a47d1f1ba76ff72e7160e212ad4
RANDOM SEED=1684861073

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        25461232 kB
MemAvailable:   31789600 kB
Buffers:           74516 kB
Cached:          6523788 kB
SwapCached:        68644 kB
Active:          3262732 kB
Inactive:        3408372 kB
Active(anon):       2892 kB
Inactive(anon):   125884 kB
Active(file):    3259840 kB
Inactive(file):  3282488 kB
Unevictable:      107948 kB
Mlocked:          107948 kB
SwapTotal:      67108860 kB
SwapFree:       66927240 kB
Dirty:             25940 kB
Writeback:             0 kB
AnonPages:        112724 kB
Mapped:            57644 kB
Shmem:             47356 kB
Slab:             232708 kB
SReclaimable:     203752 kB
SUnreclaim:        28956 kB
KernelStack:        3696 kB
PageTables:         5340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     522756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 23384 MiB
End job on node120 at 2011-12-22 05:03:54