Trace number 4393369

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-06-14OPT1427 153.752 63.3221

General information on the benchmark

NameKnapsack/Knapsack-m1-s50/
Knapsack-50-200-13.xml
MD5SUMe9c019b34e7441e843704d2f83648de8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1427
Best CPU time to get the best result obtained on this benchmark122.558
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-4393369-1568320228.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393369-1568320228.xml, -tl, 2520s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
0.71/0.45	c solve instance...
0.71/0.48	o 53 
0.71/0.49	o 91 
0.71/0.49	o 125 
0.71/0.49	o 127 
0.71/0.49	o 172 
0.71/0.49	o 206 
0.71/0.50	o 208 
0.71/0.50	o 230 
0.71/0.50	o 264 
0.71/0.50	o 266 
0.71/0.50	o 300 
0.71/0.52	o 302 
0.71/0.52	o 324 
0.71/0.52	o 358 
1.02/0.52	o 360 
1.02/0.52	o 362 
1.02/0.52	o 384 
1.02/0.52	o 418 
1.02/0.54	o 420 
1.02/0.54	o 423 
1.02/0.54	o 425 
1.02/0.54	o 452 
1.02/0.54	o 454 
1.02/0.54	o 457 
1.02/0.54	o 459 
1.02/0.55	o 466 
1.02/0.55	o 468 
1.02/0.55	o 471 
1.02/0.55	o 473 
1.02/0.55	o 500 
1.02/0.55	o 502 
1.02/0.55	o 505 
1.02/0.55	o 507 
1.02/0.55	o 513 
1.02/0.55	o 515 
1.02/0.56	o 518 
1.02/0.56	o 520 
1.02/0.56	o 547 
1.02/0.56	o 549 
1.02/0.56	o 552 
1.02/0.56	o 554 
1.02/0.56	o 561 
1.02/0.56	o 563 
1.02/0.56	o 566 
1.02/0.56	o 568 
1.02/0.56	o 595 
1.02/0.56	o 597 
1.02/0.57	o 600 
1.02/0.57	o 602 
1.02/0.57	o 604 
1.02/0.57	o 606 
1.02/0.57	o 625 
1.02/0.57	o 627 
1.02/0.57	o 630 
1.02/0.57	o 632 
1.02/0.57	o 639 
1.02/0.57	o 641 
1.02/0.57	o 644 
1.02/0.57	o 646 
1.02/0.58	o 673 
1.02/0.58	o 675 
1.02/0.58	o 678 
1.02/0.58	o 685 
1.02/0.58	o 687 
1.02/0.58	o 690 
1.02/0.58	o 692 
1.02/0.58	o 699 
1.02/0.58	o 701 
1.02/0.58	o 704 
1.02/0.58	o 706 
1.02/0.58	o 708 
1.02/0.58	o 710 
1.02/0.59	o 727 
1.02/0.59	o 729 
1.02/0.59	o 732 
1.02/0.59	o 734 
1.02/0.59	o 743 
1.02/0.59	o 744 
1.02/0.59	o 746 
1.02/0.59	o 753 
1.02/0.59	o 755 
1.02/0.59	o 758 
1.02/0.59	o 760 
1.02/0.60	o 762 
1.02/0.60	o 764 
1.02/0.60	o 766 
1.02/0.60	o 779 
1.02/0.60	o 781 
1.02/0.60	o 784 
1.02/0.60	o 786 
1.02/0.60	o 788 
1.02/0.60	o 790 
1.02/0.61	o 794 
1.02/0.61	o 796 
1.02/0.61	o 799 
1.02/0.61	o 801 
1.28/0.61	o 820 
1.28/0.61	o 822 
1.28/0.62	o 825 
1.28/0.62	o 834 
1.28/0.62	o 836 
1.28/0.62	o 839 
1.28/0.62	o 841 
1.28/0.62	o 848 
1.28/0.62	o 849 
1.28/0.63	o 851 
1.28/0.63	o 853 
1.28/0.64	o 855 
1.28/0.66	o 857 
1.28/0.66	o 859 
1.28/0.67	o 873 
1.28/0.67	o 875 
1.28/0.67	o 878 
1.28/0.68	o 913 
1.28/0.69	o 915 
1.28/0.69	o 918 
1.28/0.69	o 927 
1.28/0.70	o 929 
1.56/0.70	o 932 
1.56/0.71	o 953 
1.56/0.73	o 956 
1.95/0.80	o 959 
1.95/0.80	o 961 
1.95/0.81	o 964 
1.95/0.81	o 966 
1.95/0.85	o 971 
1.95/0.85	o 976 
1.95/0.86	o 978 
1.95/0.86	o 981 
1.95/0.87	o 983 
1.95/0.87	o 987 
1.95/0.89	o 989 
1.95/0.89	o 991 
1.95/0.89	o 1016 
2.31/0.90	o 1117 
2.31/0.91	o 1284 
2.31/0.92	o 1349 
35.22/9.36	o 1351 
47.94/12.52	o 1356 
58.32/15.13	o 1385 
58.68/15.27	o 1387 
59.07/15.30	o 1391 
59.46/15.41	o 1403 
59.46/15.42	o 1404 
59.46/15.42	o 1408 
115.82/32.02	o 1412 
142.30/58.22	o 1423 
143.96/59.42	o 1425 
146.73/60.70	o 1427 
153.72/63.30	s OPTIMUM FOUND
153.72/63.30	v <instantiation>
153.72/63.30	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>
153.72/63.30	v 	<values>0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 </values>
153.72/63.30	v </instantiation>

