Trace number 4294911

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 NameAnswerCPU timeWall clock time
scop both+MapleCOMSPS (2018-06-13)? (TO) 2528.28 991.082

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-09-10_c18.xml
MD5SUM6ec4d3779b35bd6998a70efbce1ebeb4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints19
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":90}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":90}]
Minimum constraint arity9
Maximum constraint arity10
Distribution of constraint arities[{"arity":9,"count":10},{"arity":10,"count":9}]
Number of extensional constraints19
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":19}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.52	scop both+minisat_release (2018-06-13)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Wed Jul 25 18:36:22 CEST 2018
0.67/0.55	c PID: 29724
0.67/0.55	c IP: 172.20.3.102
0.67/0.55	c HOST: node102.alineos.net
0.67/0.56	c (0,0) Parsing Begin
3.07/1.78	c (1,1) Parsing End
3.07/1.79	c (1,1) CSP: 90 int (0 aux), 0 bool (0 aux), 19 ctr, max domain size 26
3.07/1.79	c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.07/1.79	c (1,1) Constraint Name Generate Begin
3.07/1.79	c (1,1) Ctr:HOME/instance-4294911-1532536581.xml,ExtensionSupport:IntVar
3.07/1.79	c (1,1) Constraint Name Generate End
3.07/1.79	c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.07/1.79	c (1,1) CSP to CSPinCNF Begin
71.40/53.40	c (52,50) translated 2 (10%) constraints
129.61/93.44	c (92,84) translated 4 (20%) constraints
182.78/132.50	c (131,118) translated 6 (30%) constraints
234.68/171.07	c (170,153) translated 8 (40%) constraints
344.12/224.60	c (224,187) translated 10 (50%) constraints
413.25/283.71	c (283,243) translated 12 (60%) constraints
456.10/315.98	c (315,272) translated 14 (70%) constraints
496.63/347.32	c (346,300) translated 16 (80%) constraints
585.63/391.26	c (390,329) translated 18 (90%) constraints
606.04/407.17	c (406,343) translated 19 (100%) constraints
643.05/437.89	c (437,372) STATISTICS1:HOME/instance-4294911-1532536581.xml,ExtensionSupport:IntVar,947466,7747182,-1,26,27,1,,26:11476364;2:14074156,27:399;26:124;25:265;24:305;23:341;22:458;21:473;20:602;19:666;18:840;17:1001;16:863;15:1129;14:1505;13:1720;12:2318;11:3141;10:4233;9:6441;8:10132;7:15031;6:29234;5:56698;4:3857856;3:1621670;2:2129737,1:25550520;0:19,
643.05/437.89	c (437,372) ===========================================
643.05/437.89	c (437,372) Both Encoding selects:
643.05/437.89	c (437,372) Order
643.05/437.89	c (437,372) ===========================================
654.32/448.05	c (447,382) translated 774719 (10%) constraints
667.89/459.29	c (458,392) translated 1549437 (20%) constraints
791.99/498.61	c (498,403) translated 2324155 (30%) constraints
879.54/528.80	c (528,414) translated 3098873 (40%) constraints
970.75/559.95	c (559,424) translated 3873591 (50%) constraints
1106.39/602.41	c (601,435) translated 4648310 (60%) constraints
1247.32/646.25	c (645,446) translated 5423028 (70%) constraints
1526.38/724.99	c (724,457) translated 6197746 (80%) constraints
1904.59/828.53	c (828,468) translated 6972464 (90%) constraints

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294911-1532536581/watcher-4294911-1532536581 -o /tmp/evaluation-result-4294911-1532536581/solver-4294911-1532536581 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294911-1532536581.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
Current StackSize limit: 8192 KiB

solver pid=29724, runsolver pid=29721

