Trace number 4403691

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-20OPT1105 23.0953 6.16106

General information on the benchmark

NameKnapsack/Knapsack-m1-s50/
Knapsack-50-200-05.xml
MD5SUMfc947c5025dc4a3c0350e3415d914057
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1105
Best CPU time to get the best result obtained on this benchmark20.4113
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints1
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":50}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":50}]
Minimum constraint arity50
Maximum constraint arity50
Distribution of constraint arities[{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1}]
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403691-1568991622.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403691-1568991622.xml, -tl, 2520s, -p, 4]
0.33/0.22	c 4 solvers in parallel
0.33/0.28	c parse instance...
0.72/0.45	c solve instance...
0.72/0.47	o 0 
0.72/0.48	o 61 
0.72/0.48	o 116 
0.72/0.48	o 131 
0.72/0.49	o 186 
0.72/0.49	o 214 
0.72/0.49	o 217 
0.72/0.50	o 272 
0.72/0.50	o 300 
0.72/0.50	o 301 
0.72/0.50	o 302 
0.72/0.52	o 303 
0.72/0.52	o 312 
0.72/0.52	o 313 
0.72/0.52	o 314 
0.72/0.52	o 315 
0.72/0.52	o 316 
1.02/0.52	o 344 
1.02/0.52	o 346 
1.02/0.53	o 356 
1.02/0.53	o 358 
1.02/0.53	o 364 
1.02/0.53	o 392 
1.02/0.53	o 394 
1.02/0.53	o 395 
1.02/0.53	o 404 
1.02/0.53	o 406 
1.02/0.53	o 407 
1.02/0.53	o 408 
1.02/0.53	o 436 
1.02/0.54	o 439 
1.02/0.54	o 451 
1.02/0.54	o 458 
1.02/0.54	o 484 
1.02/0.55	o 496 
1.02/0.55	o 503 
1.02/0.55	o 512 
1.02/0.55	o 524 
1.02/0.56	o 530 
1.02/0.56	o 533 
1.02/0.56	o 535 
1.02/0.56	o 537 
1.02/0.56	o 549 
1.02/0.56	o 555 
1.02/0.56	o 556 
1.02/0.57	o 558 
1.02/0.57	o 663 
1.02/0.58	o 723 
1.02/0.60	o 782 
1.02/0.60	o 793 
1.34/0.61	o 802 
1.34/0.63	o 808 
1.34/0.63	o 817 
1.34/0.65	o 832 
1.34/0.68	o 890 
1.68/0.72	o 898 
1.68/0.76	o 919 
1.68/0.78	o 922 
2.07/0.81	o 924 
2.07/0.85	o 942 
2.07/0.86	o 952 
2.07/0.87	o 969 
2.07/0.89	o 997 
2.42/0.91	o 1001 
2.42/0.94	o 1002 
2.81/1.01	o 1006 
2.81/1.06	o 1018 
2.81/1.08	o 1054 
3.20/1.12	o 1069 
3.51/1.24	o 1077 
3.51/1.28	o 1080 
4.31/1.44	o 1083 
4.31/1.46	o 1099 
6.76/2.07	o 1105 
22.97/6.14	s OPTIMUM FOUND
22.97/6.14	v <instantiation>
22.97/6.14	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
22.97/6.14	v 	<values>0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 </values>
22.97/6.14	v </instantiation>

Verifier Data 