Verifier Data 

OK	1427

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

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

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

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


[startup+0.100139 s]*
/proc/loadavg: 8.22 8.31 8.35 7/232 24960
/proc/meminfo: memFree=31030940/32770624 swapFree=66920756/67108860
[pid=24944] ppid=24941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24944/stat : 24944 (xcsp3-exec) S 24941 24944 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408278933 115843072 363 33554432000 4194304 5098028 140731635549632 140731635547736 139785604113020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21602304 140731635553146 140731635553389 140731635553389 140731635556298 0
/proc/24944/statm: 28282 363 304 221 0 87 0
[pid=24946] ppid=24944 vsize=15144768 memory=29056 CPUtime=0.13 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24944 24944 14254 0 -1 1077944320 5678 0 0 0 12 1 0 0 20 0 15 0 408278933 15508242432 7264 33554432000 4194304 4196468 140729839948720 140729839931264 140526031544055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
/proc/24946/statm: 3786192 7264 3177 1 0 3748377 0
[pid=24946/tid=24947] ppid=24944 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/24946/task/24947/stat : 24947 (java) R 24944 24944 14254 0 -1 4202560 3586 0 0 0 9 0 0 0 20 0 15 0 408278933 15508242432 7264 33554432000 4194304 4196468 140729839948720 140526035778192 140526031565981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24948] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278934 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525967780752 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24949] ppid=24944 vsize=15144768 memory=3472749573014021792 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278934 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525966727952 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24950] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278934 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525965675664 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24951] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24944 24944 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408278934 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525964622864 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24952] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24944 24944 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408278936 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525567170672 140526031555202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24953] ppid=24944 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24944 24944 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408278936 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525566116640 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24954] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24944 24944 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408278936 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525565064304 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24955] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408278939 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525564012624 140526031562651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24956] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) R 24944 24944 14254 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 408278939 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525562960496 140526031555202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24957] ppid=24944 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) R 24944 24944 14254 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 15 0 408278939 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525561907696 140526015027429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24958] ppid=24944 vsize=15144768 memory=139776025945728 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) R 24944 24944 14254 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 408278939 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525560855408 140526031555990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24959] ppid=24944 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408278939 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525559802848 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24960] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278939 15508242432 7264 33554432000 4194304 4196468 140729839948720 140525491448240 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30508 KiB

