0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-21995-serial-file.bin HOME/instance-4305456-1534078325.xml
0.55/0.52
0.66/0.52 scop order+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 14:52:06 CEST 2018
0.66/0.54 c PID: 21998
0.66/0.54 c IP: 172.20.3.107
0.66/0.54 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.52/0.94 c (0,0) Parsing End
1.52/0.94 c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 157 ctr, max domain size 128
1.52/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.52/0.94 c (0,0) Constraint Name Generate Begin
1.52/0.95 c (0,0) Ctr:HOME/instance-4305456-1534078325.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.52/0.95 c (0,0) Constraint Name Generate End
1.52/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.52/0.95 c (0,0) CSP to CSPinCNF Begin
9.64/3.93 c (3,3) translated 16 (10%) constraints
11.91/5.91 c (5,5) translated 32 (20%) constraints
13.92/7.87 c (7,7) translated 48 (30%) constraints
16.42/9.74 c (9,9) translated 63 (40%) constraints
18.31/11.52 c (11,10) translated 79 (50%) constraints
20.13/13.30 c (12,12) translated 95 (60%) constraints
22.82/15.24 c (14,14) translated 110 (70%) constraints
23.52/15.92 c (15,14) translated 126 (80%) constraints
23.52/15.93 c (15,14) translated 142 (90%) constraints
23.52/15.94 c (15,14) translated 157 (100%) constraints
25.58/16.90 c (16,15) STATISTICS1:HOME/instance-4305456-1534078325.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,14292,362437,123,125,126,2,123:1;121:65;115:165;103:630,125:291;123:6137;121:82096;115:191790;103:415682;2:375516,126:114;42:2;3:332538;2:29782;1:1,2:861;1:1069790;0:115,
25.58/16.90 c (16,15) ==========================================
25.58/16.90 c (16,15) Order
25.58/16.90 c (16,15) ==========================================
27.04/17.49 c (16,16) translated 36244 (10%) constraints
28.58/18.17 c (17,16) translated 72488 (20%) constraints
29.02/18.58 c (18,17) translated 108732 (30%) constraints
29.42/18.99 c (18,17) translated 144975 (40%) constraints
29.85/19.39 c (18,18) translated 181219 (50%) constraints
30.25/19.79 c (19,18) translated 217463 (60%) constraints
30.75/20.20 c (19,18) translated 253706 (70%) constraints
31.15/20.60 c (20,19) translated 289950 (80%) constraints
31.45/21.00 c (20,19) translated 326194 (90%) constraints
31.96/21.41 c (20,20) translated 362437 (100%) constraints
31.96/21.41 c (20,20) CSP to CSPinCNF End
31.96/21.42 c (20,20) CSP: 42 int (0 aux), 14250 bool (14250 aux), 362437 ctr, max domain size 125
31.96/21.42 c (20,20) Heap : 1702 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
31.96/21.42 c (20,20) CSPinCNF Propagation Begin
41.62/28.58 c (28,26) 0 values, 13183 unsatisfiable literals, and 13070 valid clauses are removed
41.62/28.58 c (28,26) CSPinCNF Propagation End
41.62/28.59 c (28,26) CSP: 42 int (0 aux), 14250 bool (14250 aux), 349367 ctr, max domain size 125
41.62/28.59 c (28,26) Heap : 2903 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
41.62/28.59 c (28,26) Simplify CSPinCNF Begin
42.33/29.01 c (28,27) Simplify CSPinCNF End
42.33/29.02 c (28,27) CSP: 42 int (0 aux), 15972 bool (15972 aux), 351089 ctr, max domain size 125
42.33/29.02 c (28,27) Heap : 3127 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
42.33/29.02 c (28,27) Calculate Precise Domain Begin
42.33/29.02 c (28,27) 0 values are removed by re-calculation
42.33/29.02 c (28,27) Calculate Precise Domain End
42.33/29.02 c (28,27) CSP: 42 int (0 aux), 15972 bool (15972 aux), 351089 ctr, max domain size 125
42.33/29.02 c (28,27) Heap : 3127 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
42.33/29.02 c (28,27) CSPinCNF to SatSolver Begin
44.70/30.01 c (29,27) 35109 (10 %) CSP clauses are encoded (20598 SAT variables, 221676 SAT clauses)
44.98/30.17 c (29,28) 70218 (20 %) CSP clauses are encoded (20598 SAT variables, 256785 SAT clauses)
45.17/30.34 c (29,28) 105327 (30 %) CSP clauses are encoded (20598 SAT variables, 291894 SAT clauses)
45.38/30.50 c (29,28) 140436 (40 %) CSP clauses are encoded (20598 SAT variables, 327003 SAT clauses)
45.46/30.69 c (30,28) 175545 (50 %) CSP clauses are encoded (20598 SAT variables, 362112 SAT clauses)
45.67/30.86 c (30,28) 210654 (60 %) CSP clauses are encoded (20598 SAT variables, 397221 SAT clauses)
45.89/31.03 c (30,28) 245763 (70 %) CSP clauses are encoded (20598 SAT variables, 432330 SAT clauses)
45.99/31.19 c (30,29) 280872 (80 %) CSP clauses are encoded (20598 SAT variables, 467439 SAT clauses)
46.17/31.36 c (30,29) 315981 (90 %) CSP clauses are encoded (20598 SAT variables, 502548 SAT clauses)
46.37/31.53 c (31,29) 351089 (100 %) CSP clauses are encoded (20598 SAT variables, 537656 SAT clauses)
46.37/31.53 c (31,29) Launch Command will be: minisat_release
46.37/31.53 c (31,29) CSPinCNF to SatSolver End
46.37/31.53 c (31,29) Heap : 2281 MiB used (max 10864 MiB), NonHeap : 29 MiB used (max 0 MiB)
48.45/32.54 c (32,30) STATISTICS2:HOME/instance-4305456-1534078325.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,16014,351089,123,125,125,2,123:2;121:130;115:330;103:1260,125:332;123:6162;121:81912;115:188876;103:394298;2:365932,125:114;42:2;3:319510;2:31463,2:1722;1:1034068,
48.45/32.54 c (32,30) 20598 bool, 537657 clause
48.45/32.54 c (32,30) Export Begin
48.59/32.64 c (32,30) Export to HOME/scop-21995-serial-file.bin
48.59/32.64 c (32,30) Export End
48.59/32.64 c (32,30) Export File Size: 0.04 MB
48.59/32.64 c (32,30) 0,0,20,28,28,28,31,STOP-AFTER(DIMACS)
48.59/32.64 c END-Prog: Sun Aug 12 14:52:38 CEST 2018
48.59/32.68 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21995-serial-file.bin
49.28/33.18 c (0,0) Read Serial File Begin
49.28/33.18 c (0,0) HOME/scop-21995-serial-file.bin
49.53/33.36 c (0,0) Read Serial File End
49.53/33.38
49.53/33.38 scop order+minisat_release (2018-07-31)
49.53/33.38 (Solving Process)
49.53/33.38
49.70/33.40 c BEGIN-Prog: Sun Aug 12 14:52:39 CEST 2018
49.70/33.40 c PID: 22013
49.70/33.40 c IP: 172.20.3.107
49.70/33.40 c HOST: node107.alineos.net
49.70/33.40 c (0,0) SatSolver.solve Begin
49.70/33.40 c (0,0) 0 bool, 0 clause
49.70/33.40 c (0,0) minisat_release HOME/instance-4305456-1534078325.xml-scop-21998.cnf
2520.01/2501.50 c (2468,0) SatSolver is killed by some reasons.
2520.01/2501.50 c (2468,0) receiving signal SIGTERM
2520.01/2501.50 s UNKNOWN
2520.01/2501.51 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2501.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 (12976 MiB free)
memory of node 1: 16384 MiB (11150 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305456-1534078325/watcher-4305456-1534078325 -o /tmp/evaluation-result-4305456-1534078325/solver-4305456-1534078325 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305456-1534078325.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21995, runsolver pid=21992
Current StackSize limit: 8192 KiB
[startup+0.100169 s]*
/proc/loadavg: 2.10 2.85 3.32 4/223 22012
/proc/meminfo: memFree=24649084/32770624 swapFree=67108860/67108860
[pid=21995] ppid=21992 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21995/stat : 21995 (scop.sh) S 21992 21995 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225395734 115843072 348 33554432000 4194304 5098028 140728794431088 140728794428344 140406915105404 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34267136 140728794432576 140728794432775 140728794432775 140728794435533 0
/proc/21995/statm: 28282 348 296 221 0 87 0
[pid=21998] ppid=21995 vsize=15012476 memory=70624 CPUtime=0.11 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21995 21995 16605 0 -1 1077944320 6271 0 0 0 9 2 0 0 20 0 15 0 225395734 15372775424 17656 33554432000 4194304 4196468 140722220676624 140722220659168 140040311361271 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
/proc/21998/statm: 3753119 17656 2770 1 0 3715579 0
[pid=21998/tid=21999] ppid=21995 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=0,2,4,6
/proc/21998/task/21999/stat : 21999 (java) R 21995 21995 16605 0 -1 4202560 4381 0 0 0 7 1 0 0 20 0 15 0 225395735 15372775424 17656 33554432000 4194304 4196468 140722220676624 140040283173256 140040291637020 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22000] ppid=21995 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 17656 33554432000 4194304 4196468 140722220676624 140040315603344 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22001] ppid=21995 vsize=15012476 memory=140282052109952 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 17656 33554432000 4194304 4196468 140722220676624 140040106686736 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22002] ppid=21995 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 17722 33554432000 4194304 4196468 140722220676624 140040105634448 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22003] ppid=21995 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 17722 33554432000 4194304 4196468 140722220676624 140040104581648 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22004] ppid=21995 vsize=15012476 memory=140282052109952 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225395738 15372775424 17722 33554432000 4194304 4196468 140722220676624 140039281412720 140040311372418 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22005] ppid=21995 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21995 21995 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225395738 15372775424 17722 33554432000 4194304 4196468 140722220676624 140038750856480 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22006] ppid=21995 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21995 21995 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225395739 15372775424 17722 33554432000 4194304 4196468 140722220676624 140038616634992 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22007] ppid=21995 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 17722 33554432000 4194304 4196468 140722220676624 140038242130512 140040311379867 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22008] ppid=21995 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) S 21995 21995 16605 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 17722 33554432000 4194304 4196468 140722220676624 140039280359536 140040311372418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22009] ppid=21995 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 17722 33554432000 4194304 4196468 140722220676624 140039279306736 140040311372418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22010] ppid=21995 vsize=15012476 memory=140282052109952 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) S 21995 21995 16605 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 17722 33554432000 4194304 4196468 140722220676624 140039278254448 140040311372418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22011] ppid=21995 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 17722 33554432000 4194304 4196468 140722220676624 140037744224736 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22012] ppid=21995 vsize=15012476 memory=140282052109952 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 17722 33554432000 4194304 4196468 140722220676624 140039277202352 140040311372418 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72016 KiB
[startup+0.210687 s]*
/proc/loadavg: 2.10 2.85 3.32 3/223 22012
/proc/meminfo: memFree=24635100/32770624 swapFree=67108860/67108860
[pid=21995] ppid=21992 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21995/stat : 21995 (scop.sh) S 21992 21995 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225395734 115843072 348 33554432000 4194304 5098028 140728794431088 140728794428344 140406915105404 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34267136 140728794432576 140728794432775 140728794432775 140728794435533 0
/proc/21995/statm: 28282 348 296 221 0 87 0
[pid=21998] ppid=21995 vsize=15012476 memory=83688 CPUtime=0.25 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21995 21995 16605 0 -1 1077944320 9784 0 0 0 22 3 0 0 20 0 15 0 225395734 15372775424 20922 33554432000 4194304 4196468 140722220676624 140722220659168 140040311361271 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
/proc/21998/statm: 3753119 20922 2868 1 0 3715579 0
[pid=21998/tid=21999] ppid=21995 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/21998/task/21999/stat : 21999 (java) R 21995 21995 16605 0 -1 4202560 7669 0 0 0 17 2 0 0 20 0 15 0 225395735 15372775424 20922 33554432000 4194304 4196468 140722220676624 140040283170016 140040311373206 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22000] ppid=21995 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 20922 33554432000 4194304 4196468 140722220676624 140040315603344 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22001] ppid=21995 vsize=15012476 memory=3544530600442881696 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 20922 33554432000 4194304 4196468 140722220676624 140040106686736 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22002] ppid=21995 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 20922 33554432000 4194304 4196468 140722220676624 140040105634448 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22003] ppid=21995 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 20922 33554432000 4194304 4196468 140722220676624 140040104581648 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22004] ppid=21995 vsize=15012476 memory=140282052109952 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225395738 15372775424 20922 33554432000 4194304 4196468 140722220676624 140039281412720 140040311372418 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22005] ppid=21995 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21995 21995 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225395738 15372775424 20922 33554432000 4194304 4196468 140722220676624 140038750856480 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22006] ppid=21995 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21995 21995 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225395739 15372775424 20922 33554432000 4194304 4196468 140722220676624 140038616634992 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22007] ppid=21995 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 20922 33554432000 4194304 4196468 140722220676624 140038242130512 140040311379867 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22008] ppid=21995 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) R 21995 21995 16605 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 225395741 15372775424 20922 33554432000 4194304 4196468 140722220676624 140039280359536 140040311373206 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22009] ppid=21995 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) R 21995 21995 16605 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 20922 33554432000 4194304 4196468 140722220676624 140039279306736 140040311372418 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22010] ppid=21995 vsize=15012476 memory=140282052109952 CPUtime=0.03 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) R 21995 21995 16605 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 225395741 15372775424 20922 33554432000 4194304 4196468 140722220676624 140039278254448 140040311373206 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22011] ppid=21995 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 20922 33554432000 4194304 4196468 140722220676624 140037744224736 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22012] ppid=21995 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 20922 33554432000 4194304 4196468 140722220676624 140039277202352 140040311372418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85080 KiB
[startup+0.310832 s]*
/proc/loadavg: 2.10 2.85 3.32 3/223 22012
/proc/meminfo: memFree=24631440/32770624 swapFree=67108860/67108860
[pid=21995] ppid=21992 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21995/stat : 21995 (scop.sh) S 21992 21995 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225395734 115843072 348 33554432000 4194304 5098028 140728794431088 140728794428344 140406915105404 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34267136 140728794432576 140728794432775 140728794432775 140728794435533 0
/proc/21995/statm: 28282 348 296 221 0 87 0
[pid=21998] ppid=21995 vsize=15012476 memory=87636 CPUtime=0.43 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21995 21995 16605 0 -1 1077944320 10397 0 0 0 39 4 0 0 20 0 15 0 225395734 15372775424 21909 33554432000 4194304 4196468 140722220676624 140722220659168 140040311361271 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
/proc/21998/statm: 3753119 21909 2973 1 0 3715579 0
[pid=21998/tid=21999] ppid=21995 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/21998/task/21999/stat : 21999 (java) R 21995 21995 16605 0 -1 4202560 8105 0 0 0 27 3 0 0 20 0 15 0 225395735 15372775424 21909 33554432000 4194304 4196468 140722220676624 140040283156272 140039774398189 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22000] ppid=21995 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 21909 33554432000 4194304 4196468 140722220676624 140040315603344 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22001] ppid=21995 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 21909 33554432000 4194304 4196468 140722220676624 140040106686736 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22002] ppid=21995 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 21909 33554432000 4194304 4196468 140722220676624 140040105634448 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22003] ppid=21995 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15372775424 21909 33554432000 4194304 4196468 140722220676624 140040104581648 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22004] ppid=21995 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225395738 15372775424 21909 33554432000 4194304 4196468 140722220676624 140039281412720 140040311372418 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22005] ppid=21995 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21995 21995 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225395738 15372775424 21909 33554432000 4194304 4196468 140722220676624 140038750856480 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22006] ppid=21995 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21995 21995 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225395739 15372775424 21909 33554432000 4194304 4196468 140722220676624 140038616634992 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22007] ppid=21995 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 21909 33554432000 4194304 4196468 140722220676624 140038242130512 140040311379867 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22008] ppid=21995 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) R 21995 21995 16605 0 -1 4202560 369 0 0 0 1 0 0 0 20 0 15 0 225395741 15372775424 21909 33554432000 4194304 4196468 140722220676624 140039280359536 140040292061568 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22009] ppid=21995 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) R 21995 21995 16605 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 15 0 225395741 15372775424 21909 33554432000 4194304 4196468 140722220676624 140039279306736 140040311372418 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22010] ppid=21995 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) R 21995 21995 16605 0 -1 4202560 331 0 0 0 7 0 0 0 20 0 15 0 225395741 15372775424 21909 33554432000 4194304 4196468 140722220676624 140039278254448 140040294719569 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22011] ppid=21995 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 21909 33554432000 4194304 4196468 140722220676624 140037744224736 140040311371477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22012] ppid=21995 vsize=15012476 memory=3977302101095161905 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395741 15372775424 21909 33554432000 4194304 4196468 140722220676624 140039277202352 140040311372418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89028 KiB
[startup+0.701069 s]
/proc/loadavg: 2.10 2.85 3.32 3/223 22012
/proc/meminfo: memFree=24607452/32770624 swapFree=67108860/67108860
[pid=21995] ppid=21992 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21995/stat : 21995 (scop.sh) S 21992 21995 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225395734 115843072 348 33554432000 4194304 5098028 140728794431088 140728794428344 140406915105404 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34267136 140728794432576 140728794432775 140728794432775 140728794435533 0
/proc/21995/statm: 28282 348 296 221 0 87 0
[pid=21998] ppid=21995 vsize=15020872 memory=127988 CPUtime=1.01 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21995 21995 16605 0 -1 1077944320 17609 0 0 0 96 5 0 0 20 0 15 0 225395734 15381372928 31997 33554432000 4194304 4196468 140722220676624 140722220659168 140040311361271 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
/proc/21998/statm: 3755218 31997 3165 1 0 3716603 0
[pid=21998/tid=21999] ppid=21995 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/21998/task/21999/stat : 21999 (java) R 21995 21995 16605 0 -1 4202560 14856 0 0 0 63 4 0 0 20 0 15 0 225395735 15381372928 31997 33554432000 4194304 4196468 140722220676624 140040283198112 140040295441758 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22000] ppid=21995 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225395736 15381372928 31997 33554432000 4194304 4196468 140722220676624 140040315603344 140040311371477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22001] ppid=21995 vsize=15020872 memory=61336 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15381372928 31997 33554432000 4194304 4196468 140722220676624 140040106686736 140040311371477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22002] ppid=21995 vsize=15020872 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15381372928 31997 33554432000 4194304 4196468 140722220676624 140040105634448 140040311371477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22003] ppid=21995 vsize=15020872 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395736 15381372928 31997 33554432000 4194304 4196468 140722220676624 140040104581648 140040311371477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22004] ppid=21995 vsize=15020872 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21995 21995 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225395738 15381372928 31997 33554432000 4194304 4196468 140722220676624 140039281412720 140040311372418 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22005] ppid=21995 vsize=15020872 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21995 21995 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225395738 15381372928 31997 33554432000 4194304 4196468 140722220676624 140038750856480 140040311371477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22006] ppid=21995 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21995 21995 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225395739 15381372928 31997 33554432000 4194304 4196468 140722220676624 140038616634992 140040311371477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22007] ppid=21995 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225395741 15381372928 31997 33554432000 4194304 4196468 140722220676624 140038242130512 140040311379867 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22008] ppid=21995 vsize=15020872 memory=1120 CPUtime=0.06 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) R 21995 21995 16605 0 -1 4202560 462 0 0 0 6 0 0 0 20 0 15 0 225395741 15381372928 31997 33554432000 4194304 4196468 140722220676624 140039280347088 140040296290684 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22009] ppid=21995 vsize=15020872 memory=6120 CPUtime=0.1 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) R 21995 21995 16605 0 -1 4202560 466 0 0 0 10 0 0 0 20 0 15 0 225395741 15381372928 31997 33554432000 4194304 4196468 140722220676624 140039279299928 140040291530128 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22010] ppid=21995 vsize=15020872 memory=1724 CPUtime=0.16 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) R 21995 21995 16605 0 -1 4202560 473 0 0 0 16 0 0 0 20 0 15 0 225395741 15381372928 31997 33554432000 4194304 4196468 140722220676624 140039278254576 140040295441758 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22011] ppid=21995 vsize=15020872 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225395741 15381372928 31997 33554432000 4194304 4196468 140722220676624 140037744224736 140040311371477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
[pid=21998/tid=22012] ppid=21995 vsize=15020872 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225395741 15381372928 31997 33554432000 4194304 4196468 140722220676624 140039277202352 140040311372418 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6549504 140722220684294 140722220684593 140722220684593 140722220687311 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129380 KiB
[startup+1.50107 s]
/proc/loadavg: 2.10 2.85 3.32 4/223 22012
/proc/meminfo: memFree=24578668/32770624 swapFree=67108860/67108860
[pid=21995] ppid=21992 vsize=113128 memory=1392 CPUtime=0 cores=0,2,4,6
/proc/21995/stat : 21995 (scop.sh) S 21992 21995 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225395734 115843072 348 33554432000 4194304 5098028 140728794431088 140728794428344 140406915105404 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34267136 140728794432576 140728794432775 140728794432775 140728794435533 0
/proc/21995/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=22013/tid=22016] ppid=21995 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22016/stat : 22016 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512523004560 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22017] ppid=21995 vsize=8068220 memory=120796 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22017/stat : 22017 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512521951504 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22018] ppid=21995 vsize=8068220 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22018/stat : 22018 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512520898960 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22019] ppid=21995 vsize=8068220 memory=2180 CPUtime=0.06 cores=0,2,4,6
/proc/22013/task/22019/stat : 22019 (java) S 21995 21995 16605 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225399006 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512483994352 140513037601410 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22020] ppid=21995 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22020/stat : 22020 (java) S 21995 21995 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225399006 8261857280 28557 33554432000 4194304 4196468 140725467695776 140511868348064 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22021] ppid=21995 vsize=8068220 memory=120796 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22021/stat : 22021 (java) S 21995 21995 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225399006 8261857280 28557 33554432000 4194304 4196468 140725467695776 140511734125808 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22022] ppid=21995 vsize=8068220 memory=3712 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22022/stat : 22022 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140511359621584 140513037608859 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22023] ppid=21995 vsize=8068220 memory=114228 CPUtime=0.08 cores=0,2,4,6
/proc/22013/task/22023/stat : 22023 (java) S 21995 21995 16605 0 -1 1077944384 323 0 0 0 7 1 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512482941168 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22024] ppid=21995 vsize=8068220 memory=1468 CPUtime=0.12 cores=0,2,4,6
/proc/22013/task/22024/stat : 22024 (java) S 21995 21995 16605 0 -1 1077944384 699 0 0 0 11 1 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512481888624 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22025] ppid=21995 vsize=8068220 memory=1468 CPUtime=0.21 cores=0,2,4,6
/proc/22013/task/22025/stat : 22025 (java) S 21995 21995 16605 0 -1 1077944384 794 0 0 0 21 0 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512480835568 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22026] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22026/stat : 22026 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510861715808 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22027] ppid=21995 vsize=8068220 memory=120796 CPUtime=1.72 cores=0,2,4,6
/proc/22013/task/22027/stat : 22027 (java) S 21995 21995 16605 0 -1 1077944384 161 0 0 0 88 84 0 0 20 0 19 0 225399010 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512479783984 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22029] ppid=21995 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22029/stat : 22029 (java) S 21995 21995 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225399077 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512474167104 140513037614873 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22031] ppid=21995 vsize=8068220 memory=-7824251494390848619 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22031/stat : 22031 (java) S 21995 21995 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225399078 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510190616464 140513037612189 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22032] ppid=21995 vsize=8068220 memory=3312 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22032/stat : 22032 (java) S 21995 21995 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225399078 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510593269264 140513037612189 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22033] ppid=21995 vsize=8068220 memory=15712 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22033/stat : 22033 (java) S 21995 21995 16605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225399080 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510056402208 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
Current children cumulated CPU time: 2460.74 s
Current children cumulated vsize: 8329424 KiB
Current children cumulated memory: 238540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2501.5 s]
/proc/loadavg: 2.01 2.02 2.12 3/228 22231
/proc/meminfo: memFree=24539008/32770624 swapFree=67108860/67108860
[pid=21995] ppid=21992 vsize=113128 memory=1468 CPUtime=48.72 cores=0,2,4,6
/proc/21995/stat : 21995 (scop.sh) S 21992 21995 16605 0 -1 4202496 590 53776 0 0 0 0 4713 159 20 0 1 0 225395734 115843072 367 33554432000 4194304 5098028 140728794431088 140728794427832 140406915105404 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34267136 140728794432576 140728794432775 140728794432775 140728794435533 0
/proc/21995/statm: 28282 367 311 221 0 87 0
[pid=22013] ppid=21995 vsize=8068220 memory=114228 CPUtime=3.08 cores=0,2,4,6
/proc/22013/stat : 22013 (java) S 21995 21995 16605 0 -1 1077944320 19022 0 0 0 215 93 0 0 20 0 19 0 225399002 8261857280 28557 33554432000 4194304 4196468 140725467695776 140725467678320 140513037590263 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
/proc/22013/statm: 2017055 28557 3147 1 0 1978454 0
[pid=22028] ppid=22013 vsize=148076 memory=120796 CPUtime=2468.21 cores=0,2,4,6
/proc/22028/stat : 22028 (minisat_release) R 22013 21995 16605 0 -1 4202496 243911 0 0 0 246778 43 0 0 20 0 1 0 225399077 151629824 30199 33554432000 4194304 4308513 140725021890480 140725021887928 4275946 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 34279424 140725021897844 140725021897942 140725021897942 140725021900741 0
/proc/22028/statm: 37019 30199 342 28 0 33259 0
[pid=22013/tid=22014] ppid=21995 vsize=8068220 memory=1468 CPUtime=0.76 cores=0,2,4,6
/proc/22013/task/22014/stat : 22014 (java) S 21995 21995 16605 0 -1 1077944384 15609 0 0 0 72 4 0 0 20 0 19 0 225399003 8261857280 28557 33554432000 4194304 4196468 140725467695776 140513009430416 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22015] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22015/stat : 22015 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140513041832464 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22016] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22016/stat : 22016 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512523004560 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22017] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22017/stat : 22017 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512521951504 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22018] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22018/stat : 22018 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512520898960 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22019] ppid=21995 vsize=8068220 memory=114228 CPUtime=0.06 cores=0,2,4,6
/proc/22013/task/22019/stat : 22019 (java) S 21995 21995 16605 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225399006 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512483994352 140513037601410 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22020] ppid=21995 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22020/stat : 22020 (java) S 21995 21995 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225399006 8261857280 28557 33554432000 4194304 4196468 140725467695776 140511868348064 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22021] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22021/stat : 22021 (java) S 21995 21995 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225399006 8261857280 28557 33554432000 4194304 4196468 140725467695776 140511734125808 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22022] ppid=21995 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22022/stat : 22022 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140511359621584 140513037608859 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22023] ppid=21995 vsize=8068220 memory=114228 CPUtime=0.08 cores=0,2,4,6
/proc/22013/task/22023/stat : 22023 (java) S 21995 21995 16605 0 -1 1077944384 323 0 0 0 7 1 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512482941168 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22024] ppid=21995 vsize=8068220 memory=1468 CPUtime=0.12 cores=0,2,4,6
/proc/22013/task/22024/stat : 22024 (java) S 21995 21995 16605 0 -1 1077944384 699 0 0 0 11 1 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512481888624 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22025] ppid=21995 vsize=8068220 memory=1468 CPUtime=0.21 cores=0,2,4,6
/proc/22013/task/22025/stat : 22025 (java) S 21995 21995 16605 0 -1 1077944384 794 0 0 0 21 0 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512480835568 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22026] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22026/stat : 22026 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510861715808 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22027] ppid=21995 vsize=8068220 memory=1468 CPUtime=1.8 cores=0,2,4,6
/proc/22013/task/22027/stat : 22027 (java) S 21995 21995 16605 0 -1 1077944384 165 0 0 0 92 88 0 0 20 0 19 0 225399010 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512479783984 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22029] ppid=21995 vsize=8068220 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22029/stat : 22029 (java) S 21995 21995 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225399077 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512474167104 140513037614873 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22031] ppid=21995 vsize=8068220 memory=2140 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22031/stat : 22031 (java) S 21995 21995 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225399078 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510190616464 140513037612189 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22032] ppid=21995 vsize=8068220 memory=2180 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22032/stat : 22032 (java) S 21995 21995 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225399078 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510593269264 140513037612189 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22033] ppid=21995 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22033/stat : 22033 (java) S 21995 21995 16605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225399080 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510056402208 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8329424 KiB
Current children cumulated memory: 236492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2501.51 s]
# the end of solver process 21995 was just reported to runsolver
# cumulated CPU time of all completed processes: user=47.1355 s, system=1.59138 s
[startup+2501.52 s]
# the end of solver process 22013 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.09 s, system=2.97628 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+2501.5 s]
/proc/loadavg: 2.01 2.02 2.12 3/228 22231
/proc/meminfo: memFree=24539008/32770624 swapFree=67108860/67108860
[pid=21995] ppid=21992 vsize=113128 memory=1468 CPUtime=48.72 cores=0,2,4,6
/proc/21995/stat : 21995 (scop.sh) S 21992 21995 16605 0 -1 4202496 590 53776 0 0 0 0 4713 159 20 0 1 0 225395734 115843072 367 33554432000 4194304 5098028 140728794431088 140728794427832 140406915105404 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34267136 140728794432576 140728794432775 140728794432775 140728794435533 0
/proc/21995/statm: 28282 367 311 221 0 87 0
[pid=22013] ppid=21995 vsize=8068220 memory=114228 CPUtime=3.08 cores=0,2,4,6
/proc/22013/stat : 22013 (java) S 21995 21995 16605 0 -1 1077944320 19022 0 0 0 215 93 0 0 20 0 19 0 225399002 8261857280 28557 33554432000 4194304 4196468 140725467695776 140725467678320 140513037590263 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
/proc/22013/statm: 2017055 28557 3147 1 0 1978454 0
[pid=22028] ppid=22013 vsize=148076 memory=120796 CPUtime=2468.21 cores=0,2,4,6
/proc/22028/stat : 22028 (minisat_release) R 22013 21995 16605 0 -1 4202496 243911 0 0 0 246778 43 0 0 20 0 1 0 225399077 151629824 30199 33554432000 4194304 4308513 140725021890480 140725021887928 4275946 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 34279424 140725021897844 140725021897942 140725021897942 140725021900741 0
/proc/22028/statm: 37019 30199 342 28 0 33259 0
[pid=22013/tid=22014] ppid=21995 vsize=8068220 memory=1468 CPUtime=0.76 cores=0,2,4,6
/proc/22013/task/22014/stat : 22014 (java) S 21995 21995 16605 0 -1 1077944384 15609 0 0 0 72 4 0 0 20 0 19 0 225399003 8261857280 28557 33554432000 4194304 4196468 140725467695776 140513009430416 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22015] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22015/stat : 22015 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140513041832464 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22016] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22016/stat : 22016 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512523004560 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22017] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22017/stat : 22017 (java) S 21995 21995 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512521951504 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22018] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22018/stat : 22018 (java) S 21995 21995 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225399004 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512520898960 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22019] ppid=21995 vsize=8068220 memory=114228 CPUtime=0.06 cores=0,2,4,6
/proc/22013/task/22019/stat : 22019 (java) S 21995 21995 16605 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 225399006 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512483994352 140513037601410 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22020] ppid=21995 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22020/stat : 22020 (java) S 21995 21995 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225399006 8261857280 28557 33554432000 4194304 4196468 140725467695776 140511868348064 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22021] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22021/stat : 22021 (java) S 21995 21995 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225399006 8261857280 28557 33554432000 4194304 4196468 140725467695776 140511734125808 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22022] ppid=21995 vsize=8068220 memory=1468 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22022/stat : 22022 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140511359621584 140513037608859 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22023] ppid=21995 vsize=8068220 memory=114228 CPUtime=0.08 cores=0,2,4,6
/proc/22013/task/22023/stat : 22023 (java) S 21995 21995 16605 0 -1 1077944384 323 0 0 0 7 1 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512482941168 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22024] ppid=21995 vsize=8068220 memory=1468 CPUtime=0.12 cores=0,2,4,6
/proc/22013/task/22024/stat : 22024 (java) S 21995 21995 16605 0 -1 1077944384 699 0 0 0 11 1 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512481888624 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22025] ppid=21995 vsize=8068220 memory=1468 CPUtime=0.21 cores=0,2,4,6
/proc/22013/task/22025/stat : 22025 (java) S 21995 21995 16605 0 -1 1077944384 794 0 0 0 21 0 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512480835568 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22026] ppid=21995 vsize=8068220 memory=114228 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22026/stat : 22026 (java) S 21995 21995 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225399009 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510861715808 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22027] ppid=21995 vsize=8068220 memory=1468 CPUtime=1.8 cores=0,2,4,6
/proc/22013/task/22027/stat : 22027 (java) S 21995 21995 16605 0 -1 1077944384 165 0 0 0 92 88 0 0 20 0 19 0 225399010 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512479783984 140513037601410 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22029] ppid=21995 vsize=8068220 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22029/stat : 22029 (java) S 21995 21995 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225399077 8261857280 28557 33554432000 4194304 4196468 140725467695776 140512474167104 140513037614873 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22031] ppid=21995 vsize=8068220 memory=2140 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22031/stat : 22031 (java) S 21995 21995 16605 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225399078 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510190616464 140513037612189 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22032] ppid=21995 vsize=8068220 memory=2180 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22032/stat : 22032 (java) S 21995 21995 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225399078 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510593269264 140513037612189 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
[pid=22013/tid=22033] ppid=21995 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/22013/task/22033/stat : 22033 (java) S 21995 21995 16605 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 225399080 8261857280 28557 33554432000 4194304 4196468 140725467695776 140510056402208 140513037600469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33198080 140725467702453 140725467702577 140725467702577 140725467705295 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8329424 KiB
Current children cumulated memory: 236492 KiB
Child status: 1
Real time (s): 2501.52
CPU time (s): 2520.07
CPU user time (s): 2517.09
CPU system time (s): 2.97628
CPU usage (%): 100.742
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3858232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.09
system time used= 2.97628
maximum resident set size= 3857580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61512
involuntary context switches= 807
# summary of solver processes directly reported to runsolver:
# pid: 21995,22013
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.09
# total CPU system time (s): 2.97628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.113 second user time and 26.7961 second system time
The end