OK	1105

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403691-1568991622/watcher-4403691-1568991622 -o /var/tmp/evaluation-result-4403691-1568991622/solver-4403691-1568991622 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 857663469 HOME/instance-4403691-1568991622.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100959 s]*
/proc/loadavg: 9.02 8.61 8.27 7/232 8015
/proc/meminfo: memFree=15103740/32770624 swapFree=66952592/67108860
[pid=7999] ppid=7996 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7999/stat : 7999 (xcsp3-exec) S 7996 7999 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475417817 115843072 363 33554432000 4194304 5098028 140729535718144 140729535716248 139925649117820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25452544 140729535722327 140729535722585 140729535722585 140729535725510 0
/proc/7999/statm: 28282 363 304 221 0 87 0
[pid=8001] ppid=7999 vsize=15144776 memory=29356 CPUtime=0.13 cores=1,3,5,7
/proc/8001/stat : 8001 (java) S 7999 7999 1883 0 -1 1077944320 5816 0 0 0 11 2 0 0 20 0 15 0 475417817 15508250624 7339 33554432000 4194304 4196468 140726939936432 140726939918976 140359884988151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
/proc/8001/statm: 3786194 7339 3137 1 0 3748377 0
[pid=8001/tid=8002] ppid=7999 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/8001/task/8002/stat : 8002 (java) R 7999 7999 1883 0 -1 4202560 3705 0 0 0 8 1 0 0 20 0 15 0 475417817 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359889210208 140359885000086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8003] ppid=7999 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8003/stat : 8003 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417818 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359813028880 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8004] ppid=7999 vsize=15144776 memory=139833882891904 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8004/stat : 8004 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417818 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359811976336 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8005] ppid=7999 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8005/stat : 8005 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417818 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359810923280 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8006] ppid=7999 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8006/stat : 8006 (java) S 7999 7999 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475417818 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359809870736 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8007] ppid=7999 vsize=15144776 memory=139833882891904 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8007/stat : 8007 (java) S 7999 7999 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475417819 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359353518320 140359884999298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8008] ppid=7999 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8008/stat : 8008 (java) S 7999 7999 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475417820 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359352464544 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8009] ppid=7999 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8009/stat : 8009 (java) S 7999 7999 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475417820 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359351411440 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8010] ppid=7999 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8010/stat : 8010 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475417822 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359350360016 140359885006747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8011] ppid=7999 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8011/stat : 8011 (java) S 7999 7999 1883 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 475417822 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359349308144 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8012] ppid=7999 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8012/stat : 8012 (java) S 7999 7999 1883 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475417822 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359348255600 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8013] ppid=7999 vsize=15144776 memory=139833882891904 CPUtime=0.02 cores=1,3,5,7
/proc/8001/task/8013/stat : 8013 (java) R 7999 7999 1883 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 475417822 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359347202544 140359885000086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8014] ppid=7999 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8014/stat : 8014 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475417823 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359346150240 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8015] ppid=7999 vsize=15144776 memory=139833882891904 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8015/stat : 8015 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417823 15508250624 7339 33554432000 4194304 4196468 140726939936432 140359345097264 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30808 KiB

[startup+0.21072 s]*
/proc/loadavg: 9.02 8.61 8.27 7/232 8015
/proc/meminfo: memFree=15090500/32770624 swapFree=66952592/67108860
[pid=7999] ppid=7996 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7999/stat : 7999 (xcsp3-exec) S 7996 7999 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475417817 115843072 363 33554432000 4194304 5098028 140729535718144 140729535716248 139925649117820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25452544 140729535722327 140729535722585 140729535722585 140729535725510 0
/proc/7999/statm: 28282 363 304 221 0 87 0
[pid=8001] ppid=7999 vsize=15144776 memory=41068 CPUtime=0.33 cores=1,3,5,7
/proc/8001/stat : 8001 (java) S 7999 7999 1883 0 -1 1077944320 9490 0 0 0 30 3 0 0 20 0 15 0 475417817 15508250624 10267 33554432000 4194304 4196468 140726939936432 140726939918976 140359884988151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
/proc/8001/statm: 3786194 10267 3306 1 0 3748377 0
[pid=8001/tid=8002] ppid=7999 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8001/task/8002/stat : 8002 (java) R 7999 7999 1883 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 15 0 475417817 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359889226464 140359864721873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8003] ppid=7999 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8003/stat : 8003 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417818 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359813028880 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8004] ppid=7999 vsize=15144776 memory=3472749630870967968 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8004/stat : 8004 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417818 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359811976336 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8005] ppid=7999 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8005/stat : 8005 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417818 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359810923280 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8006] ppid=7999 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8006/stat : 8006 (java) S 7999 7999 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475417818 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359809870736 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8007] ppid=7999 vsize=15144776 memory=139833882891904 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8007/stat : 8007 (java) S 7999 7999 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475417819 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359353518320 140359884999298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8008] ppid=7999 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8008/stat : 8008 (java) S 7999 7999 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475417820 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359352464544 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8009] ppid=7999 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8009/stat : 8009 (java) S 7999 7999 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475417820 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359351411440 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8010] ppid=7999 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8010/stat : 8010 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475417822 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359350360016 140359885006747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8011] ppid=7999 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8001/task/8011/stat : 8011 (java) S 7999 7999 1883 0 -1 1077944384 491 0 0 0 3 0 0 0 20 0 15 0 475417822 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359349308144 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8012] ppid=7999 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8012/stat : 8012 (java) S 7999 7999 1883 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 15 0 475417822 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359348255600 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8013] ppid=7999 vsize=15144776 memory=139833882891904 CPUtime=0.07 cores=1,3,5,7
/proc/8001/task/8013/stat : 8013 (java) S 7999 7999 1883 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 15 0 475417822 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359347202544 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8014] ppid=7999 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8014/stat : 8014 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475417823 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359346150240 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8015] ppid=7999 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8015/stat : 8015 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417823 15508250624 10267 33554432000 4194304 4196468 140726939936432 140359345097264 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42520 KiB