[startup+0.21071 s]*
/proc/loadavg: 8.22 8.31 8.35 9/232 24960
/proc/meminfo: memFree=31017156/32770624 swapFree=66920756/67108860
[pid=24944] ppid=24941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24944/stat : 24944 (xcsp3-exec) S 24941 24944 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408278933 115843072 363 33554432000 4194304 5098028 140731635549632 140731635547736 139785604113020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21602304 140731635553146 140731635553389 140731635553389 140731635556298 0
/proc/24944/statm: 28282 363 304 221 0 87 0
[pid=24946] ppid=24944 vsize=15144768 memory=40896 CPUtime=0.35 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24944 24944 14254 0 -1 1077944320 9452 0 0 0 32 3 0 0 20 0 15 0 408278933 15508242432 10224 33554432000 4194304 4196468 140729839948720 140729839931264 140526031544055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
/proc/24946/statm: 3786192 10224 3298 1 0 3748377 0
[pid=24946/tid=24947] ppid=24944 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/24946/task/24947/stat : 24947 (java) R 24944 24944 14254 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 408278933 15508242432 10224 33554432000 4194304 4196468 140729839948720 140526035776784 140526031555990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24948] ppid=24944 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278934 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525967780752 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24949] ppid=24944 vsize=15144768 memory=139776028798915 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278934 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525966727952 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24950] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278934 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525965675664 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24951] ppid=24944 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24944 24944 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408278934 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525964622864 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24952] ppid=24944 vsize=15144768 memory=139776025945728 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24944 24944 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408278936 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525567170672 140526031555202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24953] ppid=24944 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24944 24944 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408278936 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525566116640 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24954] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24944 24944 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408278936 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525565064304 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24955] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408278939 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525564012624 140526031562651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24956] ppid=24944 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24944 24944 14254 0 -1 1077944384 518 0 0 0 3 0 0 0 20 0 15 0 408278939 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525562960496 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24957] ppid=24944 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24944 24944 14254 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 408278939 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525561907696 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24958] ppid=24944 vsize=15144768 memory=139776025945728 CPUtime=0.08 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) R 24944 24944 14254 0 -1 4202560 751 0 0 0 8 0 0 0 20 0 15 0 408278939 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525560855216 140526031555990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24959] ppid=24944 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408278939 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525559802848 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24960] ppid=24944 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278939 15508242432 10224 33554432000 4194304 4196468 140729839948720 140525491448240 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42348 KiB

[startup+0.311774 s]*
/proc/loadavg: 8.22 8.31 8.35 10/232 24960
/proc/meminfo: memFree=31009620/32770624 swapFree=66920756/67108860
[pid=24944] ppid=24941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24944/stat : 24944 (xcsp3-exec) S 24941 24944 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408278933 115843072 363 33554432000 4194304 5098028 140731635549632 140731635547736 139785604113020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21602304 140731635553146 140731635553389 140731635553389 140731635556298 0
/proc/24944/statm: 28282 363 304 221 0 87 0
[pid=24946] ppid=24944 vsize=15149024 memory=49920 CPUtime=0.53 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24944 24944 14254 0 -1 1077944320 10833 0 0 0 49 4 0 0 20 0 15 0 408278933 15512600576 12480 33554432000 4194304 4196468 140729839948720 140729839931264 140526031544055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
/proc/24946/statm: 3787256 12480 3366 1 0 3748377 0
[pid=24946/tid=24947] ppid=24944 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/24946/task/24947/stat : 24947 (java) R 24944 24944 14254 0 -1 4202560 7751 0 0 0 27 2 0 0 20 0 15 0 408278933 15512600576 12480 33554432000 4194304 4196468 140729839948720 140526035773536 140526015624542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24948] ppid=24944 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278934 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525967780752 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24949] ppid=24944 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278934 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525966727952 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24950] ppid=24944 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278934 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525965675664 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24951] ppid=24944 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24944 24944 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408278934 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525964622864 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24952] ppid=24944 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24944 24944 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408278936 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525567170672 140526031555202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24953] ppid=24944 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24944 24944 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408278936 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525566116640 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24954] ppid=24944 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24944 24944 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408278936 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525565064304 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24955] ppid=24944 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408278939 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525564012624 140526031562651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24956] ppid=24944 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24944 24944 14254 0 -1 1077944384 562 0 0 0 4 0 0 0 20 0 15 0 408278939 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525562960496 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24957] ppid=24944 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) R 24944 24944 14254 0 -1 4202560 388 0 0 0 4 0 0 0 20 0 15 0 408278939 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525561907696 140526013068992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24958] ppid=24944 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24944 24944 14254 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 15 0 408278939 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525560855408 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24959] ppid=24944 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408278939 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525559802848 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24960] ppid=24944 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408278939 15512600576 12480 33554432000 4194304 4196468 140729839948720 140525491448240 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51372 KiB