[startup+0.100061 s]*
/proc/loadavg: 4.13 4.81 3.69 4/215 29739
/proc/meminfo: memFree=13766396/32770624 swapFree=67076440/67108860
[pid=29724] ppid=29721 vsize=15011656 memory=73376 CPUtime=0.12 cores=0,2,4,6
/proc/29724/stat : 29724 (java) S 29721 29724 29212 0 -1 1077944320 6069 0 0 0 10 2 0 0 20 0 15 0 71221262 15371935744 18344 33554432000 4194304 4196468 140730502218928 140730502201472 139915563826935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
/proc/29724/statm: 3752914 18344 2754 1 0 3715374 0
[pid=29724/tid=29726] ppid=29721 vsize=15011656 memory=-6894657602490753920 CPUtime=0.09 cores=0,2,4,6
/proc/29724/task/29726/stat : 29726 (java) R 29721 29724 29212 0 -1 4202560 4162 0 0 0 8 1 0 0 20 0 15 0 71221263 15371935744 18344 33554432000 4194304 4196468 140730502218928 139915535638184 139915544102656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29727] ppid=29721 vsize=15011656 memory=5793855054895409593 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29727/stat : 29727 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 18344 33554432000 4194304 4196468 140730502218928 139915568069264 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29728] ppid=29721 vsize=15011656 memory=139803885516416 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29728/stat : 29728 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 18344 33554432000 4194304 4196468 140730502218928 139915343772176 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29729] ppid=29721 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29729/stat : 29729 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 18344 33554432000 4194304 4196468 140730502218928 139915342719376 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29730] ppid=29721 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29730/stat : 29730 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 18344 33554432000 4194304 4196468 140730502218928 139915341666576 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29731] ppid=29721 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29731/stat : 29731 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221266 15371935744 18344 33554432000 4194304 4196468 140730502218928 139914602220400 139915563838082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29732] ppid=29721 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29732/stat : 29732 (java) S 29721 29724 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71221266 15371935744 18410 33554432000 4194304 4196468 140730502218928 139914196805152 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29733] ppid=29721 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29733/stat : 29733 (java) S 29721 29724 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71221267 15371935744 18410 33554432000 4194304 4196468 140730502218928 139913928369520 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29734] ppid=29721 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29734/stat : 29734 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 18410 33554432000 4194304 4196468 140730502218928 139913553860944 139915563845531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29735] ppid=29721 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29735/stat : 29735 (java) S 29721 29724 29212 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 18410 33554432000 4194304 4196468 140730502218928 139914601167216 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29736] ppid=29721 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29736/stat : 29736 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 18410 33554432000 4194304 4196468 140730502218928 139914532350192 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29737] ppid=29721 vsize=15011656 memory=139803885516416 CPUtime=0.01 cores=0,2,4,6
/proc/29724/task/29737/stat : 29737 (java) S 29721 29724 29212 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 15 0 71221269 15371935744 18410 33554432000 4194304 4196468 140730502218928 139914531297392 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29738] ppid=29721 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29738/stat : 29738 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 18410 33554432000 4194304 4196468 140730502218928 139913055955168 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29739] ppid=29721 vsize=15011656 memory=139803885516416 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29739/stat : 29739 (java) S 29721 29724 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 18410 33554432000 4194304 4196468 140730502218928 139914530245808 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73376 KiB

[startup+0.210367 s]*
/proc/loadavg: 4.13 4.81 3.69 3/215 29739
/proc/meminfo: memFree=13752692/32770624 swapFree=67076440/67108860
[pid=29724] ppid=29721 vsize=15011656 memory=86740 CPUtime=0.25 cores=0,2,4,6
/proc/29724/stat : 29724 (java) S 29721 29724 29212 0 -1 1077944320 9586 0 0 0 23 2 0 0 20 0 15 0 71221262 15371935744 21685 33554432000 4194304 4196468 140730502218928 140730502201472 139915563826935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
/proc/29724/statm: 3752914 21685 2910 1 0 3715374 0
[pid=29724/tid=29726] ppid=29721 vsize=15011656 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/29724/task/29726/stat : 29726 (java) R 29721 29724 29212 0 -1 4202560 7494 0 0 0 18 2 0 0 20 0 15 0 71221263 15371935744 21685 33554432000 4194304 4196468 140730502218928 139915535653328 139915547178109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29727] ppid=29721 vsize=15011656 memory=4211973530090306954 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29727/stat : 29727 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 21685 33554432000 4194304 4196468 140730502218928 139915568069264 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29728] ppid=29721 vsize=15011656 memory=139803885516416 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29728/stat : 29728 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 21685 33554432000 4194304 4196468 140730502218928 139915343772176 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29729] ppid=29721 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29729/stat : 29729 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 21685 33554432000 4194304 4196468 140730502218928 139915342719376 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29730] ppid=29721 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29730/stat : 29730 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 21685 33554432000 4194304 4196468 140730502218928 139915341666576 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29731] ppid=29721 vsize=15011656 memory=139803885516416 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29731/stat : 29731 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221266 15371935744 21685 33554432000 4194304 4196468 140730502218928 139914602220400 139915563838082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29732] ppid=29721 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29732/stat : 29732 (java) S 29721 29724 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71221266 15371935744 21685 33554432000 4194304 4196468 140730502218928 139914196805152 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29733] ppid=29721 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29733/stat : 29733 (java) S 29721 29724 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71221267 15371935744 21685 33554432000 4194304 4196468 140730502218928 139913928369520 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29734] ppid=29721 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29734/stat : 29734 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 21685 33554432000 4194304 4196468 140730502218928 139913553860944 139915563845531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29735] ppid=29721 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29724/task/29735/stat : 29735 (java) S 29721 29724 29212 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 15 0 71221269 15371935744 21685 33554432000 4194304 4196468 140730502218928 139914601167216 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29736] ppid=29721 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29736/stat : 29736 (java) S 29721 29724 29212 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 21685 33554432000 4194304 4196468 140730502218928 139914532350192 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29737] ppid=29721 vsize=15011656 memory=139803885516416 CPUtime=0.03 cores=0,2,4,6
/proc/29724/task/29737/stat : 29737 (java) R 29721 29724 29212 0 -1 4202560 273 0 0 0 3 0 0 0 20 0 15 0 71221269 15371935744 21685 33554432000 4194304 4196468 140730502218928 139914531297392 139915563848282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29738] ppid=29721 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29738/stat : 29738 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 21685 33554432000 4194304 4196468 140730502218928 139913055955168 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29739] ppid=29721 vsize=15011656 memory=139803885516416 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29739/stat : 29739 (java) S 29721 29724 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 21685 33554432000 4194304 4196468 140730502218928 139914530245808 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86740 KiB