[startup+0.310593 s]*
/proc/loadavg: 9.02 8.61 8.27 7/232 8015
/proc/meminfo: memFree=15083592/32770624 swapFree=66952592/67108860
[pid=7999] ppid=7996 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7999/stat : 7999 (xcsp3-exec) S 7996 7999 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475417817 115843072 363 33554432000 4194304 5098028 140729535718144 140729535716248 139925649117820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25452544 140729535722327 140729535722585 140729535722585 140729535725510 0
/proc/7999/statm: 28282 363 304 221 0 87 0
[pid=8001] ppid=7999 vsize=15149032 memory=49944 CPUtime=0.53 cores=1,3,5,7
/proc/8001/stat : 8001 (java) S 7999 7999 1883 0 -1 1077944320 10837 0 0 0 49 4 0 0 20 0 15 0 475417817 15512608768 12486 33554432000 4194304 4196468 140726939936432 140726939918976 140359884988151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
/proc/8001/statm: 3787258 12486 3366 1 0 3748377 0
[pid=8001/tid=8002] ppid=7999 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/8001/task/8002/stat : 8002 (java) R 7999 7999 1883 0 -1 4202560 7820 0 0 0 27 3 0 0 20 0 15 0 475417817 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359889219264 140359885010077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8003] ppid=7999 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8003/stat : 8003 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417818 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359813028880 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8004] ppid=7999 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8004/stat : 8004 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417818 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359811976336 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8005] ppid=7999 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8005/stat : 8005 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417818 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359810923280 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8006] ppid=7999 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8006/stat : 8006 (java) S 7999 7999 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475417818 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359809870736 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8007] ppid=7999 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8007/stat : 8007 (java) S 7999 7999 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475417819 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359353518320 140359884999298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8008] ppid=7999 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8008/stat : 8008 (java) S 7999 7999 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475417820 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359352464544 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8009] ppid=7999 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8009/stat : 8009 (java) S 7999 7999 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475417820 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359351411440 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8010] ppid=7999 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8010/stat : 8010 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475417822 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359350360016 140359885006747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8011] ppid=7999 vsize=15149032 memory=-8412660965215072671 CPUtime=0.04 cores=1,3,5,7
/proc/8001/task/8011/stat : 8011 (java) S 7999 7999 1883 0 -1 1077944384 503 0 0 0 4 0 0 0 20 0 15 0 475417822 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359349308144 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8012] ppid=7999 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8001/task/8012/stat : 8012 (java) S 7999 7999 1883 0 -1 1077944384 415 0 0 0 5 0 0 0 20 0 15 0 475417822 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359348255600 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8013] ppid=7999 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8001/task/8013/stat : 8013 (java) S 7999 7999 1883 0 -1 1077944384 814 0 0 0 12 0 0 0 20 0 15 0 475417822 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359347202544 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8014] ppid=7999 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8014/stat : 8014 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475417823 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359346150240 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8015] ppid=7999 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8015/stat : 8015 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475417823 15512608768 12555 33554432000 4194304 4196468 140726939936432 140359345097264 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51396 KiB