[startup+0.700998 s]
/proc/loadavg: 8.22 8.31 8.35 7/235 25005
/proc/meminfo: memFree=30903668/32770624 swapFree=66920756/67108860
[pid=24944] ppid=24941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24944/stat : 24944 (xcsp3-exec) S 24941 24944 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408278933 115843072 363 33554432000 4194304 5098028 140731635549632 140731635547736 139785604113020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21602304 140731635553146 140731635553389 140731635553389 140731635556298 0
/proc/24944/statm: 28282 363 304 221 0 87 0
[pid=24946] ppid=24944 vsize=15617096 memory=297276 CPUtime=1.56 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24944 24944 14254 0 -1 1077944320 22357 0 0 0 143 13 0 0 20 0 17 0 408278933 15991906304 74319 33554432000 4194304 4196468 140729839948720 140729839931264 140526031544055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
/proc/24946/statm: 3904274 74319 3479 1 0 3865376 0
[pid=24946/tid=24947] ppid=24944 vsize=15617096 memory=279551770953360 CPUtime=0.47 cores=0,2,4,6
/proc/24946/task/24947/stat : 24947 (java) S 24944 24944 14254 0 -1 1077944384 9007 0 0 0 44 3 0 0 20 0 17 0 408278933 15991906304 74319 33554432000 4194304 4196468 140729839948720 140526035784832 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24948] ppid=24944 vsize=15617096 memory=-3831251742559211316 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24944 24944 14254 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 408278934 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525967780752 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24949] ppid=24944 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24944 24944 14254 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 17 0 408278934 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525966727952 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24950] ppid=24944 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24944 24944 14254 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 17 0 408278934 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525965675664 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24951] ppid=24944 vsize=15617096 memory=708 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24944 24944 14254 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 17 0 408278934 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525964622864 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24952] ppid=24944 vsize=15617096 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24944 24944 14254 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 17 0 408278936 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525567170672 140526031555202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24953] ppid=24944 vsize=15617096 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24944 24944 14254 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 17 0 408278936 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525566116704 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24954] ppid=24944 vsize=15617096 memory=776 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24944 24944 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 17 0 408278936 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525565064304 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24955] ppid=24944 vsize=15617096 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 408278939 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525564012624 140526031562651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24956] ppid=24944 vsize=15617096 memory=7956 CPUtime=0.22 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) R 24944 24944 14254 0 -1 4202560 1041 0 0 0 22 0 0 0 20 0 17 0 408278939 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525562947936 140526016425744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24957] ppid=24944 vsize=15617096 memory=3444 CPUtime=0.22 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) R 24944 24944 14254 0 -1 4202560 923 0 0 0 22 0 0 0 20 0 17 0 408278939 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525561906096 140526015027544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24958] ppid=24944 vsize=15617096 memory=1556 CPUtime=0.32 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) R 24944 24944 14254 0 -1 4202560 1739 0 0 0 32 0 0 0 20 0 17 0 408278939 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525560855408 140526010082439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24959] ppid=24944 vsize=15617096 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 408278939 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525559802848 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24960] ppid=24944 vsize=15617096 memory=984 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24944 24944 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 408278939 15991906304 74319 33554432000 4194304 4196468 140729839948720 140525491448240 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 298728 KiB

[startup+1.50086 s]
/proc/loadavg: 8.22 8.31 8.35 10/236 25512
/proc/meminfo: memFree=30736888/32770624 swapFree=66920756/67108860
[pid=24944] ppid=24941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24944/stat : 24944 (xcsp3-exec) S 24941 24944 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408278933 115843072 363 33554432000 4194304 5098028 140731635549632 140731635547736 139785604113020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21602304 140731635553146 140731635553389 140731635553389 140731635556298 0
/proc/24944/statm: 28282 363 304 221 0 87 0

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