[startup+0.310223 s]*
/proc/loadavg: 4.13 4.81 3.69 3/215 29739
/proc/meminfo: memFree=13749652/32770624 swapFree=67076440/67108860
[pid=29724] ppid=29721 vsize=15011656 memory=90476 CPUtime=0.43 cores=0,2,4,6
/proc/29724/stat : 29724 (java) S 29721 29724 29212 0 -1 1077944320 10115 0 0 0 40 3 0 0 20 0 15 0 71221262 15371935744 22619 33554432000 4194304 4196468 140730502218928 140730502201472 139915563826935 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
/proc/29724/statm: 3752914 22619 3013 1 0 3715374 0
[pid=29724/tid=29726] ppid=29721 vsize=15011656 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/29724/task/29726/stat : 29726 (java) R 29721 29724 29212 0 -1 4202560 7861 0 0 0 27 2 0 0 20 0 15 0 71221263 15371935744 22619 33554432000 4194304 4196468 140730502218928 139915535631088 139915546277761 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29727] ppid=29721 vsize=15011656 memory=4211973530090306954 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29727/stat : 29727 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 22619 33554432000 4194304 4196468 140730502218928 139915568069264 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29728] ppid=29721 vsize=15011656 memory=279607621249408 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29728/stat : 29728 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 22619 33554432000 4194304 4196468 140730502218928 139915343772176 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29729] ppid=29721 vsize=15011656 memory=279607471493632 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29729/stat : 29729 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 22619 33554432000 4194304 4196468 140730502218928 139915342719376 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29730] ppid=29721 vsize=15011656 memory=139803735733007 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29730/stat : 29730 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15371935744 22619 33554432000 4194304 4196468 140730502218928 139915341666576 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29731] ppid=29721 vsize=15011656 memory=279607621256320 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29731/stat : 29731 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221266 15371935744 22619 33554432000 4194304 4196468 140730502218928 139914602220400 139915563838082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29732] ppid=29721 vsize=15011656 memory=139803735737615 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29732/stat : 29732 (java) S 29721 29724 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71221266 15371935744 22619 33554432000 4194304 4196468 140730502218928 139914196805152 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29733] ppid=29721 vsize=15011656 memory=139803735769163 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29733/stat : 29733 (java) S 29721 29724 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71221267 15371935744 22619 33554432000 4194304 4196468 140730502218928 139913928369520 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29734] ppid=29721 vsize=15011656 memory=139803735771468 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29734/stat : 29734 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 22619 33554432000 4194304 4196468 140730502218928 139913553860944 139915563845531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29735] ppid=29721 vsize=15011656 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29724/task/29735/stat : 29735 (java) S 29721 29724 29212 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 71221269 15371935744 22619 33554432000 4194304 4196468 140730502218928 139914601167216 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29736] ppid=29721 vsize=15011656 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29724/task/29736/stat : 29736 (java) S 29721 29724 29212 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 71221269 15371935744 22619 33554432000 4194304 4196468 140730502218928 139914532350192 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29737] ppid=29721 vsize=15011656 memory=139803885516416 CPUtime=0.07 cores=0,2,4,6
/proc/29724/task/29737/stat : 29737 (java) R 29721 29724 29212 0 -1 4202560 291 0 0 0 7 0 0 0 20 0 15 0 71221269 15371935744 22619 33554432000 4194304 4196468 140730502218928 139914531297392 139915547995116 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29738] ppid=29721 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29738/stat : 29738 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 22619 33554432000 4194304 4196468 140730502218928 139913055955168 139915563837141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29739] ppid=29721 vsize=15011656 memory=139803885589792 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29739/stat : 29739 (java) S 29721 29724 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71221269 15371935744 22619 33554432000 4194304 4196468 140730502218928 139914530245808 139915563838082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 90476 KiB