[startup+0.701645 s]
/proc/loadavg: 9.02 8.61 8.27 9/235 8062
/proc/meminfo: memFree=14973640/32770624 swapFree=66952592/67108860
[pid=7999] ppid=7996 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7999/stat : 7999 (xcsp3-exec) S 7996 7999 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475417817 115843072 363 33554432000 4194304 5098028 140729535718144 140729535716248 139925649117820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25452544 140729535722327 140729535722585 140729535722585 140729535725510 0
/proc/7999/statm: 28282 363 304 221 0 87 0
[pid=8001] ppid=7999 vsize=15617104 memory=189512 CPUtime=1.68 cores=1,3,5,7
/proc/8001/stat : 8001 (java) S 7999 7999 1883 0 -1 1077944320 18963 0 0 0 158 10 0 0 20 0 19 0 475417817 15991914496 47378 33554432000 4194304 4196468 140726939936432 140726939918976 140359884988151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
/proc/8001/statm: 3904276 47378 3483 1 0 3865376 0
[pid=8001/tid=8002] ppid=7999 vsize=15617104 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/8001/task/8002/stat : 8002 (java) S 7999 7999 1883 0 -1 1077944384 9028 0 0 0 42 3 0 0 20 0 19 0 475417817 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359889228928 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8003] ppid=7999 vsize=15617104 memory=164 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8003/stat : 8003 (java) S 7999 7999 1883 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359813028880 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8004] ppid=7999 vsize=15617104 memory=6154848828556269427 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8004/stat : 8004 (java) S 7999 7999 1883 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359811976336 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8005] ppid=7999 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8005/stat : 8005 (java) S 7999 7999 1883 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359810923280 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8006] ppid=7999 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8006/stat : 8006 (java) S 7999 7999 1883 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359809870736 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8007] ppid=7999 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8007/stat : 8007 (java) S 7999 7999 1883 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475417819 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359353518320 140359884999298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8008] ppid=7999 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8008/stat : 8008 (java) S 7999 7999 1883 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475417820 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359352464608 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8009] ppid=7999 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8009/stat : 8009 (java) S 7999 7999 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475417820 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359351411456 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8010] ppid=7999 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8010/stat : 8010 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475417822 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359350360016 140359885006747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8011] ppid=7999 vsize=15617104 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/8001/task/8011/stat : 8011 (java) D 7999 7999 1883 0 -1 4202560 1241 0 0 0 23 0 0 0 20 0 19 0 475417822 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359349294552 140359877705303 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8012] ppid=7999 vsize=15617104 memory=40256 CPUtime=0.22 cores=1,3,5,7
/proc/8001/task/8012/stat : 8012 (java) R 7999 7999 1883 0 -1 4202560 1131 0 0 0 22 0 0 0 20 0 19 0 475417822 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359348237192 140359877277600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8013] ppid=7999 vsize=15617104 memory=988 CPUtime=0.29 cores=1,3,5,7
/proc/8001/task/8013/stat : 8013 (java) D 7999 7999 1883 0 -1 4202560 2080 0 0 0 29 0 0 0 20 0 19 0 475417822 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359347198440 140359863940257 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8014] ppid=7999 vsize=15617104 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8014/stat : 8014 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475417823 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359346150240 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8015] ppid=7999 vsize=15617104 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8015/stat : 8015 (java) S 7999 7999 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475417823 15991914496 47378 33554432000 4194304 4196468 140726939936432 140359345097264 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 190964 KiB

[startup+1.50165 s]
/proc/loadavg: 9.02 8.61 8.27 11/236 8279
/proc/meminfo: memFree=14915704/32770624 swapFree=66952592/67108860
[pid=7999] ppid=7996 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7999/stat : 7999 (xcsp3-exec) S 7996 7999 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475417817 115843072 363 33554432000 4194304 5098028 140729535718144 140729535716248 139925649117820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25452544 140729535722327 140729535722585 140729535722585 140729535725510 0
/proc/7999/statm: 28282 363 304 221 0 87 0

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

/proc/8001/task/8015/stat : 8015 (java) S 7999 7999 1883 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 475417823 15991914496 88515 33554432000 4194304 4196468 140726939936432 140359345097264 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8312] ppid=7999 vsize=15617104 memory=0 CPUtime=2.51 cores=1,3,5,7
/proc/8001/task/8312/stat : 8312 (java) R 7999 7999 1883 0 -1 4202560 89 0 0 0 251 0 0 0 20 0 19 0 475418024 15991914496 88515 33554432000 4194304 4196468 140726939936432 140359262788448 140359486425295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8313] ppid=7999 vsize=15617104 memory=0 CPUtime=2.6 cores=1,3,5,7
/proc/8001/task/8313/stat : 8313 (java) R 7999 7999 1883 0 -1 4202560 275 0 0 0 260 0 0 0 20 0 19 0 475418024 15991914496 88515 33554432000 4194304 4196468 140726939936432 140359261732712 140359486646696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8314] ppid=7999 vsize=15617104 memory=0 CPUtime=2.51 cores=1,3,5,7
/proc/8001/task/8314/stat : 8314 (java) R 7999 7999 1883 0 -1 4202560 379 0 0 0 251 0 0 0 20 0 19 0 475418024 15991914496 88515 33554432000 4194304 4196468 140726939936432 140359331671680 140359485811704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8315] ppid=7999 vsize=15617104 memory=0 CPUtime=2.43 cores=1,3,5,7
/proc/8001/task/8315/stat : 8315 (java) R 7999 7999 1883 0 -1 4202560 268 0 0 0 243 0 0 0 20 0 19 0 475418024 15991914496 88515 33554432000 4194304 4196468 140726939936432 140359334826792 140359486425320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
Current children cumulated CPU time: 17.75 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 355512 KiB