/proc/24946/task/24960/stat : 24960 (java) S 24944 24944 14254 0 -1 1077944384 1063 0 0 0 1 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525491448240 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25561] ppid=24944 vsize=15617096 memory=1552 CPUtime=1.47 cores=0,2,4,6
/proc/24946/task/25561/stat : 25561 (java) S 24944 24944 14254 0 -1 1077944384 161 0 0 0 147 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525482479488 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25562] ppid=24944 vsize=15617096 memory=7956 CPUtime=1.44 cores=0,2,4,6
/proc/24946/task/25562/stat : 25562 (java) S 24944 24944 14254 0 -1 1077944384 470 0 0 0 144 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525477218000 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25563] ppid=24944 vsize=15617096 memory=3444 CPUtime=1.47 cores=0,2,4,6
/proc/24946/task/25563/stat : 25563 (java) S 24944 24944 14254 0 -1 1077944384 236 0 0 0 147 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525481428560 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25564] ppid=24944 vsize=15617096 memory=1556 CPUtime=1.69 cores=0,2,4,6
/proc/24946/task/25564/stat : 25564 (java) R 24944 24944 14254 0 -1 4202560 51 0 0 0 169 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525476166472 140525647923804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
Current children cumulated CPU time: 152.82 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 1745776 KiB

[startup+62.801 s]
/proc/loadavg: 7.15 8.05 8.27 9/236 25564
/proc/meminfo: memFree=29162800/32770624 swapFree=66920756/67108860
[pid=24944] ppid=24941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24944/stat : 24944 (xcsp3-exec) S 24941 24944 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408278933 115843072 363 33554432000 4194304 5098028 140731635549632 140731635547736 139785604113020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21602304 140731635553146 140731635553389 140731635553389 140731635556298 0
/proc/24944/statm: 28282 363 304 221 0 87 0
[pid=24946] ppid=24944 vsize=15617096 memory=1744324 CPUtime=153.22 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24944 24944 14254 0 -1 1077944320 69061 0 0 0 15279 43 0 0 20 0 19 0 408278933 15991906304 436081 33554432000 4194304 4196468 140729839948720 140729839931264 140526031544055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
/proc/24946/statm: 3904274 436081 3514 1 0 3865376 0
[pid=24946/tid=24947] ppid=24944 vsize=15617096 memory=6791534058613427641 CPUtime=0.48 cores=0,2,4,6
/proc/24946/task/24947/stat : 24947 (java) S 24944 24944 14254 0 -1 1077944384 10137 0 0 0 45 3 0 0 20 0 19 0 408278933 15991906304 436081 33554432000 4194304 4196468 140729839948720 140526035784832 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24948] ppid=24944 vsize=15617096 memory=1744260 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24944 24944 14254 0 -1 1077944384 220 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525967780752 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24949] ppid=24944 vsize=15617096 memory=1164 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24944 24944 14254 0 -1 1077944384 382 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525966727952 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24950] ppid=24944 vsize=15617096 memory=8317482817917895235 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24944 24944 14254 0 -1 1077944384 1245 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525965675664 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24951] ppid=24944 vsize=15617096 memory=12020 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24944 24944 14254 0 -1 1077944384 404 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525964622864 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24952] ppid=24944 vsize=15617096 memory=496 CPUtime=0.01 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24944 24944 14254 0 -1 1077944384 2505 0 0 0 1 0 0 0 20 0 19 0 408278936 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525567170672 140526031555202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24953] ppid=24944 vsize=15617096 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24944 24944 14254 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408278936 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525566116704 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24954] ppid=24944 vsize=15617096 memory=928 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24944 24944 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408278936 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525565064304 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24955] ppid=24944 vsize=15617096 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525564012624 140526031562651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24956] ppid=24944 vsize=15617096 memory=1444 CPUtime=1.78 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24944 24944 14254 0 -1 1077944384 10173 0 0 0 177 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525562960496 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24957] ppid=24944 vsize=15617096 memory=888 CPUtime=1.83 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24944 24944 14254 0 -1 1077944384 10290 0 0 0 181 2 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525561907696 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24958] ppid=24944 vsize=15617096 memory=1984 CPUtime=0.55 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24944 24944 14254 0 -1 1077944384 5514 0 0 0 54 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525560855408 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24959] ppid=24944 vsize=15617096 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525559802848 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24960] ppid=24944 vsize=15617096 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24944 24944 14254 0 -1 1077944384 1063 0 0 0 1 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525491448240 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25561] ppid=24944 vsize=15617096 memory=1560 CPUtime=1.47 cores=0,2,4,6
/proc/24946/task/25561/stat : 25561 (java) S 24944 24944 14254 0 -1 1077944384 161 0 0 0 147 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525482479488 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25562] ppid=24944 vsize=15617096 memory=928 CPUtime=1.44 cores=0,2,4,6
/proc/24946/task/25562/stat : 25562 (java) S 24944 24944 14254 0 -1 1077944384 470 0 0 0 144 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525477218000 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25563] ppid=24944 vsize=15617096 memory=1680 CPUtime=1.47 cores=0,2,4,6
/proc/24946/task/25563/stat : 25563 (java) S 24944 24944 14254 0 -1 1077944384 236 0 0 0 147 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525481428560 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25564] ppid=24944 vsize=15617096 memory=1444 CPUtime=2.09 cores=0,2,4,6
/proc/24946/task/25564/stat : 25564 (java) R 24944 24944 14254 0 -1 4202560 56 0 0 0 209 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525476166472 140525647923955 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
Current children cumulated CPU time: 153.22 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 1745776 KiB