[startup+0.70116 s]
/proc/loadavg: 4.13 4.81 3.69 3/215 29739
/proc/meminfo: memFree=13725716/32770624 swapFree=67076440/67108860
[pid=29724] ppid=29721 vsize=15017928 memory=133068 CPUtime=1 cores=0,2,4,6
/proc/29724/stat : 29724 (java) S 29721 29724 29212 0 -1 1077944320 16958 0 0 0 96 4 0 0 20 0 15 0 71221262 15378358272 33267 33554432000 4194304 4196468 140730502218928 140730502201472 139915563826935 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
/proc/29724/statm: 3754482 33267 3136 1 0 3715886 0
[pid=29724/tid=29726] ppid=29721 vsize=15017928 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/29724/task/29726/stat : 29726 (java) R 29721 29724 29212 0 -1 4202560 14207 0 0 0 63 4 0 0 20 0 15 0 71221263 15378358272 33267 33554432000 4194304 4196468 140730502218928 139915535663136 139915563848861 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29727] ppid=29721 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29727/stat : 29727 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15378358272 33267 33554432000 4194304 4196468 140730502218928 139915568069264 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29728] ppid=29721 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29728/stat : 29728 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15378358272 33267 33554432000 4194304 4196468 140730502218928 139915343772176 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29729] ppid=29721 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29729/stat : 29729 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15378358272 33267 33554432000 4194304 4196468 140730502218928 139915342719376 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29730] ppid=29721 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29730/stat : 29730 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15378358272 33267 33554432000 4194304 4196468 140730502218928 139915341666576 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29731] ppid=29721 vsize=15017928 memory=12816 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29731/stat : 29731 (java) S 29721 29724 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71221266 15378358272 33267 33554432000 4194304 4196468 140730502218928 139914602220400 139915563838082 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29732] ppid=29721 vsize=15017928 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29732/stat : 29732 (java) S 29721 29724 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 71221266 15378358272 33267 33554432000 4194304 4196468 140730502218928 139914196805152 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29733] ppid=29721 vsize=15017928 memory=1508 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29733/stat : 29733 (java) S 29721 29724 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71221267 15378358272 33267 33554432000 4194304 4196468 140730502218928 139913928369520 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29734] ppid=29721 vsize=15017928 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29734/stat : 29734 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15378358272 33267 33554432000 4194304 4196468 140730502218928 139913553860944 139915563845531 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29735] ppid=29721 vsize=15017928 memory=3032 CPUtime=0.09 cores=0,2,4,6
/proc/29724/task/29735/stat : 29735 (java) S 29721 29724 29212 0 -1 1077944384 628 0 0 0 9 0 0 0 20 0 15 0 71221269 15378358272 33267 33554432000 4194304 4196468 140730502218928 139914601167216 139915563838082 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29736] ppid=29721 vsize=15017928 memory=2764 CPUtime=0.07 cores=0,2,4,6
/proc/29724/task/29736/stat : 29736 (java) S 29721 29724 29212 0 -1 1077944384 393 0 0 0 7 0 0 0 20 0 15 0 71221269 15378358272 33267 33554432000 4194304 4196468 140730502218928 139914532350192 139915563838082 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29737] ppid=29721 vsize=15017928 memory=796 CPUtime=0.15 cores=0,2,4,6
/proc/29724/task/29737/stat : 29737 (java) R 29721 29724 29212 0 -1 4202560 389 0 0 0 15 0 0 0 20 0 15 0 71221269 15378358272 33267 33554432000 4194304 4196468 140730502218928 139914531297392 139915545391418 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29738] ppid=29721 vsize=15017928 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29738/stat : 29738 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15378358272 33267 33554432000 4194304 4196468 140730502218928 139913055955168 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29739] ppid=29721 vsize=15017928 memory=15316 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29739/stat : 29739 (java) S 29721 29724 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71221269 15378358272 33267 33554432000 4194304 4196468 140730502218928 139914530245808 139915563838082 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 133068 KiB

[startup+1.50077 s]
/proc/loadavg: 4.13 4.81 3.69 3/215 29739
/proc/meminfo: memFree=13585780/32770624 swapFree=67076440/67108860
[pid=29724] ppid=29721 vsize=15020052 memory=469008 CPUtime=2.53 cores=0,2,4,6
/proc/29724/stat : 29724 (java) S 29721 29724 29212 0 -1 1077944320 18645 0 0 0 243 10 0 0 20 0 15 0 71221262 15380533248 117252 33554432000 4194304 4196468 140730502218928 140730502201472 139915563826935 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
/proc/29724/statm: 3755013 117252 3193 1 0 3716398 0
[pid=29724/tid=29726] ppid=29721 vsize=15020052 memory=3544 CPUtime=1.31 cores=0,2,4,6
/proc/29724/task/29726/stat : 29726 (java) R 29721 29724 29212 0 -1 4202560 14759 0 0 0 121 10 0 0 20 0 15 0 71221263 15380533248 117252 33554432000 4194304 4196468 140730502218928 139915535661832 139915022263024 0 4 0 25189583 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29727] ppid=29721 vsize=15020052 memory=18400 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29727/stat : 29727 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15380533248 117252 33554432000 4194304 4196468 140730502218928 139915568069264 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29728] ppid=29721 vsize=15020052 memory=776 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29728/stat : 29728 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15380533248 117252 33554432000 4194304 4196468 140730502218928 139915343772176 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29729] ppid=29721 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29729/stat : 29729 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15380533248 117252 33554432000 4194304 4196468 140730502218928 139915342719376 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29730] ppid=29721 vsize=15020052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29730/stat : 29730 (java) S 29721 29724 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71221264 15380533248 117252 33554432000 4194304 4196468 140730502218928 139915341666576 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29731] ppid=29721 vsize=15020052 memory=7089319380252648530 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29731/stat : 29731 (java) S 29721 29724 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71221266 15380533248 117252 33554432000 4194304 4196468 140730502218928 139914602220400 139915563838082 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0

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