[startup+5.60165 s]
/proc/loadavg: 9.02 8.61 8.27 9/236 8315
/proc/meminfo: memFree=14772156/32770624 swapFree=66952592/67108860
[pid=7999] ppid=7996 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7999/stat : 7999 (xcsp3-exec) S 7996 7999 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475417817 115843072 363 33554432000 4194304 5098028 140729535718144 140729535716248 139925649117820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25452544 140729535722327 140729535722585 140729535722585 140729535725510 0
/proc/7999/statm: 28282 363 304 221 0 87 0
[pid=8001] ppid=7999 vsize=15617104 memory=536948 CPUtime=20.94 cores=1,3,5,7
/proc/8001/stat : 8001 (java) S 7999 7999 1883 0 -1 1077944320 36526 0 0 0 2076 18 0 0 20 0 19 0 475417817 15991914496 134237 33554432000 4194304 4196468 140726939936432 140726939918976 140359884988151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
/proc/8001/statm: 3904276 134237 3513 1 0 3865376 0
[pid=8001/tid=8002] ppid=7999 vsize=15617104 memory=8112282956445269571 CPUtime=0.46 cores=1,3,5,7
/proc/8001/task/8002/stat : 8002 (java) S 7999 7999 1883 0 -1 1077944384 9029 0 0 0 43 3 0 0 20 0 19 0 475417817 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359889228928 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8003] ppid=7999 vsize=15617104 memory=353936 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8003/stat : 8003 (java) S 7999 7999 1883 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359813028880 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8004] ppid=7999 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8004/stat : 8004 (java) S 7999 7999 1883 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359811976336 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8005] ppid=7999 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8005/stat : 8005 (java) S 7999 7999 1883 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359810923280 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8006] ppid=7999 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8006/stat : 8006 (java) S 7999 7999 1883 0 -1 1077944384 490 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359809870736 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8007] ppid=7999 vsize=15617104 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8007/stat : 8007 (java) S 7999 7999 1883 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 19 0 475417819 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359353518320 140359884999298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8008] ppid=7999 vsize=15617104 memory=279667466985088 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8008/stat : 8008 (java) S 7999 7999 1883 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475417820 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359352464608 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8009] ppid=7999 vsize=15617104 memory=7661586578215560045 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8009/stat : 8009 (java) S 7999 7999 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475417820 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359351411456 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8010] ppid=7999 vsize=15617104 memory=279667466929824 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8010/stat : 8010 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475417822 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359350360016 140359885006747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8011] ppid=7999 vsize=15617104 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/8001/task/8011/stat : 8011 (java) S 7999 7999 1883 0 -1 1077944384 5390 0 0 0 144 1 0 0 20 0 19 0 475417822 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359349308144 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8012] ppid=7999 vsize=15617104 memory=0 CPUtime=1.8 cores=1,3,5,7
/proc/8001/task/8012/stat : 8012 (java) S 7999 7999 1883 0 -1 1077944384 8707 0 0 0 178 2 0 0 20 0 19 0 475417822 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359348255600 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8013] ppid=7999 vsize=15617104 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/8001/task/8013/stat : 8013 (java) S 7999 7999 1883 0 -1 1077944384 3550 0 0 0 46 1 0 0 20 0 19 0 475417822 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359347202544 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8014] ppid=7999 vsize=15617104 memory=140 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8014/stat : 8014 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475417823 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359346150240 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8015] ppid=7999 vsize=15617104 memory=147 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8015/stat : 8015 (java) S 7999 7999 1883 0 -1 1077944384 599 0 0 0 0 0 0 0 20 0 19 0 475417823 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359345097264 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8312] ppid=7999 vsize=15617104 memory=45 CPUtime=3.23 cores=1,3,5,7
/proc/8001/task/8312/stat : 8312 (java) R 7999 7999 1883 0 -1 4202560 94 0 0 0 323 0 0 0 20 0 19 0 475418024 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359262785128 140359484447275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8313] ppid=7999 vsize=15617104 memory=0 CPUtime=3.39 cores=1,3,5,7
/proc/8001/task/8313/stat : 8313 (java) R 7999 7999 1883 0 -1 4202560 342 0 0 0 338 1 0 0 20 0 19 0 475418024 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359261732224 140359485325612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8314] ppid=7999 vsize=15617104 memory=0 CPUtime=3.31 cores=1,3,5,7
/proc/8001/task/8314/stat : 8314 (java) R 7999 7999 1883 0 -1 4202560 408 0 0 0 331 0 0 0 20 0 19 0 475418024 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359331667560 140359486425280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8315] ppid=7999 vsize=15617104 memory=162 CPUtime=3.22 cores=1,3,5,7
/proc/8001/task/8315/stat : 8315 (java) R 7999 7999 1883 0 -1 4202560 387 0 0 0 320 2 0 0 20 0 19 0 475418024 15991914496 134237 33554432000 4194304 4196468 140726939936432 140359334826088 140359485196032 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
Current children cumulated CPU time: 20.94 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 538400 KiB