[startup+63.2011 s]
/proc/loadavg: 7.14 8.04 8.26 6/236 25564
/proc/meminfo: memFree=29164028/32770624 swapFree=66920756/67108860
[pid=24944] ppid=24941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24944/stat : 24944 (xcsp3-exec) S 24941 24944 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408278933 115843072 363 33554432000 4194304 5098028 140731635549632 140731635547736 139785604113020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21602304 140731635553146 140731635553389 140731635553389 140731635556298 0
/proc/24944/statm: 28282 363 304 221 0 87 0
[pid=24946] ppid=24944 vsize=15617096 memory=1744324 CPUtime=153.62 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24944 24944 14254 0 -1 1077944320 69061 0 0 0 15319 43 0 0 20 0 19 0 408278933 15991906304 436081 33554432000 4194304 4196468 140729839948720 140729839931264 140526031544055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
/proc/24946/statm: 3904274 436081 3514 1 0 3865376 0
[pid=24946/tid=24947] ppid=24944 vsize=15617096 memory=2016 CPUtime=0.48 cores=0,2,4,6
/proc/24946/task/24947/stat : 24947 (java) S 24944 24944 14254 0 -1 1077944384 10137 0 0 0 45 3 0 0 20 0 19 0 408278933 15991906304 436081 33554432000 4194304 4196468 140729839948720 140526035784832 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24948] ppid=24944 vsize=15617096 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24944 24944 14254 0 -1 1077944384 220 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525967780752 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24949] ppid=24944 vsize=15617096 memory=1744324 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24944 24944 14254 0 -1 1077944384 382 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525966727952 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24950] ppid=24944 vsize=15617096 memory=14012 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24944 24944 14254 0 -1 1077944384 1245 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525965675664 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24951] ppid=24944 vsize=15617096 memory=5228 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24944 24944 14254 0 -1 1077944384 404 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525964622864 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24952] ppid=24944 vsize=15617096 memory=2120 CPUtime=0.01 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24944 24944 14254 0 -1 1077944384 2505 0 0 0 1 0 0 0 20 0 19 0 408278936 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525567170672 140526031555202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24953] ppid=24944 vsize=15617096 memory=12020 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24944 24944 14254 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408278936 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525566116704 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24954] ppid=24944 vsize=15617096 memory=496 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24944 24944 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408278936 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525565064304 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24955] ppid=24944 vsize=15617096 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525564012624 140526031562651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24956] ppid=24944 vsize=15617096 memory=1044 CPUtime=1.78 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24944 24944 14254 0 -1 1077944384 10173 0 0 0 177 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525562960496 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24957] ppid=24944 vsize=15617096 memory=708 CPUtime=1.83 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24944 24944 14254 0 -1 1077944384 10290 0 0 0 181 2 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525561907696 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24958] ppid=24944 vsize=15617096 memory=9364 CPUtime=0.55 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24944 24944 14254 0 -1 1077944384 5514 0 0 0 54 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525560855408 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24959] ppid=24944 vsize=15617096 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525559802848 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24960] ppid=24944 vsize=15617096 memory=776 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24944 24944 14254 0 -1 1077944384 1063 0 0 0 1 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525491448240 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25561] ppid=24944 vsize=15617096 memory=1552 CPUtime=1.47 cores=0,2,4,6
/proc/24946/task/25561/stat : 25561 (java) S 24944 24944 14254 0 -1 1077944384 161 0 0 0 147 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525482479488 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25562] ppid=24944 vsize=15617096 memory=7956 CPUtime=1.44 cores=0,2,4,6
/proc/24946/task/25562/stat : 25562 (java) S 24944 24944 14254 0 -1 1077944384 470 0 0 0 144 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525477218000 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25563] ppid=24944 vsize=15617096 memory=3444 CPUtime=1.47 cores=0,2,4,6
/proc/24946/task/25563/stat : 25563 (java) S 24944 24944 14254 0 -1 1077944384 236 0 0 0 147 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525481428560 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25564] ppid=24944 vsize=15617096 memory=1556 CPUtime=2.49 cores=0,2,4,6
/proc/24946/task/25564/stat : 25564 (java) R 24944 24944 14254 0 -1 4202560 56 0 0 0 249 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525476166472 140525647924240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
Current children cumulated CPU time: 153.62 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 1745776 KiB