/proc/29724/statm: 3756037 3015159 3258 1 0 3717422 0
[pid=29724/tid=29726] ppid=29721 vsize=15024148 memory=6791534058613427641 CPUtime=476.38 cores=0,2,4,6
/proc/29724/task/29726/stat : 29726 (java) S 29721 29724 29212 0 -1 1077944384 76766 0 0 0 47581 57 0 0 20 0 15 0 71221263 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915535666096 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29727] ppid=29721 vsize=15024148 memory=4126316290023845779 CPUtime=507.17 cores=0,2,4,6
/proc/29724/task/29727/stat : 29727 (java) R 29721 29724 29212 0 -1 4202560 226663 0 0 0 50439 278 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915568069264 139915548525805 0 4 0 25189583 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29728] ppid=29721 vsize=15024148 memory=2592 CPUtime=506.45 cores=0,2,4,6
/proc/29724/task/29728/stat : 29728 (java) R 29721 29724 29212 0 -1 4202560 87233 0 0 0 50395 250 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915343772376 139915545436723 0 4 0 25189583 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29729] ppid=29721 vsize=15024148 memory=2692 CPUtime=506.45 cores=0,2,4,6
/proc/29724/task/29729/stat : 29729 (java) R 29721 29724 29212 0 -1 4202560 95273 0 0 0 50397 248 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915342719576 139915548823599 0 4 0 25189583 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29730] ppid=29721 vsize=15024148 memory=1412 CPUtime=506.25 cores=0,2,4,6
/proc/29724/task/29730/stat : 29730 (java) R 29721 29724 29212 0 -1 4202560 166150 0 0 0 50351 274 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915341666776 139915548525683 0 4 0 25189583 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29731] ppid=29721 vsize=15024148 memory=3128 CPUtime=3.05 cores=0,2,4,6
/proc/29724/task/29731/stat : 29731 (java) S 29721 29724 29212 0 -1 1077944384 79195 0 0 0 299 6 0 0 20 0 15 0 71221266 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914602218944 139915563837141 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29732] ppid=29721 vsize=15024148 memory=12060636 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29732/stat : 29732 (java) S 29721 29724 29212 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 71221266 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914196805216 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29733] ppid=29721 vsize=15024148 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29733/stat : 29733 (java) S 29721 29724 29212 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 71221267 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913928369536 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29734] ppid=29721 vsize=15024148 memory=3108 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29734/stat : 29734 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913553860944 139915563845531 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29735] ppid=29721 vsize=15024148 memory=11719328 CPUtime=4.84 cores=0,2,4,6
/proc/29724/task/29735/stat : 29735 (java) S 29721 29724 29212 0 -1 1077944384 17592 0 0 0 483 1 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914601166976 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29736] ppid=29721 vsize=15024148 memory=6791534058613427641 CPUtime=7.56 cores=0,2,4,6
/proc/29724/task/29736/stat : 29736 (java) S 29721 29724 29212 0 -1 1077944384 17324 0 0 0 754 2 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914532350240 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29737] ppid=29721 vsize=15024148 memory=4126316290023845779 CPUtime=1.21 cores=0,2,4,6
/proc/29724/task/29737/stat : 29737 (java) S 29721 29724 29212 0 -1 1077944384 22980 0 0 0 118 3 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914531297440 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29738] ppid=29721 vsize=15024148 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29738/stat : 29738 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913055955168 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29739] ppid=29721 vsize=15024148 memory=920 CPUtime=0.73 cores=0,2,4,6
/proc/29724/task/29739/stat : 29739 (java) S 29721 29724 29212 0 -1 1077944384 996 0 0 0 40 33 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914530245808 139915563838082 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
Current children cumulated CPU time: 2520.21 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12060636 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+991.082 s]
# the end of solver process 29724 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.87 s, system=11.4106 s

Solver just ended.
Dumping a history of the last processes samples