[startup+6.00466 s]*
/proc/loadavg: 9.02 8.61 8.27 10/236 8315
/proc/meminfo: memFree=14529040/32770624 swapFree=66952592/67108860
[pid=7999] ppid=7996 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7999/stat : 7999 (xcsp3-exec) S 7996 7999 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475417817 115843072 363 33554432000 4194304 5098028 140729535718144 140729535716248 139925649117820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25452544 140729535722327 140729535722585 140729535722585 140729535725510 0
/proc/7999/statm: 28282 363 304 221 0 87 0
[pid=8001] ppid=7999 vsize=15617104 memory=599196 CPUtime=22.57 cores=1,3,5,7
/proc/8001/stat : 8001 (java) S 7999 7999 1883 0 -1 1077944320 37125 0 0 0 2238 19 0 0 20 0 19 0 475417817 15991914496 149799 33554432000 4194304 4196468 140726939936432 140726939918976 140359884988151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
/proc/8001/statm: 3904276 149799 3514 1 0 3865376 0
[pid=8001/tid=8002] ppid=7999 vsize=15617104 memory=8389772277269004345 CPUtime=0.46 cores=1,3,5,7
/proc/8001/task/8002/stat : 8002 (java) S 7999 7999 1883 0 -1 1077944384 9029 0 0 0 43 3 0 0 20 0 19 0 475417817 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359889228928 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8003] ppid=7999 vsize=15617104 memory=288283363985598841 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8003/stat : 8003 (java) S 7999 7999 1883 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 19 0 475417818 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359813028880 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8004] ppid=7999 vsize=15617104 memory=4078420930671685664 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8004/stat : 8004 (java) S 7999 7999 1883 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 19 0 475417818 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359811976336 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8005] ppid=7999 vsize=15617104 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8005/stat : 8005 (java) S 7999 7999 1883 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359810923280 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8006] ppid=7999 vsize=15617104 memory=3184097920075968559 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8006/stat : 8006 (java) S 7999 7999 1883 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 19 0 475417818 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359809870736 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8007] ppid=7999 vsize=15617104 memory=6944656592387989600 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8007/stat : 8007 (java) S 7999 7999 1883 0 -1 1077944384 663 0 0 0 1 0 0 0 20 0 19 0 475417819 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359353518320 140359884999298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8008] ppid=7999 vsize=15617104 memory=3471202396320837679 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8008/stat : 8008 (java) S 7999 7999 1883 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475417820 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359352464608 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8009] ppid=7999 vsize=15617104 memory=3472468130110572204 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8009/stat : 8009 (java) S 7999 7999 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475417820 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359351411456 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8010] ppid=7999 vsize=15617104 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8010/stat : 8010 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475417822 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359350360016 140359885006747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8011] ppid=7999 vsize=15617104 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/8001/task/8011/stat : 8011 (java) S 7999 7999 1883 0 -1 1077944384 5663 0 0 0 149 1 0 0 20 0 19 0 475417822 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359349308144 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8012] ppid=7999 vsize=15617104 memory=7166468868810962039 CPUtime=1.8 cores=1,3,5,7
/proc/8001/task/8012/stat : 8012 (java) S 7999 7999 1883 0 -1 1077944384 8711 0 0 0 178 2 0 0 20 0 19 0 475417822 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359348255600 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8013] ppid=7999 vsize=15617104 memory=3042562604574794800 CPUtime=0.47 cores=1,3,5,7
/proc/8001/task/8013/stat : 8013 (java) S 7999 7999 1883 0 -1 1077944384 3550 0 0 0 46 1 0 0 20 0 19 0 475417822 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359347202544 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8014] ppid=7999 vsize=15617104 memory=-7028383565733676694 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8014/stat : 8014 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475417823 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359346150240 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8015] ppid=7999 vsize=15617104 memory=7681905605394137914 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8015/stat : 8015 (java) S 7999 7999 1883 0 -1 1077944384 599 0 0 0 0 0 0 0 20 0 19 0 475417823 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359345097264 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8312] ppid=7999 vsize=15617104 memory=-1 CPUtime=3.59 cores=1,3,5,7
/proc/8001/task/8312/stat : 8312 (java) R 7999 7999 1883 0 -1 4202560 96 0 0 0 359 0 0 0 20 0 19 0 475418024 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359262785128 140359486424843 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8313] ppid=7999 vsize=15617104 memory=0 CPUtime=3.78 cores=1,3,5,7
/proc/8001/task/8313/stat : 8313 (java) R 7999 7999 1883 0 -1 4202560 360 0 0 0 377 1 0 0 20 0 19 0 475418024 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359261732224 140359486424645 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8314] ppid=7999 vsize=15617104 memory=0 CPUtime=3.72 cores=1,3,5,7
/proc/8001/task/8314/stat : 8314 (java) R 7999 7999 1883 0 -1 4202560 413 0 0 0 372 0 0 0 20 0 19 0 475418024 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359331668376 140359484919718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8315] ppid=7999 vsize=15617104 memory=0 CPUtime=3.63 cores=1,3,5,7
/proc/8001/task/8315/stat : 8315 (java) R 7999 7999 1883 0 -1 4202560 421 0 0 0 360 3 0 0 20 0 19 0 475418024 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359334828320 140359485197336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
Current children cumulated CPU time: 22.57 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 600648 KiB

