0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-9143-serial-file.bin HOME/instance-4388037-1568294561.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 15:21:57 CEST 2019
0.66/0.55 c PID: 9146
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.43/0.93 c (0,0) Parsing End
1.43/0.93 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 112
1.43/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.43/0.93 c (0,0) Constraint Name Generate Begin
1.43/0.94 c (0,0) Ctr:HOME/instance-4388037-1568294561.xml,Num:Var:WeightedSum
1.43/0.94 c (0,0) Constraint Name Generate End
1.43/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.43/0.94 c (0,0) CSP to CSPinCNF Begin
1.60/1.05 c (0,0) translated 8 (10%) constraints
1.60/1.06 c (0,0) translated 16 (20%) constraints
1.60/1.08 c (0,0) translated 24 (30%) constraints
1.60/1.09 c (0,0) translated 32 (40%) constraints
1.60/1.10 c (0,0) translated 40 (50%) constraints
1.86/1.11 c (0,0) translated 48 (60%) constraints
1.86/1.12 c (0,0) translated 56 (70%) constraints
1.86/1.13 c (0,0) translated 64 (80%) constraints
1.86/1.13 c (0,0) translated 72 (90%) constraints
1.86/1.14 c (0,0) translated 80 (100%) constraints
1.86/1.14 c (0,0) ===========================================
1.86/1.14 c (0,0) Order
1.86/1.14 c (0,0) ===========================================
1.86/1.20 c (0,0) translated 8 (10%) constraints
2.16/1.23 c (0,0) translated 16 (20%) constraints
2.16/1.26 c (0,0) translated 24 (30%) constraints
2.16/1.28 c (0,0) translated 32 (40%) constraints
2.46/1.30 c (0,0) translated 40 (50%) constraints
2.46/1.31 c (0,0) translated 48 (60%) constraints
2.46/1.32 c (0,0) translated 56 (70%) constraints
2.46/1.33 c (0,0) translated 64 (80%) constraints
2.46/1.34 c (0,0) translated 72 (90%) constraints
2.46/1.35 c (0,0) translated 80 (100%) constraints
2.46/1.36 c (0,0) CSP to CSPinCNF End
2.46/1.36 c (0,0) CSP: 394 int (294 aux), 0 bool (0 aux), 748 ctr, max domain size 28693
2.46/1.36 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.36 c (0,0) CSPinCNF Propagation Begin
2.46/1.39 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.46/1.39 c (0,0) CSPinCNF Propagation End
2.46/1.39 c (0,0) CSP: 394 int (294 aux), 0 bool (0 aux), 748 ctr, max domain size 28693
2.46/1.39 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.39 c (0,0) Simplify CSPinCNF Begin
2.77/1.41 c (0,0) Simplify CSPinCNF End
2.77/1.41 c (0,0) CSP: 394 int (294 aux), 0 bool (0 aux), 748 ctr, max domain size 28693
2.77/1.41 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.77/1.41 c (0,0) Calculate Precise Domain Begin
55.21/45.02 c (44,41) 588275 values are removed by re-calculation
55.21/45.02 c (44,41) Calculate Precise Domain End
55.21/45.02 c (44,41) CSP: 394 int (294 aux), 0 bool (0 aux), 748 ctr, max domain size 27707
55.21/45.02 c (44,41) Heap : 2184 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
55.21/45.02 c (44,41) CSPinCNF to SatSolver Begin
2520.36/721.02 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.36/721.02 c (scop.sh) Killing background jobs.
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 (14713 MiB free)
memory of node 1: 16384 MiB (15648 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388037-1568294561/watcher-4388037-1568294561 -o /tmp/evaluation-result-4388037-1568294561/solver-4388037-1568294561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6431 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388037-1568294561.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9143, runsolver pid=9140
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.86 3.75 3.18 3/235 9160
/proc/meminfo: memFree=31029068/32770624 swapFree=66992864/67108860
[pid=9143] ppid=9140 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9143/stat : 9143 (scop.sh) S 9140 9143 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405707580 115843072 349 33554432000 4194304 5098028 140720314509792 140720314507048 140075390272124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140720314512168 140720314512496 140720314512496 140720314515405 0
/proc/9143/statm: 28282 349 296 221 0 87 0
[pid=9146] ppid=9143 vsize=15012696 memory=74012 CPUtime=0.11 cores=1,3,5,7
/proc/9146/stat : 9146 (java) S 9143 9143 5522 0 -1 1077944320 6737 0 0 0 9 2 0 0 20 0 15 0 405707581 15373000704 18503 33554432000 4194304 4196468 140735438205488 140735438188032 140709102026487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
/proc/9146/statm: 3753174 18503 2916 1 0 3715579 0
[pid=9146/tid=9147] ppid=9143 vsize=15012696 memory=-7828588039587137883 CPUtime=0.09 cores=1,3,5,7
/proc/9146/task/9147/stat : 9147 (java) R 9143 9143 5522 0 -1 4202560 4601 0 0 0 7 2 0 0 20 0 15 0 405707581 15373000704 18569 33554432000 4194304 4196468 140735438205488 140709073820392 140709082303312 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9148] ppid=9143 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9148/stat : 9148 (java) S 9143 9143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405707582 15373000704 18569 33554432000 4194304 4196468 140735438205488 140709106269072 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9149] ppid=9143 vsize=15012696 memory=140695764657792 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9149/stat : 9149 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707582 15373000704 18569 33554432000 4194304 4196468 140735438205488 140708905044752 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9150] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9150/stat : 9150 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707583 15373000704 18569 33554432000 4194304 4196468 140735438205488 140708903992464 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9151] ppid=9143 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9151/stat : 9151 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707583 15373000704 18569 33554432000 4194304 4196468 140735438205488 140708902939664 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9152] ppid=9143 vsize=15012696 memory=140695764657792 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9152/stat : 9152 (java) S 9143 9143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405707584 15373000704 18569 33554432000 4194304 4196468 140735438205488 140708072458352 140709102037634 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9153] ppid=9143 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9153/stat : 9153 (java) S 9143 9143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405707584 15373000704 18569 33554432000 4194304 4196468 140735438205488 140707692012320 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9154] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9154/stat : 9154 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707585 15373000704 18569 33554432000 4194304 4196468 140735438205488 140707423577200 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9155] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9155/stat : 9155 (java) S 9143 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15373000704 18569 33554432000 4194304 4196468 140735438205488 140707049068624 140709102045083 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9156] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9156/stat : 9156 (java) S 9143 9143 5522 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 405707587 15373000704 18569 33554432000 4194304 4196468 140735438205488 140708071406192 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9157] ppid=9143 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9157/stat : 9157 (java) S 9143 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15373000704 18569 33554432000 4194304 4196468 140735438205488 140708070353392 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9158] ppid=9143 vsize=15012696 memory=140695764657792 CPUtime=0.01 cores=1,3,5,7
/proc/9146/task/9158/stat : 9158 (java) R 9143 9143 5522 0 -1 4202560 415 0 0 0 1 0 0 0 20 0 15 0 405707587 15373000704 18569 33554432000 4194304 4196468 140735438205488 140708069297976 140709086214501 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9159] ppid=9143 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9159/stat : 9159 (java) S 9143 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15373000704 18569 33554432000 4194304 4196468 140735438205488 140706551163872 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9160] ppid=9143 vsize=15012696 memory=140695764657792 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9160/stat : 9160 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707588 15373000704 18569 33554432000 4194304 4196468 140735438205488 140708068247984 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 75408 KiB
[startup+0.210807 s]*
/proc/loadavg: 2.86 3.75 3.18 3/235 9160
/proc/meminfo: memFree=31010188/32770624 swapFree=66992864/67108860
[pid=9143] ppid=9140 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9143/stat : 9143 (scop.sh) S 9140 9143 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405707580 115843072 349 33554432000 4194304 5098028 140720314509792 140720314507048 140075390272124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140720314512168 140720314512496 140720314512496 140720314515405 0
/proc/9143/statm: 28282 349 296 221 0 87 0
[pid=9146] ppid=9143 vsize=15012696 memory=89140 CPUtime=0.26 cores=1,3,5,7
/proc/9146/stat : 9146 (java) S 9143 9143 5522 0 -1 1077944320 11862 0 0 0 22 4 0 0 20 0 15 0 405707581 15373000704 22285 33554432000 4194304 4196468 140735438205488 140735438188032 140709102026487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
/proc/9146/statm: 3753174 22285 2919 1 0 3715579 0
[pid=9146/tid=9147] ppid=9143 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9146/task/9147/stat : 9147 (java) R 9143 9143 5522 0 -1 4202560 9620 0 0 0 17 3 0 0 20 0 15 0 405707581 15373000704 22285 33554432000 4194304 4196468 140735438205488 140709073825872 140709102048413 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9148] ppid=9143 vsize=15012696 memory=365 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9148/stat : 9148 (java) S 9143 9143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405707582 15373000704 22285 33554432000 4194304 4196468 140735438205488 140709106269072 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9149] ppid=9143 vsize=15012696 memory=140695764667189 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9149/stat : 9149 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707582 15373000704 22285 33554432000 4194304 4196468 140735438205488 140708905044752 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9150] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9150/stat : 9150 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707583 15373000704 22285 33554432000 4194304 4196468 140735438205488 140708903992464 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9151] ppid=9143 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9151/stat : 9151 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707583 15373000704 22285 33554432000 4194304 4196468 140735438205488 140708902939664 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9152] ppid=9143 vsize=15012696 memory=140695764657792 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9152/stat : 9152 (java) S 9143 9143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405707584 15373000704 22285 33554432000 4194304 4196468 140735438205488 140708072458352 140709102037634 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9153] ppid=9143 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9153/stat : 9153 (java) S 9143 9143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405707584 15373000704 22285 33554432000 4194304 4196468 140735438205488 140707692012320 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9154] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9154/stat : 9154 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707585 15373000704 22285 33554432000 4194304 4196468 140735438205488 140707423577200 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9155] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9155/stat : 9155 (java) S 9143 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15373000704 22285 33554432000 4194304 4196468 140735438205488 140707049068624 140709102045083 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9156] ppid=9143 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9146/task/9156/stat : 9156 (java) S 9143 9143 5522 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 405707587 15373000704 22285 33554432000 4194304 4196468 140735438205488 140708071406192 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9157] ppid=9143 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9157/stat : 9157 (java) S 9143 9143 5522 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405707587 15373000704 22285 33554432000 4194304 4196468 140735438205488 140708070353392 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9158] ppid=9143 vsize=15012696 memory=140695764657792 CPUtime=0.03 cores=1,3,5,7
/proc/9146/task/9158/stat : 9158 (java) R 9143 9143 5522 0 -1 4202560 425 0 0 0 3 0 0 0 20 0 15 0 405707587 15373000704 22285 33554432000 4194304 4196468 140735438205488 140708069301104 140709094263614 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9159] ppid=9143 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9159/stat : 9159 (java) S 9143 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15373000704 22285 33554432000 4194304 4196468 140735438205488 140706551163872 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9160] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9160/stat : 9160 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707588 15373000704 22285 33554432000 4194304 4196468 140735438205488 140708068247984 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90536 KiB
[startup+0.313164 s]*
/proc/loadavg: 2.86 3.75 3.18 3/235 9160
/proc/meminfo: memFree=31007644/32770624 swapFree=66992864/67108860
[pid=9143] ppid=9140 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9143/stat : 9143 (scop.sh) S 9140 9143 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405707580 115843072 349 33554432000 4194304 5098028 140720314509792 140720314507048 140075390272124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140720314512168 140720314512496 140720314512496 140720314515405 0
/proc/9143/statm: 28282 349 296 221 0 87 0
[pid=9146] ppid=9143 vsize=15012696 memory=92748 CPUtime=0.44 cores=1,3,5,7
/proc/9146/stat : 9146 (java) S 9143 9143 5522 0 -1 1077944320 12717 0 0 0 40 4 0 0 20 0 15 0 405707581 15373000704 23187 33554432000 4194304 4196468 140735438205488 140735438188032 140709102026487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
/proc/9146/statm: 3753174 23187 3071 1 0 3715579 0
[pid=9146/tid=9147] ppid=9143 vsize=15012696 memory=7022364632946311227 CPUtime=0.29 cores=1,3,5,7
/proc/9146/task/9147/stat : 9147 (java) R 9143 9143 5522 0 -1 4202560 10296 0 0 0 26 3 0 0 20 0 15 0 405707581 15373000704 23187 33554432000 4194304 4196468 140735438205488 140709073817136 140709083590047 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9148] ppid=9143 vsize=15012696 memory=288230609019732336 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9148/stat : 9148 (java) S 9143 9143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405707582 15373000704 23187 33554432000 4194304 4196468 140735438205488 140709106269072 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9149] ppid=9143 vsize=15012696 memory=14975581238338447 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9149/stat : 9149 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707582 15373000704 23187 33554432000 4194304 4196468 140735438205488 140708905044752 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9150] ppid=9143 vsize=15012696 memory=281391225141616 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9150/stat : 9150 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707583 15373000704 23187 33554432000 4194304 4196468 140735438205488 140708903992464 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9151] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9151/stat : 9151 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707583 15373000704 23187 33554432000 4194304 4196468 140735438205488 140708902939664 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9152] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9152/stat : 9152 (java) S 9143 9143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405707584 15373000704 23187 33554432000 4194304 4196468 140735438205488 140708072458352 140709102037634 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9153] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9153/stat : 9153 (java) S 9143 9143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405707584 15373000704 23187 33554432000 4194304 4196468 140735438205488 140707692012320 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9154] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9154/stat : 9154 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707585 15373000704 23187 33554432000 4194304 4196468 140735438205488 140707423577200 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9155] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9155/stat : 9155 (java) S 9143 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15373000704 23187 33554432000 4194304 4196468 140735438205488 140707049068624 140709102045083 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9156] ppid=9143 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9146/task/9156/stat : 9156 (java) S 9143 9143 5522 0 -1 1077944384 549 0 0 0 3 0 0 0 20 0 15 0 405707587 15373000704 23187 33554432000 4194304 4196468 140735438205488 140708071406192 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9157] ppid=9143 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9146/task/9157/stat : 9157 (java) S 9143 9143 5522 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 15 0 405707587 15373000704 23187 33554432000 4194304 4196468 140735438205488 140708070353392 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9158] ppid=9143 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9146/task/9158/stat : 9158 (java) S 9143 9143 5522 0 -1 1077944384 444 0 0 0 7 0 0 0 20 0 15 0 405707587 15373000704 23187 33554432000 4194304 4196468 140735438205488 140708069301104 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9159] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9159/stat : 9159 (java) S 9143 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15373000704 23187 33554432000 4194304 4196468 140735438205488 140706551163872 140709102036693 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9160] ppid=9143 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9160/stat : 9160 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707588 15373000704 23187 33554432000 4194304 4196468 140735438205488 140708068247984 140709102037634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94144 KiB
[startup+0.700804 s]
/proc/loadavg: 2.79 3.72 3.17 3/235 9160
/proc/meminfo: memFree=30986788/32770624 swapFree=66992864/67108860
[pid=9143] ppid=9140 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9143/stat : 9143 (scop.sh) S 9140 9143 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405707580 115843072 349 33554432000 4194304 5098028 140720314509792 140720314507048 140075390272124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140720314512168 140720314512496 140720314512496 140720314515405 0
/proc/9143/statm: 28282 349 296 221 0 87 0
[pid=9146] ppid=9143 vsize=15021092 memory=130556 CPUtime=1.01 cores=1,3,5,7
/proc/9146/stat : 9146 (java) S 9143 9143 5522 0 -1 1077944320 19980 0 0 0 95 6 0 0 20 0 15 0 405707581 15381598208 32639 33554432000 4194304 4196468 140735438205488 140735438188032 140709102026487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
/proc/9146/statm: 3755273 32639 3199 1 0 3716603 0
[pid=9146/tid=9147] ppid=9143 vsize=15021092 memory=1779190203649 CPUtime=0.67 cores=1,3,5,7
/proc/9146/task/9147/stat : 9147 (java) R 9143 9143 5522 0 -1 4202560 17044 0 0 0 62 5 0 0 20 0 15 0 405707581 15381598208 32639 33554432000 4194304 4196468 140735438205488 140709073843872 140709102048413 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9148] ppid=9143 vsize=15021092 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9148/stat : 9148 (java) S 9143 9143 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405707582 15381598208 32639 33554432000 4194304 4196468 140735438205488 140709106269072 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9149] ppid=9143 vsize=15021092 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9149/stat : 9149 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707582 15381598208 32639 33554432000 4194304 4196468 140735438205488 140708905044752 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9150] ppid=9143 vsize=15021092 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9150/stat : 9150 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707583 15381598208 32639 33554432000 4194304 4196468 140735438205488 140708903992464 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9151] ppid=9143 vsize=15021092 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9151/stat : 9151 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707583 15381598208 32639 33554432000 4194304 4196468 140735438205488 140708902939664 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9152] ppid=9143 vsize=15021092 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9152/stat : 9152 (java) S 9143 9143 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405707584 15381598208 32639 33554432000 4194304 4196468 140735438205488 140708072458352 140709102037634 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9153] ppid=9143 vsize=15021092 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9153/stat : 9153 (java) S 9143 9143 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405707584 15381598208 32639 33554432000 4194304 4196468 140735438205488 140707692012320 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9154] ppid=9143 vsize=15021092 memory=5896 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9154/stat : 9154 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707585 15381598208 32639 33554432000 4194304 4196468 140735438205488 140707423577200 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9155] ppid=9143 vsize=15021092 memory=664 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9155/stat : 9155 (java) S 9143 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15381598208 32639 33554432000 4194304 4196468 140735438205488 140707049068624 140709102045083 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9156] ppid=9143 vsize=15021092 memory=1156 CPUtime=0.08 cores=1,3,5,7
/proc/9146/task/9156/stat : 9156 (java) S 9143 9143 5522 0 -1 1077944384 755 0 0 0 8 0 0 0 20 0 15 0 405707587 15381598208 32639 33554432000 4194304 4196468 140735438205488 140708071406192 140709102037634 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9157] ppid=9143 vsize=15021092 memory=1000 CPUtime=0.08 cores=1,3,5,7
/proc/9146/task/9157/stat : 9157 (java) R 9143 9143 5522 0 -1 4202560 293 0 0 0 8 0 0 0 20 0 15 0 405707587 15381598208 32639 33554432000 4194304 4196468 140735438205488 140708070343776 140709087639679 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9158] ppid=9143 vsize=15021092 memory=14008 CPUtime=0.15 cores=1,3,5,7
/proc/9146/task/9158/stat : 9158 (java) R 9143 9143 5522 0 -1 4202560 553 0 0 0 15 0 0 0 20 0 15 0 405707587 15381598208 32639 33554432000 4194304 4196468 140735438205488 140708069301104 140709102047834 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9159] ppid=9143 vsize=15021092 memory=4880 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9159/stat : 9159 (java) S 9143 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15381598208 32639 33554432000 4194304 4196468 140735438205488 140706551163872 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9160] ppid=9143 vsize=15021092 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9160/stat : 9160 (java) S 9143 9143 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405707588 15381598208 32639 33554432000 4194304 4196468 140735438205488 140708068247984 140709102037634 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131952 KiB
[startup+1.50076 s]
/proc/loadavg: 2.79 3.72 3.17 3/235 9160
/proc/meminfo: memFree=30958968/32770624 swapFree=66992864/67108860
[pid=9143] ppid=9140 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9143/stat : 9143 (scop.sh) S 9140 9143 5522 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 405707580 115843072 349 33554432000 4194304 5098028 140720314509792 140720314507048 140075390272124 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140720314512168 140720314512496 140720314512496 140720314515405 0
/proc/9143/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+721.901 s]
/proc/loadavg: 5.04 4.63 3.86 6/234 9228
/proc/meminfo: memFree=18920444/32770624 swapFree=66992880/67108860
[pid=9146] ppid=9140 vsize=15027304 memory=12032732 CPUtime=2523.93 cores=1,3,5,7
/proc/9146/stat : 9146 (java) S 9140 9143 5522 0 -1 1077944320 225088 0 0 0 251393 1000 0 0 20 0 15 0 405707581 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140735438188032 140709102026487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
/proc/9146/statm: 3756826 3008183 3314 1 0 3717627 0
[pid=9146/tid=9147] ppid=9140 vsize=15027304 memory=1396 CPUtime=108.58 cores=1,3,5,7
/proc/9146/task/9147/stat : 9147 (java) S 9140 9143 5522 0 -1 1077944384 31930 0 0 0 10802 56 0 0 20 0 15 0 405707581 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140709073863040 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9148] ppid=9140 vsize=15027304 memory=1396 CPUtime=600.7 cores=1,3,5,7
/proc/9146/task/9148/stat : 9148 (java) R 9140 9143 5522 0 -1 4202560 19348 0 0 0 59859 211 0 0 20 0 15 0 405707582 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140709106269272 140709087011783 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9149] ppid=9140 vsize=15027304 memory=12032732 CPUtime=602.57 cores=1,3,5,7
/proc/9146/task/9149/stat : 9149 (java) R 9140 9143 5522 0 -1 4202560 22169 0 0 0 60006 251 0 0 20 0 15 0 405707582 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708905044952 140709083622363 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9150] ppid=9140 vsize=15027304 memory=1616 CPUtime=602.8 cores=1,3,5,7
/proc/9146/task/9150/stat : 9150 (java) R 9140 9143 5522 0 -1 4202560 20852 0 0 0 60048 232 0 0 20 0 15 0 405707583 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708903992352 140709086724239 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9151] ppid=9140 vsize=15027304 memory=7528 CPUtime=601.95 cores=1,3,5,7
/proc/9146/task/9151/stat : 9151 (java) R 9140 9143 5522 0 -1 4202560 22560 0 0 0 59962 233 0 0 20 0 15 0 405707583 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708902939864 140709086480416 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9152] ppid=9140 vsize=15027304 memory=1476 CPUtime=3.19 cores=1,3,5,7
/proc/9146/task/9152/stat : 9152 (java) S 9140 9143 5522 0 -1 1077944384 90161 0 0 0 314 5 0 0 20 0 15 0 405707584 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708072456672 140709102036693 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9153] ppid=9140 vsize=15027304 memory=122672 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9153/stat : 9153 (java) S 9140 9143 5522 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 405707584 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707692012384 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9154] ppid=9140 vsize=15027304 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9154/stat : 9154 (java) S 9140 9143 5522 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 405707585 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707423577216 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9155] ppid=9140 vsize=15027304 memory=12032720 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9155/stat : 9155 (java) S 9140 9143 5522 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707049068272 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9156] ppid=9140 vsize=15027304 memory=1396 CPUtime=1.36 cores=1,3,5,7
/proc/9146/task/9156/stat : 9156 (java) S 9140 9143 5522 0 -1 1077944384 6410 0 0 0 135 1 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708071406240 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9157] ppid=9140 vsize=15027304 memory=12032732 CPUtime=1.24 cores=1,3,5,7
/proc/9146/task/9157/stat : 9157 (java) S 9140 9143 5522 0 -1 1077944384 4567 0 0 0 124 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708070353152 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9158] ppid=9140 vsize=15027304 memory=1396 CPUtime=0.86 cores=1,3,5,7
/proc/9146/task/9158/stat : 9158 (java) S 9140 9143 5522 0 -1 1077944384 5217 0 0 0 85 1 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708069301152 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9159] ppid=9140 vsize=15027304 memory=12032732 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9159/stat : 9159 (java) S 9140 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140706551163872 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9160] ppid=9140 vsize=15027304 memory=8112282956445269571 CPUtime=0.58 cores=1,3,5,7
/proc/9146/task/9160/stat : 9160 (java) S 9140 9143 5522 0 -1 1077944384 537 0 0 0 29 29 0 0 20 0 15 0 405707588 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708068247984 140709102037634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
Current cumulated CPU time of completed processes: 0.003735 s
Current children cumulated CPU time: 2523.93 s
Current children cumulated vsize: 15027304 KiB
Current children cumulated memory: 12032732 KiB
[startup+722.701 s]
/proc/loadavg: 5.04 4.63 3.86 6/234 9228
/proc/meminfo: memFree=18920320/32770624 swapFree=66992880/67108860
[pid=9146] ppid=9140 vsize=15027304 memory=12032732 CPUtime=2527.12 cores=1,3,5,7
/proc/9146/stat : 9146 (java) S 9140 9143 5522 0 -1 1077944320 225088 0 0 0 251712 1000 0 0 20 0 15 0 405707581 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140735438188032 140709102026487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
/proc/9146/statm: 3756826 3008183 3314 1 0 3717627 0
[pid=9146/tid=9147] ppid=9140 vsize=15027304 memory=1396 CPUtime=108.58 cores=1,3,5,7
/proc/9146/task/9147/stat : 9147 (java) S 9140 9143 5522 0 -1 1077944384 31930 0 0 0 10802 56 0 0 20 0 15 0 405707581 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140709073863040 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9148] ppid=9140 vsize=15027304 memory=12032732 CPUtime=601.48 cores=1,3,5,7
/proc/9146/task/9148/stat : 9148 (java) R 9140 9143 5522 0 -1 4202560 19348 0 0 0 59937 211 0 0 20 0 15 0 405707582 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140709106269272 140709087011783 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9149] ppid=9140 vsize=15027304 memory=12032732 CPUtime=603.37 cores=1,3,5,7
/proc/9146/task/9149/stat : 9149 (java) R 9140 9143 5522 0 -1 4202560 22169 0 0 0 60086 251 0 0 20 0 15 0 405707582 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708905044952 140709086481244 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9150] ppid=9140 vsize=15027304 memory=7620 CPUtime=603.6 cores=1,3,5,7
/proc/9146/task/9150/stat : 9150 (java) R 9140 9143 5522 0 -1 4202560 20852 0 0 0 60128 232 0 0 20 0 15 0 405707583 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708903992352 140709086724126 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9151] ppid=9140 vsize=15027304 memory=1476 CPUtime=602.75 cores=1,3,5,7
/proc/9146/task/9151/stat : 9151 (java) R 9140 9143 5522 0 -1 4202560 22560 0 0 0 60042 233 0 0 20 0 15 0 405707583 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708902939864 140709086724126 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9152] ppid=9140 vsize=15027304 memory=8112282956445269571 CPUtime=3.19 cores=1,3,5,7
/proc/9146/task/9152/stat : 9152 (java) S 9140 9143 5522 0 -1 1077944384 90161 0 0 0 314 5 0 0 20 0 15 0 405707584 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708072456672 140709102036693 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9153] ppid=9140 vsize=15027304 memory=12032732 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9153/stat : 9153 (java) S 9140 9143 5522 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 405707584 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707692012384 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9154] ppid=9140 vsize=15027304 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9154/stat : 9154 (java) S 9140 9143 5522 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 405707585 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707423577216 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9155] ppid=9140 vsize=15027304 memory=124720 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9155/stat : 9155 (java) S 9140 9143 5522 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707049068272 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9156] ppid=9140 vsize=15027304 memory=8112282956445269571 CPUtime=1.36 cores=1,3,5,7
/proc/9146/task/9156/stat : 9156 (java) S 9140 9143 5522 0 -1 1077944384 6410 0 0 0 135 1 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708071406240 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9157] ppid=9140 vsize=15027304 memory=2016 CPUtime=1.24 cores=1,3,5,7
/proc/9146/task/9157/stat : 9157 (java) S 9140 9143 5522 0 -1 1077944384 4567 0 0 0 124 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708070353152 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9158] ppid=9140 vsize=15027304 memory=1384 CPUtime=0.86 cores=1,3,5,7
/proc/9146/task/9158/stat : 9158 (java) S 9140 9143 5522 0 -1 1077944384 5217 0 0 0 85 1 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708069301152 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9159] ppid=9140 vsize=15027304 memory=776 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9159/stat : 9159 (java) S 9140 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140706551163872 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9160] ppid=9140 vsize=15027304 memory=1564 CPUtime=0.58 cores=1,3,5,7
/proc/9146/task/9160/stat : 9160 (java) S 9140 9143 5522 0 -1 1077944384 537 0 0 0 29 29 0 0 20 0 15 0 405707588 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708068247984 140709102037634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
Current cumulated CPU time of completed processes: 0.003735 s
Current children cumulated CPU time: 2527.12 s
Current children cumulated vsize: 15027304 KiB
Current children cumulated memory: 12032732 KiB
[startup+722.904 s]
/proc/loadavg: 5.04 4.63 3.86 6/234 9228
/proc/meminfo: memFree=18920320/32770624 swapFree=66992880/67108860
[pid=9146] ppid=9140 vsize=15027304 memory=12032732 CPUtime=2527.9 cores=1,3,5,7
/proc/9146/stat : 9146 (java) S 9140 9143 5522 0 -1 1077944320 225088 0 0 0 251790 1000 0 0 20 0 15 0 405707581 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140735438188032 140709102026487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
/proc/9146/statm: 3756826 3008183 3314 1 0 3717627 0
[pid=9146/tid=9147] ppid=9140 vsize=15027304 memory=1052 CPUtime=108.58 cores=1,3,5,7
/proc/9146/task/9147/stat : 9147 (java) S 9140 9143 5522 0 -1 1077944384 31930 0 0 0 10802 56 0 0 20 0 15 0 405707581 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140709073863040 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9148] ppid=9140 vsize=15027304 memory=1708 CPUtime=601.67 cores=1,3,5,7
/proc/9146/task/9148/stat : 9148 (java) R 9140 9143 5522 0 -1 4202560 19348 0 0 0 59956 211 0 0 20 0 15 0 405707582 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140709106268960 140709087015961 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9149] ppid=9140 vsize=15027304 memory=8112282956445269571 CPUtime=603.56 cores=1,3,5,7
/proc/9146/task/9149/stat : 9149 (java) R 9140 9143 5522 0 -1 4202560 22169 0 0 0 60105 251 0 0 20 0 15 0 405707582 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708905044952 140709083636292 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9150] ppid=9140 vsize=15027304 memory=12032732 CPUtime=603.79 cores=1,3,5,7
/proc/9146/task/9150/stat : 9150 (java) R 9140 9143 5522 0 -1 4202560 20852 0 0 0 60147 232 0 0 20 0 15 0 405707583 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708903992464 140709083636102 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9151] ppid=9140 vsize=15027304 memory=4072 CPUtime=602.94 cores=1,3,5,7
/proc/9146/task/9151/stat : 9151 (java) R 9140 9143 5522 0 -1 4202560 22560 0 0 0 60061 233 0 0 20 0 15 0 405707583 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708902939864 140709083636132 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9152] ppid=9140 vsize=15027304 memory=3 CPUtime=3.2 cores=1,3,5,7
/proc/9146/task/9152/stat : 9152 (java) S 9140 9143 5522 0 -1 1077944384 90161 0 0 0 315 5 0 0 20 0 15 0 405707584 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708072456896 140709102036693 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9153] ppid=9140 vsize=15027304 memory=2809613 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9153/stat : 9153 (java) S 9140 9143 5522 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 405707584 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707692012384 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9154] ppid=9140 vsize=15027304 memory=297290490214939803 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9154/stat : 9154 (java) S 9140 9143 5522 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 405707585 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707423577216 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9155] ppid=9140 vsize=15027304 memory=281391225046832 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9155/stat : 9155 (java) S 9140 9143 5522 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707049068272 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9156] ppid=9140 vsize=15027304 memory=5931329019416958825 CPUtime=1.36 cores=1,3,5,7
/proc/9146/task/9156/stat : 9156 (java) S 9140 9143 5522 0 -1 1077944384 6410 0 0 0 135 1 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708071406240 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9157] ppid=9140 vsize=15027304 memory=7516902878186858607 CPUtime=1.24 cores=1,3,5,7
/proc/9146/task/9157/stat : 9157 (java) S 9140 9143 5522 0 -1 1077944384 4567 0 0 0 124 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708070353152 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9158] ppid=9140 vsize=15027304 memory=7372502920825627735 CPUtime=0.86 cores=1,3,5,7
/proc/9146/task/9158/stat : 9158 (java) S 9140 9143 5522 0 -1 1077944384 5217 0 0 0 85 1 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708069301152 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9159] ppid=9140 vsize=15027304 memory=8026936699502483557 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9159/stat : 9159 (java) S 9140 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140706551163872 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9160] ppid=9140 vsize=15027304 memory=32292 CPUtime=0.58 cores=1,3,5,7
/proc/9146/task/9160/stat : 9160 (java) S 9140 9143 5522 0 -1 1077944384 537 0 0 0 29 29 0 0 20 0 15 0 405707588 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708068247984 140709102037634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
Current cumulated CPU time of completed processes: 0.003735 s
Current children cumulated CPU time: 2527.9 s
Current children cumulated vsize: 15027304 KiB
Current children cumulated memory: 12032732 KiB
[startup+723.001 s]
/proc/loadavg: 5.04 4.63 3.86 6/234 9228
/proc/meminfo: memFree=18920320/32770624 swapFree=66992880/67108860
[pid=9146] ppid=9140 vsize=15027304 memory=12032732 CPUtime=2528.29 cores=1,3,5,7
/proc/9146/stat : 9146 (java) S 9140 9143 5522 0 -1 1077944320 225088 0 0 0 251829 1000 0 0 20 0 15 0 405707581 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140735438188032 140709102026487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
/proc/9146/statm: 3756826 3008183 3314 1 0 3717627 0
[pid=9146/tid=9147] ppid=9140 vsize=15027304 memory=1396 CPUtime=108.58 cores=1,3,5,7
/proc/9146/task/9147/stat : 9147 (java) S 9140 9143 5522 0 -1 1077944384 31930 0 0 0 10802 56 0 0 20 0 15 0 405707581 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140709073863040 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9148] ppid=9140 vsize=15027304 memory=12032732 CPUtime=601.77 cores=1,3,5,7
/proc/9146/task/9148/stat : 9148 (java) R 9140 9143 5522 0 -1 4202560 19348 0 0 0 59966 211 0 0 20 0 15 0 405707582 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140709106268960 140709086484078 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9149] ppid=9140 vsize=15027304 memory=12032728 CPUtime=603.66 cores=1,3,5,7
/proc/9146/task/9149/stat : 9149 (java) R 9140 9143 5522 0 -1 4202560 22169 0 0 0 60115 251 0 0 20 0 15 0 405707582 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708905044952 140709083636195 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9150] ppid=9140 vsize=15027304 memory=12032732 CPUtime=603.89 cores=1,3,5,7
/proc/9146/task/9150/stat : 9150 (java) R 9140 9143 5522 0 -1 4202560 20852 0 0 0 60157 232 0 0 20 0 15 0 405707583 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708903992464 140709087023040 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9151] ppid=9140 vsize=15027304 memory=12032732 CPUtime=603.04 cores=1,3,5,7
/proc/9146/task/9151/stat : 9151 (java) R 9140 9143 5522 0 -1 4202560 22560 0 0 0 60071 233 0 0 20 0 15 0 405707583 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708902939864 140709087022891 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9152] ppid=9140 vsize=15027304 memory=12032732 CPUtime=3.2 cores=1,3,5,7
/proc/9146/task/9152/stat : 9152 (java) S 9140 9143 5522 0 -1 1077944384 90161 0 0 0 315 5 0 0 20 0 15 0 405707584 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708072456896 140709102036693 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9153] ppid=9140 vsize=15027304 memory=12032732 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9153/stat : 9153 (java) S 9140 9143 5522 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 405707584 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707692012384 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9154] ppid=9140 vsize=15027304 memory=12032732 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9154/stat : 9154 (java) S 9140 9143 5522 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 405707585 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707423577216 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9155] ppid=9140 vsize=15027304 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9155/stat : 9155 (java) S 9140 9143 5522 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140707049068272 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9156] ppid=9140 vsize=15027304 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/9146/task/9156/stat : 9156 (java) S 9140 9143 5522 0 -1 1077944384 6410 0 0 0 135 1 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708071406240 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9157] ppid=9140 vsize=15027304 memory=808 CPUtime=1.24 cores=1,3,5,7
/proc/9146/task/9157/stat : 9157 (java) S 9140 9143 5522 0 -1 1077944384 4567 0 0 0 124 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708070353152 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9158] ppid=9140 vsize=15027304 memory=3632 CPUtime=0.86 cores=1,3,5,7
/proc/9146/task/9158/stat : 9158 (java) S 9140 9143 5522 0 -1 1077944384 5217 0 0 0 85 1 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708069301152 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9159] ppid=9140 vsize=15027304 memory=12032732 CPUtime=0 cores=1,3,5,7
/proc/9146/task/9159/stat : 9159 (java) S 9140 9143 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405707587 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140706551163872 140709102036693 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
[pid=9146/tid=9160] ppid=9140 vsize=15027304 memory=12032732 CPUtime=0.58 cores=1,3,5,7
/proc/9146/task/9160/stat : 9160 (java) S 9140 9143 5522 0 -1 1077944384 537 0 0 0 29 29 0 0 20 0 15 0 405707588 15387959296 3008183 33554432000 4194304 4196468 140735438205488 140708068247984 140709102037634 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 36487168 140735438209775 140735438210202 140735438210202 140735438213071 0
Current cumulated CPU time of completed processes: 0.003735 s
Current children cumulated CPU time: 2528.29 s
Current children cumulated vsize: 15027304 KiB
Current children cumulated memory: 12032732 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 723.057
CPU time (s): 2528.38
CPU user time (s): 2518.34
CPU system time (s): 10.0486
CPU usage (%): 349.68
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 12034128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.34
system time used= 10.0486
maximum resident set size= 12032908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 95096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38861
involuntary context switches= 24750
# summary of solver processes directly reported to runsolver:
# pid: 9143,9146
# total CPU time (s): 2528.38
# total CPU user time (s): 2518.34
# total CPU system time (s): 10.0486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64365 second user time and 7.80568 second system time
The end