[startup+63.301 s]
/proc/loadavg: 7.14 8.04 8.26 6/236 25564
/proc/meminfo: memFree=29164028/32770624 swapFree=66920756/67108860
[pid=24944] ppid=24941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24944/stat : 24944 (xcsp3-exec) S 24941 24944 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408278933 115843072 363 33554432000 4194304 5098028 140731635549632 140731635547736 139785604113020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21602304 140731635553146 140731635553389 140731635553389 140731635556298 0
/proc/24944/statm: 28282 363 304 221 0 87 0
[pid=24946] ppid=24944 vsize=15617096 memory=1744324 CPUtime=153.72 cores=0,2,4,6
/proc/24946/stat : 24946 (java) S 24944 24944 14254 0 -1 1077944320 69091 0 0 0 15329 43 0 0 20 0 19 0 408278933 15991906304 436081 33554432000 4194304 4196468 140729839948720 140729839931264 140526031544055 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
/proc/24946/statm: 3904274 436081 3514 1 0 3865376 0
[pid=24946/tid=24947] ppid=24944 vsize=15617096 memory=1744324 CPUtime=0.48 cores=0,2,4,6
/proc/24946/task/24947/stat : 24947 (java) S 24944 24944 14254 0 -1 1077944384 10137 0 0 0 45 3 0 0 20 0 19 0 408278933 15991906304 436081 33554432000 4194304 4196468 140729839948720 140526035784832 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24948] ppid=24944 vsize=15617096 memory=1744192 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24948/stat : 24948 (java) S 24944 24944 14254 0 -1 1077944384 220 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525967780752 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24949] ppid=24944 vsize=15617096 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24949/stat : 24949 (java) S 24944 24944 14254 0 -1 1077944384 382 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525966727952 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24950] ppid=24944 vsize=15617096 memory=1744324 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24950/stat : 24950 (java) S 24944 24944 14254 0 -1 1077944384 1245 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525965675664 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24951] ppid=24944 vsize=15617096 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24951/stat : 24951 (java) S 24944 24944 14254 0 -1 1077944384 404 0 0 0 1 1 0 0 20 0 19 0 408278934 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525964622864 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24952] ppid=24944 vsize=15617096 memory=14012 CPUtime=0.01 cores=0,2,4,6
/proc/24946/task/24952/stat : 24952 (java) S 24944 24944 14254 0 -1 1077944384 2505 0 0 0 1 0 0 0 20 0 19 0 408278936 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525567170672 140526031555202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24953] ppid=24944 vsize=15617096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24953/stat : 24953 (java) S 24944 24944 14254 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 408278936 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525566116704 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24954] ppid=24944 vsize=15617096 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24954/stat : 24954 (java) S 24944 24944 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408278936 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525565064304 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24955] ppid=24944 vsize=15617096 memory=1744192 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24955/stat : 24955 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525564012624 140526031562651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24956] ppid=24944 vsize=15617096 memory=988 CPUtime=1.78 cores=0,2,4,6
/proc/24946/task/24956/stat : 24956 (java) S 24944 24944 14254 0 -1 1077944384 10182 0 0 0 177 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525562960496 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24957] ppid=24944 vsize=15617096 memory=1744260 CPUtime=1.83 cores=0,2,4,6
/proc/24946/task/24957/stat : 24957 (java) S 24944 24944 14254 0 -1 1077944384 10295 0 0 0 181 2 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525561907696 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24958] ppid=24944 vsize=15617096 memory=1452 CPUtime=0.55 cores=0,2,4,6
/proc/24946/task/24958/stat : 24958 (java) S 24944 24944 14254 0 -1 1077944384 5522 0 0 0 54 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525560855408 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24959] ppid=24944 vsize=15617096 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24946/task/24959/stat : 24959 (java) S 24944 24944 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525559802848 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=24960] ppid=24944 vsize=15617096 memory=1744324 CPUtime=0.02 cores=0,2,4,6
/proc/24946/task/24960/stat : 24960 (java) S 24944 24944 14254 0 -1 1077944384 1063 0 0 0 1 1 0 0 20 0 19 0 408278939 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525491448240 140526031555202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25561] ppid=24944 vsize=15617096 memory=1452 CPUtime=1.47 cores=0,2,4,6
/proc/24946/task/25561/stat : 25561 (java) S 24944 24944 14254 0 -1 1077944384 161 0 0 0 147 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525482479488 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25562] ppid=24944 vsize=15617096 memory=1452 CPUtime=1.44 cores=0,2,4,6
/proc/24946/task/25562/stat : 25562 (java) S 24944 24944 14254 0 -1 1077944384 470 0 0 0 144 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525477218000 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25563] ppid=24944 vsize=15617096 memory=1452 CPUtime=1.47 cores=0,2,4,6
/proc/24946/task/25563/stat : 25563 (java) S 24944 24944 14254 0 -1 1077944384 236 0 0 0 147 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525481428560 140526031554261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
[pid=24946/tid=25564] ppid=24944 vsize=15617096 memory=1452 CPUtime=2.59 cores=0,2,4,6
/proc/24946/task/25564/stat : 25564 (java) R 24944 24944 14254 0 -1 4202560 64 0 0 0 259 0 0 0 20 0 19 0 408285003 15991906304 436081 33554432000 4194304 4196468 140729839948720 140525476166472 140525647923856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15208448 140729839956975 140729839957146 140729839957146 140729839960015 0
Current children cumulated CPU time: 153.72 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 1745776 KiB