[startup+6.11465 s]
/proc/loadavg: 9.02 8.61 8.27 10/236 8315
/proc/meminfo: memFree=14529040/32770624 swapFree=66952592/67108860
[pid=7999] ppid=7996 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7999/stat : 7999 (xcsp3-exec) S 7996 7999 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475417817 115843072 363 33554432000 4194304 5098028 140729535718144 140729535716248 139925649117820 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25452544 140729535722327 140729535722585 140729535722585 140729535725510 0
/proc/7999/statm: 28282 363 304 221 0 87 0
[pid=8001] ppid=7999 vsize=15617104 memory=599196 CPUtime=22.97 cores=1,3,5,7
/proc/8001/stat : 8001 (java) S 7999 7999 1883 0 -1 1077944320 37127 0 0 0 2278 19 0 0 20 0 19 0 475417817 15991914496 149799 33554432000 4194304 4196468 140726939936432 140726939918976 140359884988151 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
/proc/8001/statm: 3904276 149799 3514 1 0 3865376 0
[pid=8001/tid=8002] ppid=7999 vsize=15617104 memory=1284 CPUtime=0.46 cores=1,3,5,7
/proc/8001/task/8002/stat : 8002 (java) S 7999 7999 1883 0 -1 1077944384 9029 0 0 0 43 3 0 0 20 0 19 0 475417817 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359889228928 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8003] ppid=7999 vsize=15617104 memory=599196 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8003/stat : 8003 (java) S 7999 7999 1883 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 19 0 475417818 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359813028880 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8004] ppid=7999 vsize=15617104 memory=279667466960336 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8004/stat : 8004 (java) S 7999 7999 1883 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 19 0 475417818 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359811976336 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8005] ppid=7999 vsize=15617104 memory=514420 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8005/stat : 8005 (java) S 7999 7999 1883 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 19 0 475417818 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359810923280 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8006] ppid=7999 vsize=15617104 memory=353960 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8006/stat : 8006 (java) S 7999 7999 1883 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 19 0 475417818 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359809870736 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8007] ppid=7999 vsize=15617104 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/8001/task/8007/stat : 8007 (java) S 7999 7999 1883 0 -1 1077944384 663 0 0 0 1 0 0 0 20 0 19 0 475417819 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359353518320 140359884999298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8008] ppid=7999 vsize=15617104 memory=350148 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8008/stat : 8008 (java) S 7999 7999 1883 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475417820 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359352464608 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8009] ppid=7999 vsize=15617104 memory=55 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8009/stat : 8009 (java) S 7999 7999 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475417820 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359351411456 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8010] ppid=7999 vsize=15617104 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8010/stat : 8010 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475417822 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359350360016 140359885006747 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8011] ppid=7999 vsize=15617104 memory=-7385037615208631145 CPUtime=1.5 cores=1,3,5,7
/proc/8001/task/8011/stat : 8011 (java) S 7999 7999 1883 0 -1 1077944384 5663 0 0 0 149 1 0 0 20 0 19 0 475417822 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359349308144 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8012] ppid=7999 vsize=15617104 memory=6944656425122832000 CPUtime=1.8 cores=1,3,5,7
/proc/8001/task/8012/stat : 8012 (java) S 7999 7999 1883 0 -1 1077944384 8711 0 0 0 178 2 0 0 20 0 19 0 475417822 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359348255600 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8013] ppid=7999 vsize=15617104 memory=-6520476220923696542 CPUtime=0.47 cores=1,3,5,7
/proc/8001/task/8013/stat : 8013 (java) S 7999 7999 1883 0 -1 1077944384 3550 0 0 0 46 1 0 0 20 0 19 0 475417822 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359347202544 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8014] ppid=7999 vsize=15617104 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8014/stat : 8014 (java) S 7999 7999 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475417823 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359346150240 140359884998357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8015] ppid=7999 vsize=15617104 memory=160 CPUtime=0 cores=1,3,5,7
/proc/8001/task/8015/stat : 8015 (java) S 7999 7999 1883 0 -1 1077944384 599 0 0 0 0 0 0 0 20 0 19 0 475417823 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359345097264 140359884999298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8312] ppid=7999 vsize=15617104 memory=153 CPUtime=3.7 cores=1,3,5,7
/proc/8001/task/8312/stat : 8312 (java) R 7999 7999 1883 0 -1 4202560 96 0 0 0 370 0 0 0 20 0 19 0 475418024 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359262785128 140359481345096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8313] ppid=7999 vsize=15617104 memory=0 CPUtime=3.87 cores=1,3,5,7
/proc/8001/task/8313/stat : 8313 (java) R 7999 7999 1883 0 -1 4202560 361 0 0 0 386 1 0 0 20 0 19 0 475418024 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359261732224 140359485326172 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8314] ppid=7999 vsize=15617104 memory=0 CPUtime=3.82 cores=1,3,5,7
/proc/8001/task/8314/stat : 8314 (java) R 7999 7999 1883 0 -1 4202560 413 0 0 0 382 0 0 0 20 0 19 0 475418024 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359331668376 140359486425185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
[pid=8001/tid=8315] ppid=7999 vsize=15617104 memory=3821789795472305344 CPUtime=3.73 cores=1,3,5,7
/proc/8001/task/8315/stat : 8315 (java) R 7999 7999 1883 0 -1 4202560 422 0 0 0 370 3 0 0 20 0 19 0 475418024 15991914496 149799 33554432000 4194304 4196468 140726939936432 140359334828320 140359485196735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30908416 140726939939803 140726939939978 140726939939978 140726939942863 0
Current children cumulated CPU time: 22.97 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 600648 KiB

