0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-20856-serial-file.bin HOME/instance-4305636-1534067561.xml
0.55/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 11:52:42 CEST 2018
0.66/0.54 c PID: 20859
0.66/0.54 c IP: 172.20.3.135
0.66/0.54 c HOST: node135.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.20/0.89 c (0,0) Parsing End
1.41/0.90 c (0,0) CSP: 63 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 50
1.41/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.90 c (0,0) Constraint Name Generate Begin
1.41/0.90 c (0,0) Ctr:HOME/instance-4305636-1534067561.xml,AllDifferent:Dist:Eq:IntVar
1.41/0.90 c (0,0) Constraint Name Generate End
1.41/0.90 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.41/0.90 c (0,0) CSP to CSPinCNF Begin
1.60/1.01 c (0,0) translated 6 (10%) constraints
1.60/1.03 c (0,0) translated 11 (20%) constraints
1.60/1.05 c (0,0) translated 16 (30%) constraints
1.60/1.06 c (0,0) translated 21 (40%) constraints
1.60/1.07 c (0,0) translated 26 (50%) constraints
1.60/1.08 c (0,0) translated 31 (60%) constraints
1.60/1.09 c (0,0) translated 36 (70%) constraints
1.60/1.10 c (0,0) translated 41 (80%) constraints
1.60/1.11 c (0,0) translated 46 (90%) constraints
1.83/1.15 c (0,0) translated 51 (100%) constraints
2.40/1.39 c (0,0) STATISTICS1:HOME/instance-4305636-1534067561.xml,AllDifferent:Dist:Eq:IntVar,63,1418,2450,50,49,3,2450:196;50:91;49:1176,50:602;49:2646,49:2;14:2;2:1316;1:98,3:196;2:1267;1:126,
2.40/1.39 c (0,0) ==========================================
2.40/1.39 c (0,0) Both Encoding selects:
2.40/1.39 c (0,0) Order
2.40/1.39 c (0,0) ==========================================
2.67/1.41 c (0,0) translated 142 (10%) constraints
2.67/1.43 c (0,0) translated 284 (20%) constraints
2.67/1.45 c (0,0) translated 426 (30%) constraints
2.67/1.46 c (0,0) translated 568 (40%) constraints
2.67/1.47 c (0,0) translated 709 (50%) constraints
2.67/1.48 c (0,0) translated 851 (60%) constraints
2.67/1.49 c (0,0) translated 993 (70%) constraints
3.01/1.50 c (0,0) translated 1135 (80%) constraints
3.01/1.52 c (0,0) translated 1277 (90%) constraints
3.01/1.53 c (1,0) translated 1418 (100%) constraints
3.01/1.53 c (1,1) CSP to CSPinCNF End
3.01/1.53 c (1,1) CSP: 63 int (0 aux), 0 bool (0 aux), 1418 ctr, max domain size 50
3.01/1.53 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.01/1.53 c (1,1) CSPinCNF Propagation Begin
3.01/1.56 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.01/1.56 c (1,1) CSPinCNF Propagation End
3.01/1.57 c (1,1) CSP: 63 int (0 aux), 0 bool (0 aux), 1418 ctr, max domain size 50
3.01/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.01/1.57 c (1,1) Simplify CSPinCNF Begin
3.65/1.72 c (1,1) Simplify CSPinCNF End
3.65/1.72 c (1,1) CSP: 63 int (0 aux), 2632 bool (2632 aux), 4050 ctr, max domain size 50
3.65/1.72 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.65/1.73 c (1,1) Calculate Precise Domain Begin
3.65/1.73 c (1,1) 0 values are removed by re-calculation
3.65/1.73 c (1,1) Calculate Precise Domain End
3.65/1.73 c (1,1) CSP: 63 int (0 aux), 2632 bool (2632 aux), 4050 ctr, max domain size 50
3.65/1.73 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.65/1.73 c (1,1) CSPinCNF to SatSolver Begin
5.76/2.52 c (1,1) 405 (10 %) CSP clauses are encoded (5670 SAT variables, 248477 SAT clauses)
5.76/2.60 c (2,2) 810 (20 %) CSP clauses are encoded (5670 SAT variables, 261822 SAT clauses)
6.07/2.67 c (2,2) 1215 (30 %) CSP clauses are encoded (5670 SAT variables, 275187 SAT clauses)
6.29/2.74 c (2,2) 1620 (40 %) CSP clauses are encoded (5670 SAT variables, 288552 SAT clauses)
6.53/2.81 c (2,2) 2025 (50 %) CSP clauses are encoded (5670 SAT variables, 301917 SAT clauses)
6.53/2.84 c (2,2) 2430 (60 %) CSP clauses are encoded (5670 SAT variables, 315282 SAT clauses)
6.53/2.88 c (2,2) 2835 (70 %) CSP clauses are encoded (5670 SAT variables, 328647 SAT clauses)
6.68/2.91 c (2,2) 3240 (80 %) CSP clauses are encoded (5670 SAT variables, 342012 SAT clauses)
6.68/2.95 c (2,2) 3645 (90 %) CSP clauses are encoded (5670 SAT variables, 355377 SAT clauses)
6.68/2.98 c (2,2) 4050 (100 %) CSP clauses are encoded (5670 SAT variables, 368742 SAT clauses)
6.68/2.98 c (2,2) Launch Command will be: minisat_release
6.68/2.98 c (2,2) CSPinCNF to SatSolver End
6.68/2.98 c (2,2) Heap : 957 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
6.94/3.02 c (2,2) STATISTICS2:HOME/instance-4305636-1534067561.xml,AllDifferent:Dist:Eq:IntVar,2695,4050,2450,50,49,3,2450:196;50:182;49:2352,50:784;49:4998;2:5264,49:2;14:2;2:3948;1:98,3:196;2:2534;1:5390,
6.94/3.02 c (2,2) 5670 bool, 368743 clause
6.94/3.02 c (2,2) Export Begin
6.94/3.11 c (2,2) Export to HOME/scop-20856-serial-file.bin
6.94/3.11 c (2,2) Export End
7.22/3.11 c (2,2) Export File Size: 0.01 MB
7.22/3.11 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS)
7.22/3.11 c END-Prog: Sun Aug 12 11:52:44 CEST 2018
7.22/3.13 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20856-serial-file.bin
7.24/3.62 c (0,0) Read Serial File Begin
7.24/3.62 c (0,0) HOME/scop-20856-serial-file.bin
7.24/3.78 c (0,0) Read Serial File End
7.24/3.79
7.24/3.79 scop order+minisat_release (2018-07-31)
7.24/3.79 (Solving Process)
7.24/3.79
7.24/3.81 c BEGIN-Prog: Sun Aug 12 11:52:45 CEST 2018
7.24/3.81 c PID: 20874
7.24/3.81 c IP: 172.20.3.135
7.24/3.81 c HOST: node135.alineos.net
7.24/3.81 c (0,0) SatSolver.solve Begin
7.24/3.82 c (0,0) 0 bool, 0 clause
7.24/3.82 c (0,0) minisat_release HOME/instance-4305636-1534067561.xml-scop-20859.cnf
2520.02/2514.50 c (2510,0) receiving signal SIGTERM
2520.02/2514.50 c (2510,0) SatSolver is killed by some reasons.
2520.02/2514.50 s UNKNOWN
2520.02/2514.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.02/2514.51 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 (6888 MiB free)
memory of node 1: 16384 MiB (4489 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305636-1534067561/watcher-4305636-1534067561 -o /tmp/evaluation-result-4305636-1534067561/solver-4305636-1534067561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19414 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305636-1534067561.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=20856, runsolver pid=20853
[startup+0.100167 s]*
/proc/loadavg: 2.27 2.16 2.08 3/228 20873
/proc/meminfo: memFree=11589532/32770624 swapFree=67108860/67108860
[pid=20856] ppid=20853 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20856/stat : 20856 (scop.sh) S 20853 20856 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224319282 115843072 349 33554432000 4194304 5098028 140721960085904 140721960083160 139849940894332 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12288000 140721960092737 140721960092935 140721960092935 140721960095693 0
/proc/20856/statm: 28282 349 296 221 0 87 0
[pid=20859] ppid=20856 vsize=15012476 memory=73552 CPUtime=0.11 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20856 19383 0 -1 1077944320 6503 0 0 0 9 2 0 0 20 0 15 0 224319283 15372775424 18388 33554432000 4194304 4196468 140720821499632 140720821482176 139879435591415 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
/proc/20859/statm: 3753119 18388 2770 1 0 3715579 0
[pid=20859/tid=20860] ppid=20856 vsize=15012476 memory=7533807676074704953 CPUtime=0.08 cores=0,2,4,6
/proc/20859/task/20860/stat : 20860 (java) R 20856 20856 19383 0 -1 4202560 4573 0 0 0 7 1 0 0 20 0 15 0 224319283 15372775424 18388 33554432000 4194304 4196468 140720821499632 139879407403400 139879417156411 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20861] ppid=20856 vsize=15012476 memory=3472468864026080944 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 18388 33554432000 4194304 4196468 140720821499632 139879439833872 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20862] ppid=20856 vsize=15012476 memory=140567798400640 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 18388 33554432000 4194304 4196468 140720821499632 139879238609808 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20863] ppid=20856 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 18388 33554432000 4194304 4196468 140720821499632 139879237557264 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20864] ppid=20856 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 18388 33554432000 4194304 4196468 140720821499632 139879236504720 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20865] ppid=20856 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224319286 15372775424 18388 33554432000 4194304 4196468 140720821499632 139878204381168 139879435602562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20866] ppid=20856 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20856 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224319287 15372775424 18388 33554432000 4194304 4196468 140720821499632 139878092235680 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20867] ppid=20856 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319287 15372775424 18388 33554432000 4194304 4196468 140720821499632 139877823800304 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20868] ppid=20856 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224319289 15372775424 18388 33554432000 4194304 4196468 140720821499632 139877449291984 139879435610011 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20869] ppid=20856 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20856 19383 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 224319289 15372775424 18388 33554432000 4194304 4196468 140720821499632 139878203329008 139879435602562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20870] ppid=20856 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224319289 15372775424 18388 33554432000 4194304 4196468 140720821499632 139878202276464 139879435602562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20871] ppid=20856 vsize=15012476 memory=140567798400640 CPUtime=0.01 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) S 20856 20856 19383 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 15 0 224319289 15372775424 18454 33554432000 4194304 4196468 140720821499632 139878201223920 139879435602562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20872] ppid=20856 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224319289 15372775424 18454 33554432000 4194304 4196468 140720821499632 139876951387232 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20873] ppid=20856 vsize=15012476 memory=140567798400640 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319290 15372775424 18454 33554432000 4194304 4196468 140720821499632 139878200170800 139879435602562 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74948 KiB
[startup+0.210945 s]*
/proc/loadavg: 2.27 2.16 2.08 4/228 20873
/proc/meminfo: memFree=11575192/32770624 swapFree=67108860/67108860
[pid=20856] ppid=20853 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20856/stat : 20856 (scop.sh) S 20853 20856 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224319282 115843072 349 33554432000 4194304 5098028 140721960085904 140721960083160 139849940894332 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12288000 140721960092737 140721960092935 140721960092935 140721960095693 0
/proc/20856/statm: 28282 349 296 221 0 87 0
[pid=20859] ppid=20856 vsize=15012476 memory=86564 CPUtime=0.26 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20856 19383 0 -1 1077944320 10005 0 0 0 23 3 0 0 20 0 15 0 224319283 15372775424 21641 33554432000 4194304 4196468 140720821499632 140720821482176 139879435591415 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
/proc/20859/statm: 3753119 21641 2874 1 0 3715579 0
[pid=20859/tid=20860] ppid=20856 vsize=15012476 memory=8514701219881124769 CPUtime=0.2 cores=0,2,4,6
/proc/20859/task/20860/stat : 20860 (java) R 20856 20856 19383 0 -1 4202560 7895 0 0 0 18 2 0 0 20 0 15 0 224319283 15372775424 21641 33554432000 4194304 4196468 140720821499632 139879407416512 139879435603350 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20861] ppid=20856 vsize=15012476 memory=3472468864026080944 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 21641 33554432000 4194304 4196468 140720821499632 139879439833872 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20862] ppid=20856 vsize=15012476 memory=140567798400640 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 21641 33554432000 4194304 4196468 140720821499632 139879238609808 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20863] ppid=20856 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 21641 33554432000 4194304 4196468 140720821499632 139879237557264 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20864] ppid=20856 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 21641 33554432000 4194304 4196468 140720821499632 139879236504720 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20865] ppid=20856 vsize=15012476 memory=140567798400640 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224319286 15372775424 21641 33554432000 4194304 4196468 140720821499632 139878204381168 139879435602562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20866] ppid=20856 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20856 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224319287 15372775424 21641 33554432000 4194304 4196468 140720821499632 139878092235680 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20867] ppid=20856 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319287 15372775424 21641 33554432000 4194304 4196468 140720821499632 139877823800304 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20868] ppid=20856 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224319289 15372775424 21641 33554432000 4194304 4196468 140720821499632 139877449291984 139879435610011 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20869] ppid=20856 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) S 20856 20856 19383 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 224319289 15372775424 21641 33554432000 4194304 4196468 140720821499632 139878203329008 139879435602562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20870] ppid=20856 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) S 20856 20856 19383 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 224319289 15372775424 21641 33554432000 4194304 4196468 140720821499632 139878202276464 139879435602562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20871] ppid=20856 vsize=15012476 memory=140567798400640 CPUtime=0.03 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) R 20856 20856 19383 0 -1 4202560 310 0 0 0 3 0 0 0 20 0 15 0 224319289 15372775424 21641 33554432000 4194304 4196468 140720821499632 139878201223920 139879427828542 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20872] ppid=20856 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224319289 15372775424 21641 33554432000 4194304 4196468 140720821499632 139876951387232 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20873] ppid=20856 vsize=15012476 memory=140567798400640 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319290 15372775424 21641 33554432000 4194304 4196468 140720821499632 139878200170800 139879435602562 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87960 KiB
[startup+0.310943 s]*
/proc/loadavg: 2.27 2.16 2.08 3/228 20873
/proc/meminfo: memFree=11572028/32770624 swapFree=67108860/67108860
[pid=20856] ppid=20853 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20856/stat : 20856 (scop.sh) S 20853 20856 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224319282 115843072 349 33554432000 4194304 5098028 140721960085904 140721960083160 139849940894332 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12288000 140721960092737 140721960092935 140721960092935 140721960095693 0
/proc/20856/statm: 28282 349 296 221 0 87 0
[pid=20859] ppid=20856 vsize=15012476 memory=90096 CPUtime=0.42 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20856 19383 0 -1 1077944320 10532 0 0 0 39 3 0 0 20 0 15 0 224319283 15372775424 22524 33554432000 4194304 4196468 140720821499632 140720821482176 139879435591415 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
/proc/20859/statm: 3753119 22524 2978 1 0 3715579 0
[pid=20859/tid=20860] ppid=20856 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=0,2,4,6
/proc/20859/task/20860/stat : 20860 (java) R 20856 20856 19383 0 -1 4202560 8269 0 0 0 27 2 0 0 20 0 15 0 224319283 15372775424 22524 33554432000 4194304 4196468 140720821499632 139879407386416 139879435613341 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20861] ppid=20856 vsize=15012476 memory=3472468864026080944 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 22524 33554432000 4194304 4196468 140720821499632 139879439833872 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20862] ppid=20856 vsize=15012476 memory=281135434337152 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 22524 33554432000 4194304 4196468 140720821499632 139879238609808 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20863] ppid=20856 vsize=15012476 memory=281135271905312 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 22524 33554432000 4194304 4196468 140720821499632 139879237557264 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20864] ppid=20856 vsize=15012476 memory=140567635936527 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224319285 15372775424 22524 33554432000 4194304 4196468 140720821499632 139879236504720 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20865] ppid=20856 vsize=15012476 memory=281135434344064 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224319286 15372775424 22524 33554432000 4194304 4196468 140720821499632 139878204381168 139879435602562 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20866] ppid=20856 vsize=15012476 memory=140567635941135 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20856 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224319287 15372775424 22524 33554432000 4194304 4196468 140720821499632 139878092235680 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20867] ppid=20856 vsize=15012476 memory=140567635964179 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319287 15372775424 22524 33554432000 4194304 4196468 140720821499632 139877823800304 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20868] ppid=20856 vsize=15012476 memory=281135271914528 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224319289 15372775424 22524 33554432000 4194304 4196468 140720821499632 139877449291984 139879435610011 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20869] ppid=20856 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) R 20856 20856 19383 0 -1 1077944384 560 0 0 0 3 0 0 0 20 0 15 0 224319289 15372775424 22524 33554432000 4194304 4196468 140720821499632 139878203329008 139879435602562 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20870] ppid=20856 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) R 20856 20856 19383 0 -1 4202560 44 0 0 0 1 0 0 0 20 0 15 0 224319289 15372775424 22524 33554432000 4194304 4196468 140720821499632 139878202276560 139879419077349 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20871] ppid=20856 vsize=15012476 memory=140567798400640 CPUtime=0.07 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) R 20856 20856 19383 0 -1 4202560 329 0 0 0 7 0 0 0 20 0 15 0 224319289 15372775424 22524 33554432000 4194304 4196468 140720821499632 139878201223920 139879414946303 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20872] ppid=20856 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224319289 15372775424 22524 33554432000 4194304 4196468 140720821499632 139876951387232 139879435601621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20873] ppid=20856 vsize=15012476 memory=140567798402036 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319290 15372775424 22524 33554432000 4194304 4196468 140720821499632 139878200170800 139879435602562 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91492 KiB
[startup+0.700973 s]
/proc/loadavg: 2.27 2.16 2.08 3/228 20873
/proc/meminfo: memFree=11547596/32770624 swapFree=67108860/67108860
[pid=20856] ppid=20853 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20856/stat : 20856 (scop.sh) S 20853 20856 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224319282 115843072 349 33554432000 4194304 5098028 140721960085904 140721960083160 139849940894332 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12288000 140721960092737 140721960092935 140721960092935 140721960095693 0
/proc/20856/statm: 28282 349 296 221 0 87 0
[pid=20859] ppid=20856 vsize=15020872 memory=129596 CPUtime=1 cores=0,2,4,6
/proc/20859/stat : 20859 (java) S 20856 20856 19383 0 -1 1077944320 17620 0 0 0 95 5 0 0 20 0 15 0 224319283 15381372928 32399 33554432000 4194304 4196468 140720821499632 140720821482176 139879435591415 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
/proc/20859/statm: 3755218 32399 3147 1 0 3716603 0
[pid=20859/tid=20860] ppid=20856 vsize=15020872 memory=57 CPUtime=0.67 cores=0,2,4,6
/proc/20859/task/20860/stat : 20860 (java) R 20856 20856 19383 0 -1 4202560 14899 0 0 0 63 4 0 0 20 0 15 0 224319283 15381372928 32399 33554432000 4194304 4196468 140720821499632 139879407423952 139879419671902 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20861] ppid=20856 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20861/stat : 20861 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15381372928 32399 33554432000 4194304 4196468 140720821499632 139879439833872 139879435601621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20862] ppid=20856 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20862/stat : 20862 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15381372928 32399 33554432000 4194304 4196468 140720821499632 139879238609808 139879435601621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20863] ppid=20856 vsize=15020872 memory=7518566439143952992 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20863/stat : 20863 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319285 15381372928 32399 33554432000 4194304 4196468 140720821499632 139879237557264 139879435601621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20864] ppid=20856 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20864/stat : 20864 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224319285 15381372928 32399 33554432000 4194304 4196468 140720821499632 139879236504720 139879435601621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20865] ppid=20856 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20865/stat : 20865 (java) S 20856 20856 19383 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224319286 15381372928 32399 33554432000 4194304 4196468 140720821499632 139878204381168 139879435602562 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20866] ppid=20856 vsize=15020872 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20866/stat : 20866 (java) S 20856 20856 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224319287 15381372928 32399 33554432000 4194304 4196468 140720821499632 139878092235680 139879435601621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20867] ppid=20856 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20867/stat : 20867 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319287 15381372928 32399 33554432000 4194304 4196468 140720821499632 139877823800304 139879435601621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20868] ppid=20856 vsize=15020872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20868/stat : 20868 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224319289 15381372928 32399 33554432000 4194304 4196468 140720821499632 139877449291984 139879435610011 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20869] ppid=20856 vsize=15020872 memory=12144 CPUtime=0.08 cores=0,2,4,6
/proc/20859/task/20869/stat : 20869 (java) R 20856 20856 19383 0 -1 4202560 655 0 0 0 8 0 0 0 20 0 15 0 224319289 15381372928 32399 33554432000 4194304 4196468 140720821499632 139878203319392 139879420717407 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20870] ppid=20856 vsize=15020872 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/20859/task/20870/stat : 20870 (java) S 20856 20856 19383 0 -1 1077944384 309 0 0 0 7 0 0 0 20 0 15 0 224319289 15381372928 32399 33554432000 4194304 4196468 140720821499632 139878202276464 139879435602562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20871] ppid=20856 vsize=15020872 memory=8812 CPUtime=0.15 cores=0,2,4,6
/proc/20859/task/20871/stat : 20871 (java) S 20856 20856 19383 0 -1 1077944384 422 0 0 0 15 0 0 0 20 0 15 0 224319289 15381372928 32399 33554432000 4194304 4196468 140720821499632 139878201223920 139879435602562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20872] ppid=20856 vsize=15020872 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20872/stat : 20872 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224319289 15381372928 32399 33554432000 4194304 4196468 140720821499632 139876951387232 139879435601621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
[pid=20859/tid=20873] ppid=20856 vsize=15020872 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/20859/task/20873/stat : 20873 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224319290 15381372928 32399 33554432000 4194304 4196468 140720821499632 139878200170800 139879435602562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24899584 140720821502983 140720821503281 140720821503281 140720821505999 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130992 KiB
[startup+1.50087 s]
/proc/loadavg: 2.17 2.14 2.07 5/228 20873
/proc/meminfo: memFree=11521736/32770624 swapFree=67108860/67108860
[pid=20856] ppid=20853 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/20856/stat : 20856 (scop.sh) S 20853 20856 19383 0 -1 4202496 560 322 0 0 0 0 0 0 20 0 1 0 224319282 115843072 349 33554432000 4194304 5098028 140721960085904 140721960083160 139849940894332 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12288000 140721960092737 140721960092935 140721960092935 140721960095693 0
/proc/20856/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=20874/tid=20877] ppid=20856 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20877/stat : 20877 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224319597 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758268361488 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20878] ppid=20856 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20878/stat : 20878 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224319597 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758267309200 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20879] ppid=20856 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20879/stat : 20879 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224319598 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758266256400 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20880] ppid=20856 vsize=8068220 memory=1472 CPUtime=0.04 cores=0,2,4,6
/proc/20874/task/20880/stat : 20880 (java) S 20856 20856 19383 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224319599 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757909670000 139758463961730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20881] ppid=20856 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20881/stat : 20881 (java) S 20856 20856 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224319599 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757363389216 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20882] ppid=20856 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20882/stat : 20882 (java) S 20856 20856 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224319600 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757229167728 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20883] ppid=20856 vsize=8068220 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20883/stat : 20883 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139756854663248 139758463969179 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20884] ppid=20856 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/20874/task/20884/stat : 20884 (java) S 20856 20856 19383 0 -1 1077944384 615 0 0 0 7 1 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757908617840 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20885] ppid=20856 vsize=8068220 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/20874/task/20885/stat : 20885 (java) S 20856 20856 19383 0 -1 1077944384 328 0 0 0 10 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757907565040 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20886] ppid=20856 vsize=8068220 memory=118284 CPUtime=0.18 cores=0,2,4,6
/proc/20874/task/20886/stat : 20886 (java) S 20856 20856 19383 0 -1 1077944384 489 0 0 0 18 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757906512752 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20887] ppid=20856 vsize=8068220 memory=3560 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20887/stat : 20887 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139756356758496 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20888] ppid=20856 vsize=8068220 memory=1472 CPUtime=1.22 cores=0,2,4,6
/proc/20874/task/20888/stat : 20888 (java) S 20856 20856 19383 0 -1 1077944384 167 0 0 0 60 62 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757905459632 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20890] ppid=20856 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20890/stat : 20890 (java) S 20856 20856 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224319666 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758236251072 139758463975193 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20892] ppid=20856 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20892/stat : 20892 (java) S 20856 20856 19383 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224319667 8261857280 29571 33554432000 4194304 4196468 140722708691984 139755819871760 139758463972509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20893] ppid=20856 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20893/stat : 20893 (java) S 20856 20856 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224319667 8261857280 29571 33554432000 4194304 4196468 140722708691984 139755954093968 139758463972509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20894] ppid=20856 vsize=8068220 memory=103500 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20894/stat : 20894 (java) S 20856 20856 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224319669 8261857280 29571 33554432000 4194304 4196468 140722708691984 139755551448480 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
Current children cumulated CPU time: 2507.82 s
Current children cumulated vsize: 8301356 KiB
Current children cumulated memory: 223256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.5 s]
/proc/loadavg: 2.08 2.15 2.10 3/230 21292
/proc/meminfo: memFree=11424316/32770624 swapFree=67108860/67108860
[pid=20856] ppid=20853 vsize=113128 memory=1472 CPUtime=7.24 cores=0,2,4,6
/proc/20856/stat : 20856 (scop.sh) S 20853 20856 19383 0 -1 4202496 591 26645 0 0 0 0 700 24 20 0 1 0 224319282 115843072 368 33554432000 4194304 5098028 140721960085904 140721960082648 139849940894332 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12288000 140721960092737 140721960092935 140721960092935 140721960095693 0
/proc/20856/statm: 28282 368 311 221 0 87 0
[pid=20874] ppid=20856 vsize=8068220 memory=118284 CPUtime=2.41 cores=0,2,4,6
/proc/20874/stat : 20874 (java) S 20856 20856 19383 0 -1 1077944320 17895 0 0 0 177 64 0 0 20 0 19 0 224319596 8261857280 29571 33554432000 4194304 4196468 140722708691984 140722708674528 139758463950583 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
/proc/20874/statm: 2017055 29571 3150 1 0 1978454 0
[pid=20889] ppid=20874 vsize=120008 memory=103500 CPUtime=2510.37 cores=0,2,4,6
/proc/20889/stat : 20889 (minisat_release) R 20874 20856 19383 0 -1 4202496 285241 0 0 0 251019 18 0 0 20 0 1 0 224319666 122888192 25875 33554432000 4194304 4308513 140731994932864 140731994929088 4275941 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 32722944 140731994940532 140731994940630 140731994940630 140731994943429 0
/proc/20889/statm: 30002 25875 341 28 0 26242 0
[pid=20874/tid=20875] ppid=20856 vsize=8068220 memory=118284 CPUtime=0.73 cores=0,2,4,6
/proc/20874/task/20875/stat : 20875 (java) S 20856 20856 19383 0 -1 1077944384 14884 0 0 0 70 3 0 0 20 0 19 0 224319596 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758435790736 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20876] ppid=20856 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20876/stat : 20876 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224319597 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758468193168 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20877] ppid=20856 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20877/stat : 20877 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224319597 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758268361488 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20878] ppid=20856 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20878/stat : 20878 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224319597 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758267309200 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20879] ppid=20856 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20879/stat : 20879 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224319598 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758266256400 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20880] ppid=20856 vsize=8068220 memory=281135272999024 CPUtime=0.04 cores=0,2,4,6
/proc/20874/task/20880/stat : 20880 (java) S 20856 20856 19383 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224319599 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757909670000 139758463961730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20881] ppid=20856 vsize=8068220 memory=65 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20881/stat : 20881 (java) S 20856 20856 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224319599 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757363389216 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20882] ppid=20856 vsize=8068220 memory=7084821273655853161 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20882/stat : 20882 (java) S 20856 20856 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224319600 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757229167728 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20883] ppid=20856 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20883/stat : 20883 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139756854663248 139758463969179 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20884] ppid=20856 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/20874/task/20884/stat : 20884 (java) S 20856 20856 19383 0 -1 1077944384 615 0 0 0 7 1 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757908617840 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20885] ppid=20856 vsize=8068220 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/20874/task/20885/stat : 20885 (java) S 20856 20856 19383 0 -1 1077944384 328 0 0 0 10 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757907565040 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20886] ppid=20856 vsize=8068220 memory=118284 CPUtime=0.18 cores=0,2,4,6
/proc/20874/task/20886/stat : 20886 (java) S 20856 20856 19383 0 -1 1077944384 489 0 0 0 18 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757906512752 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20887] ppid=20856 vsize=8068220 memory=18220 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20887/stat : 20887 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139756356758496 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20888] ppid=20856 vsize=8068220 memory=1788 CPUtime=1.23 cores=0,2,4,6
/proc/20874/task/20888/stat : 20888 (java) S 20856 20856 19383 0 -1 1077944384 169 0 0 0 61 62 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757905459632 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20890] ppid=20856 vsize=8068220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20890/stat : 20890 (java) S 20856 20856 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224319666 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758236251072 139758463975193 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20892] ppid=20856 vsize=8068220 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20892/stat : 20892 (java) S 20856 20856 19383 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224319667 8261857280 29571 33554432000 4194304 4196468 140722708691984 139755819871760 139758463972509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20893] ppid=20856 vsize=8068220 memory=-7824251494390781539 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20893/stat : 20893 (java) S 20856 20856 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224319667 8261857280 29571 33554432000 4194304 4196468 140722708691984 139755954093968 139758463972509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20894] ppid=20856 vsize=8068220 memory=103500 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20894/stat : 20894 (java) S 20856 20856 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224319669 8261857280 29571 33554432000 4194304 4196468 140722708691984 139755551448480 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8301356 KiB
Current children cumulated memory: 223256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.51 s]
# the end of solver process 20856 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.00684 s, system=0.249834 s
[startup+2514.51 s]
# the end of solver process 20874 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.98 s, system=1.092 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.5 s]
/proc/loadavg: 2.08 2.15 2.10 3/230 21292
/proc/meminfo: memFree=11424316/32770624 swapFree=67108860/67108860
[pid=20856] ppid=20853 vsize=113128 memory=1472 CPUtime=7.24 cores=0,2,4,6
/proc/20856/stat : 20856 (scop.sh) S 20853 20856 19383 0 -1 4202496 591 26645 0 0 0 0 700 24 20 0 1 0 224319282 115843072 368 33554432000 4194304 5098028 140721960085904 140721960082648 139849940894332 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 12288000 140721960092737 140721960092935 140721960092935 140721960095693 0
/proc/20856/statm: 28282 368 311 221 0 87 0
[pid=20874] ppid=20856 vsize=8068220 memory=118284 CPUtime=2.41 cores=0,2,4,6
/proc/20874/stat : 20874 (java) S 20856 20856 19383 0 -1 1077944320 17895 0 0 0 177 64 0 0 20 0 19 0 224319596 8261857280 29571 33554432000 4194304 4196468 140722708691984 140722708674528 139758463950583 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
/proc/20874/statm: 2017055 29571 3150 1 0 1978454 0
[pid=20889] ppid=20874 vsize=120008 memory=103500 CPUtime=2510.37 cores=0,2,4,6
/proc/20889/stat : 20889 (minisat_release) R 20874 20856 19383 0 -1 4202496 285241 0 0 0 251019 18 0 0 20 0 1 0 224319666 122888192 25875 33554432000 4194304 4308513 140731994932864 140731994929088 4275941 0 4 0 8396802 0 0 0 17 0 0 0 0 0 0 6409496 6410680 32722944 140731994940532 140731994940630 140731994940630 140731994943429 0
/proc/20889/statm: 30002 25875 341 28 0 26242 0
[pid=20874/tid=20875] ppid=20856 vsize=8068220 memory=118284 CPUtime=0.73 cores=0,2,4,6
/proc/20874/task/20875/stat : 20875 (java) S 20856 20856 19383 0 -1 1077944384 14884 0 0 0 70 3 0 0 20 0 19 0 224319596 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758435790736 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20876] ppid=20856 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20876/stat : 20876 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224319597 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758468193168 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20877] ppid=20856 vsize=8068220 memory=118284 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20877/stat : 20877 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224319597 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758268361488 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20878] ppid=20856 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20878/stat : 20878 (java) S 20856 20856 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224319597 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758267309200 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20879] ppid=20856 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20879/stat : 20879 (java) S 20856 20856 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224319598 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758266256400 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20880] ppid=20856 vsize=8068220 memory=281135272999024 CPUtime=0.04 cores=0,2,4,6
/proc/20874/task/20880/stat : 20880 (java) S 20856 20856 19383 0 -1 1077944384 7 0 0 0 2 2 0 0 20 0 19 0 224319599 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757909670000 139758463961730 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20881] ppid=20856 vsize=8068220 memory=65 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20881/stat : 20881 (java) S 20856 20856 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224319599 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757363389216 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20882] ppid=20856 vsize=8068220 memory=7084821273655853161 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20882/stat : 20882 (java) S 20856 20856 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224319600 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757229167728 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20883] ppid=20856 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20883/stat : 20883 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139756854663248 139758463969179 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20884] ppid=20856 vsize=8068220 memory=1472 CPUtime=0.08 cores=0,2,4,6
/proc/20874/task/20884/stat : 20884 (java) S 20856 20856 19383 0 -1 1077944384 615 0 0 0 7 1 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757908617840 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20885] ppid=20856 vsize=8068220 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/20874/task/20885/stat : 20885 (java) S 20856 20856 19383 0 -1 1077944384 328 0 0 0 10 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757907565040 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20886] ppid=20856 vsize=8068220 memory=118284 CPUtime=0.18 cores=0,2,4,6
/proc/20874/task/20886/stat : 20886 (java) S 20856 20856 19383 0 -1 1077944384 489 0 0 0 18 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757906512752 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20887] ppid=20856 vsize=8068220 memory=18220 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20887/stat : 20887 (java) S 20856 20856 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139756356758496 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20888] ppid=20856 vsize=8068220 memory=1788 CPUtime=1.23 cores=0,2,4,6
/proc/20874/task/20888/stat : 20888 (java) S 20856 20856 19383 0 -1 1077944384 169 0 0 0 61 62 0 0 20 0 19 0 224319602 8261857280 29571 33554432000 4194304 4196468 140722708691984 139757905459632 139758463961730 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20890] ppid=20856 vsize=8068220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20890/stat : 20890 (java) S 20856 20856 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224319666 8261857280 29571 33554432000 4194304 4196468 140722708691984 139758236251072 139758463975193 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20892] ppid=20856 vsize=8068220 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20892/stat : 20892 (java) S 20856 20856 19383 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224319667 8261857280 29571 33554432000 4194304 4196468 140722708691984 139755819871760 139758463972509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20893] ppid=20856 vsize=8068220 memory=-7824251494390781539 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20893/stat : 20893 (java) S 20856 20856 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224319667 8261857280 29571 33554432000 4194304 4196468 140722708691984 139755954093968 139758463972509 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
[pid=20874/tid=20894] ppid=20856 vsize=8068220 memory=103500 CPUtime=0 cores=0,2,4,6
/proc/20874/task/20894/stat : 20894 (java) S 20856 20856 19383 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 224319669 8261857280 29571 33554432000 4194304 4196468 140722708691984 139755551448480 139758463960789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10346496 140722708694197 140722708694321 140722708694321 140722708697039 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 8301356 KiB
Current children cumulated memory: 223256 KiB
Child status: 1
Real time (s): 2514.51
CPU time (s): 2520.07
CPU user time (s): 2518.98
CPU system time (s): 1.092
CPU usage (%): 100.221
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 978532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.98
system time used= 1.092
maximum resident set size= 979496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59362
involuntary context switches= 2165
# summary of solver processes directly reported to runsolver:
# pid: 20856,20874
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.98
# total CPU system time (s): 1.092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6029 second user time and 28.3323 second system time
The end