[startup+990.401 s]
/proc/loadavg: 5.62 4.52 3.87 6/217 29937
/proc/meminfo: memFree=577216/32770624 swapFree=67076452/67108860
[pid=29724] ppid=29721 vsize=15024148 memory=12060636 CPUtime=2525.75 cores=0,2,4,6
/proc/29724/stat : 29724 (java) S 29721 29724 29212 0 -1 1077944320 791553 0 0 0 251440 1135 0 0 20 0 15 0 71221262 15384727552 3015159 33554432000 4194304 4196468 140730502218928 140730502201472 139915563826935 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
/proc/29724/statm: 3756037 3015159 3258 1 0 3717422 0
[pid=29724/tid=29726] ppid=29721 vsize=15024148 memory=1008 CPUtime=476.38 cores=0,2,4,6
/proc/29724/task/29726/stat : 29726 (java) S 29721 29724 29212 0 -1 1077944384 76766 0 0 0 47581 57 0 0 20 0 15 0 71221263 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915535666096 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29727] ppid=29721 vsize=15024148 memory=6791534058613427641 CPUtime=508.56 cores=0,2,4,6
/proc/29724/task/29727/stat : 29727 (java) R 29721 29724 29212 0 -1 4202560 226663 0 0 0 50578 278 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915568069152 139915548823339 0 4 0 25189583 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29728] ppid=29721 vsize=15024148 memory=1876 CPUtime=507.84 cores=0,2,4,6
/proc/29724/task/29728/stat : 29728 (java) R 29721 29724 29212 0 -1 4202560 87233 0 0 0 50534 250 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915343772376 139915548823504 0 4 0 25189583 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29729] ppid=29721 vsize=15024148 memory=1664 CPUtime=507.84 cores=0,2,4,6
/proc/29724/task/29729/stat : 29729 (java) R 29721 29724 29212 0 -1 4202560 95273 0 0 0 50536 248 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915342719576 139915548525680 0 4 0 25189583 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29730] ppid=29721 vsize=15024148 memory=1828 CPUtime=507.62 cores=0,2,4,6
/proc/29724/task/29730/stat : 29730 (java) R 29721 29724 29212 0 -1 4202560 166150 0 0 0 50488 274 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915341666776 139915548823504 0 4 0 25189583 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29731] ppid=29721 vsize=15024148 memory=800 CPUtime=3.05 cores=0,2,4,6
/proc/29724/task/29731/stat : 29731 (java) S 29721 29724 29212 0 -1 1077944384 79195 0 0 0 299 6 0 0 20 0 15 0 71221266 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914602218944 139915563837141 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29732] ppid=29721 vsize=15024148 memory=5192 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29732/stat : 29732 (java) S 29721 29724 29212 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 71221266 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914196805216 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29733] ppid=29721 vsize=15024148 memory=12816 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29733/stat : 29733 (java) S 29721 29724 29212 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 71221267 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913928369536 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29734] ppid=29721 vsize=15024148 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29734/stat : 29734 (java) S 29721 29724 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913553860592 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29735] ppid=29721 vsize=15024148 memory=1508 CPUtime=4.84 cores=0,2,4,6
/proc/29724/task/29735/stat : 29735 (java) S 29721 29724 29212 0 -1 1077944384 17592 0 0 0 483 1 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914601166976 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29736] ppid=29721 vsize=15024148 memory=6791534058613427641 CPUtime=7.56 cores=0,2,4,6
/proc/29724/task/29736/stat : 29736 (java) S 29721 29724 29212 0 -1 1077944384 17324 0 0 0 754 2 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914532350240 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29737] ppid=29721 vsize=15024148 memory=1220 CPUtime=1.21 cores=0,2,4,6
/proc/29724/task/29737/stat : 29737 (java) S 29721 29724 29212 0 -1 1077944384 22980 0 0 0 118 3 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914531297440 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29738] ppid=29721 vsize=15024148 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29738/stat : 29738 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913055955168 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29739] ppid=29721 vsize=15024148 memory=2164 CPUtime=0.73 cores=0,2,4,6
/proc/29724/task/29739/stat : 29739 (java) S 29721 29724 29212 0 -1 1077944384 996 0 0 0 40 33 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914530245808 139915563838082 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
Current children cumulated CPU time: 2525.75 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12060636 KiB