Child status: 0
Real time (s): 6.16106
CPU time (s): 23.0953
CPU user time (s): 22.891
CPU system time (s): 0.204265
CPU usage (%): 374.859
Max. virtual memory (cumulated for all children) (KiB): 15732112
Max. memory (cumulated for all children) (KiB): 600648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.891
system time used= 0.204265
maximum resident set size= 599796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4061
involuntary context switches= 739


# summary of solver processes directly reported to runsolver:
#   pid: 7999
#   total CPU time (s): 23.0953
#   total CPU user time (s): 22.891
#   total CPU system time (s): 0.204265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058254 second user time and 0.121688 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-20 15:58:21
IDJOB=4403691
IDBENCH=133449
IDSOLVER=2863
FILE ID=node107/4403691-1568991622
RUNJOBID= node107-1568983381-1916
PBS_JOBID= 21704636
Free space on /var/tmp= 12540 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-05.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403691-1568991622/watcher-4403691-1568991622 -o /var/tmp/evaluation-result-4403691-1568991622/solver-4403691-1568991622 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 857663469 HOME/instance-4403691-1568991622.xml

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

MD5SUM BENCH= fc947c5025dc4a3c0350e3415d914057
RANDOM SEED=857663469

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        15120476 kB
MemAvailable:   31469324 kB
Buffers:          108200 kB
Cached:         16161072 kB
SwapCached:        48708 kB
Active:          8415900 kB
Inactive:        8246376 kB
Active(anon):     344260 kB
Inactive(anon):    91880 kB
Active(file):    8071640 kB
Inactive(file):  8154496 kB
Unevictable:      111004 kB
Mlocked:          111004 kB
SwapTotal:      67108860 kB
SwapFree:       66952592 kB
Dirty:             26432 kB
Writeback:             0 kB
AnonPages:        550400 kB
Mapped:            61060 kB
Shmem:             34900 kB
Slab:             580580 kB
SReclaimable:     551172 kB
SUnreclaim:        29408 kB
KernelStack:        4144 kB
PageTables:         6588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1235216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    413696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12512 MiB
End job on node107 at 2019-09-20 15:58:28