Child status: 0
Real time (s): 63.3221
CPU time (s): 153.752
CPU user time (s): 153.304
CPU system time (s): 0.447537
CPU usage (%): 242.809
Max. virtual memory (cumulated for all children) (KiB): 15732216
Max. memory (cumulated for all children) (KiB): 1745848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.304
system time used= 0.447537
maximum resident set size= 1747472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70704
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7566
involuntary context switches= 2630


# summary of solver processes directly reported to runsolver:
#   pid: 24944
#   total CPU time (s): 153.752
#   total CPU user time (s): 153.304
#   total CPU system time (s): 0.447537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.454422 second user time and 0.687929 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-12 21:28:33
IDJOB=4393369
IDBENCH=133450
IDSOLVER=2840
FILE ID=node107/4393369-1568320228
RUNJOBID= node107-1568308867-14285
PBS_JOBID= 21701131
Free space on /tmp= 55680 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-13.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393369-1568320228/watcher-4393369-1568320228 -o /tmp/evaluation-result-4393369-1568320228/solver-4393369-1568320228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1726512740 HOME/instance-4393369-1568320228.xml

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

MD5SUM BENCH= e9c019b34e7441e843704d2f83648de8
RANDOM SEED=1726512740

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:        31051708 kB
MemAvailable:   31408496 kB
Buffers:          118676 kB
Cached:           507560 kB
SwapCached:        80380 kB
Active:           814264 kB
Inactive:         316172 kB
Active(anon):     433604 kB
Inactive(anon):   100176 kB
Active(file):     380660 kB
Inactive(file):   215996 kB
Unevictable:      110040 kB
Mlocked:          110040 kB
SwapTotal:      67108860 kB
SwapFree:       66920756 kB
Dirty:             26288 kB
Writeback:             0 kB
AnonPages:        595092 kB
Mapped:            44636 kB
Shmem:             20504 kB
Slab:             180772 kB
SReclaimable:     151932 kB
SUnreclaim:        28840 kB
KernelStack:        4064 kB
PageTables:         7028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1692552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    503808 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 /tmp at the end= 55656 MiB
End job on node107 at 2019-09-12 21:29:36