[startup+990.801 s]
/proc/loadavg: 5.62 4.52 3.87 6/217 29937
/proc/meminfo: memFree=577216/32770624 swapFree=67076452/67108860
[pid=29724] ppid=29721 vsize=15024148 memory=12060636 CPUtime=2527.35 cores=0,2,4,6
/proc/29724/stat : 29724 (java) S 29721 29724 29212 0 -1 1077944320 791553 0 0 0 251600 1135 0 0 20 0 15 0 71221262 15384727552 3015159 33554432000 4194304 4196468 140730502218928 140730502201472 139915563826935 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
/proc/29724/statm: 3756037 3015159 3258 1 0 3717422 0
[pid=29724/tid=29726] ppid=29721 vsize=15024148 memory=1548 CPUtime=476.38 cores=0,2,4,6
/proc/29724/task/29726/stat : 29726 (java) S 29721 29724 29212 0 -1 1077944384 76766 0 0 0 47581 57 0 0 20 0 15 0 71221263 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915535666096 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29727] ppid=29721 vsize=15024148 memory=2164 CPUtime=508.96 cores=0,2,4,6
/proc/29724/task/29727/stat : 29727 (java) R 29721 29724 29212 0 -1 4202560 226663 0 0 0 50618 278 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915568069152 139915545436740 0 4 0 25189583 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29728] ppid=29721 vsize=15024148 memory=3700 CPUtime=508.24 cores=0,2,4,6
/proc/29724/task/29728/stat : 29728 (java) R 29721 29724 29212 0 -1 4202560 87233 0 0 0 50574 250 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915343772376 139915545436740 0 4 0 25189583 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29729] ppid=29721 vsize=15024148 memory=844 CPUtime=508.24 cores=0,2,4,6
/proc/29724/task/29729/stat : 29729 (java) R 29721 29724 29212 0 -1 4202560 95273 0 0 0 50576 248 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915342719576 139915548823617 0 4 0 25189583 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29730] ppid=29721 vsize=15024148 memory=1460 CPUtime=508.02 cores=0,2,4,6
/proc/29724/task/29730/stat : 29730 (java) R 29721 29724 29212 0 -1 4202560 166150 0 0 0 50528 274 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915341666776 139915548525680 0 4 0 25189583 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29731] ppid=29721 vsize=15024148 memory=2160 CPUtime=3.05 cores=0,2,4,6
/proc/29724/task/29731/stat : 29731 (java) S 29721 29724 29212 0 -1 1077944384 79195 0 0 0 299 6 0 0 20 0 15 0 71221266 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914602218944 139915563837141 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29732] ppid=29721 vsize=15024148 memory=12060636 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29732/stat : 29732 (java) S 29721 29724 29212 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 71221266 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914196805216 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29733] ppid=29721 vsize=15024148 memory=3108 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29733/stat : 29733 (java) S 29721 29724 29212 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 71221267 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913928369536 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29734] ppid=29721 vsize=15024148 memory=11719332 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29734/stat : 29734 (java) S 29721 29724 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913553860592 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29735] ppid=29721 vsize=15024148 memory=6791534058613427641 CPUtime=4.84 cores=0,2,4,6
/proc/29724/task/29735/stat : 29735 (java) S 29721 29724 29212 0 -1 1077944384 17592 0 0 0 483 1 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914601166976 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29736] ppid=29721 vsize=15024148 memory=4126316290023845779 CPUtime=7.56 cores=0,2,4,6
/proc/29724/task/29736/stat : 29736 (java) S 29721 29724 29212 0 -1 1077944384 17324 0 0 0 754 2 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914532350240 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29737] ppid=29721 vsize=15024148 memory=2592 CPUtime=1.21 cores=0,2,4,6
/proc/29724/task/29737/stat : 29737 (java) S 29721 29724 29212 0 -1 1077944384 22980 0 0 0 118 3 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914531297440 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29738] ppid=29721 vsize=15024148 memory=2692 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29738/stat : 29738 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913055955168 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29739] ppid=29721 vsize=15024148 memory=1412 CPUtime=0.73 cores=0,2,4,6
/proc/29724/task/29739/stat : 29739 (java) S 29721 29724 29212 0 -1 1077944384 996 0 0 0 40 33 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914530245808 139915563838082 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
Current children cumulated CPU time: 2527.35 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12060636 KiB

[startup+991.001 s]*
/proc/loadavg: 5.62 4.52 3.87 6/217 29937
/proc/meminfo: memFree=577216/32770624 swapFree=67076452/67108860
[pid=29724] ppid=29721 vsize=15024148 memory=12060636 CPUtime=2528.17 cores=0,2,4,6
/proc/29724/stat : 29724 (java) S 29721 29724 29212 0 -1 1077944320 791553 0 0 0 251682 1135 0 0 20 0 15 0 71221262 15384727552 3015159 33554432000 4194304 4196468 140730502218928 140730502201472 139915563826935 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
/proc/29724/statm: 3756037 3015159 3258 1 0 3717422 0
[pid=29724/tid=29726] ppid=29721 vsize=15024148 memory=6791534058613427641 CPUtime=476.38 cores=0,2,4,6
/proc/29724/task/29726/stat : 29726 (java) S 29721 29724 29212 0 -1 1077944384 76766 0 0 0 47581 57 0 0 20 0 15 0 71221263 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915535666096 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29727] ppid=29721 vsize=15024148 memory=4126316290023845779 CPUtime=509.17 cores=0,2,4,6
/proc/29724/task/29727/stat : 29727 (java) R 29721 29724 29212 0 -1 4202560 226663 0 0 0 50639 278 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915568069152 139915548525773 0 4 0 25189583 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29728] ppid=29721 vsize=15024148 memory=1332 CPUtime=508.45 cores=0,2,4,6
/proc/29724/task/29728/stat : 29728 (java) R 29721 29724 29212 0 -1 4202560 87233 0 0 0 50595 250 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915343772376 139915548284387 0 4 0 25189583 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29729] ppid=29721 vsize=15024148 memory=1508 CPUtime=508.45 cores=0,2,4,6
/proc/29724/task/29729/stat : 29729 (java) R 29721 29724 29212 0 -1 4202560 95273 0 0 0 50597 248 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915342719576 139915548525646 0 4 0 25189583 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29730] ppid=29721 vsize=15024148 memory=3328 CPUtime=508.22 cores=0,2,4,6
/proc/29724/task/29730/stat : 29730 (java) R 29721 29724 29212 0 -1 4202560 166150 0 0 0 50548 274 0 0 20 0 15 0 71221264 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139915341666776 139915548823504 0 4 0 25189583 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29731] ppid=29721 vsize=15024148 memory=3032 CPUtime=3.05 cores=0,2,4,6
/proc/29724/task/29731/stat : 29731 (java) S 29721 29724 29212 0 -1 1077944384 79195 0 0 0 299 6 0 0 20 0 15 0 71221266 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914602218944 139915563837141 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29732] ppid=29721 vsize=15024148 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29732/stat : 29732 (java) S 29721 29724 29212 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 71221266 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914196805216 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29733] ppid=29721 vsize=15024148 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29733/stat : 29733 (java) S 29721 29724 29212 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 71221267 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913928369536 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29734] ppid=29721 vsize=15024148 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29734/stat : 29734 (java) S 29721 29724 29212 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913553860592 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29735] ppid=29721 vsize=15024148 memory=6768 CPUtime=4.84 cores=0,2,4,6
/proc/29724/task/29735/stat : 29735 (java) S 29721 29724 29212 0 -1 1077944384 17592 0 0 0 483 1 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914601166976 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29736] ppid=29721 vsize=15024148 memory=824 CPUtime=7.56 cores=0,2,4,6
/proc/29724/task/29736/stat : 29736 (java) S 29721 29724 29212 0 -1 1077944384 17324 0 0 0 754 2 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914532350240 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29737] ppid=29721 vsize=15024148 memory=4100 CPUtime=1.21 cores=0,2,4,6
/proc/29724/task/29737/stat : 29737 (java) S 29721 29724 29212 0 -1 1077944384 22980 0 0 0 118 3 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914531297440 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29738] ppid=29721 vsize=15024148 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/29724/task/29738/stat : 29738 (java) S 29721 29724 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139913055955168 139915563837141 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
[pid=29724/tid=29739] ppid=29721 vsize=15024148 memory=920 CPUtime=0.73 cores=0,2,4,6
/proc/29724/task/29739/stat : 29739 (java) S 29721 29724 29212 0 -1 1077944384 996 0 0 0 40 33 0 0 20 0 15 0 71221269 15384727552 3015159 33554432000 4194304 4196468 140730502218928 139914530245808 139915563838082 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 23945216 140730502222836 140730502223113 140730502223113 140730502225871 0
Current children cumulated CPU time: 2528.17 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 12060636 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 991.082
CPU time (s): 2528.28
CPU user time (s): 2516.87
CPU system time (s): 11.4106
CPU usage (%): 255.103
Max. virtual memory (cumulated for all children) (KiB): 15024148
Max. memory (cumulated for all children) (KiB): 12060636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.87
system time used= 11.4106
maximum resident set size= 12060800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 791555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36016
involuntary context switches= 22691


# summary of solver processes directly reported to runsolver:
#   pid: 29724
#   total CPU time (s): 2528.28
#   total CPU user time (s): 2516.87
#   total CPU system time (s): 11.4106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47576 second user time and 9.7696 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-25 18:36:21
IDJOB=4294911
IDBENCH=141443
IDSOLVER=2755
FILE ID=node102/4294911-1532536581
RUNJOBID= node102-1532535327-29243
PBS_JOBID= 21021949
Free space on /tmp= 52732 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-09-10_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -both -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294911-1532536581/watcher-4294911-1532536581 -o /tmp/evaluation-result-4294911-1532536581/solver-4294911-1532536581 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29243 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294911-1532536581.xml

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

MD5SUM BENCH= 6ec4d3779b35bd6998a70efbce1ebeb4
RANDOM SEED=1665708301

node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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:        13827272 kB
MemAvailable:   21416508 kB
Buffers:          154468 kB
Cached:          7669812 kB
SwapCached:         5728 kB
Active:         11754800 kB
Inactive:        6629716 kB
Active(anon):   10527392 kB
Inactive(anon):    56872 kB
Active(file):    1227408 kB
Inactive(file):  6572844 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67076440 kB
Dirty:             12784 kB
Writeback:             0 kB
AnonPages:      10578972 kB
Mapped:            44312 kB
Shmem:             21372 kB
Slab:             237292 kB
SReclaimable:     209640 kB
SUnreclaim:        27652 kB
KernelStack:        3808 kB
PageTables:        26232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13020108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10430464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52720 MiB
End job on node102 at 2018-07-25 18:52:52