0.67/0.52
0.67/0.52 scop both+minisat_release (2018-06-13)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Jul 23 16:04:43 CEST 2018
0.67/0.54 c PID: 16426
0.67/0.54 c IP: 172.20.3.102
0.67/0.54 c HOST: node102.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.20/0.86 c (0,0) Parsing End
1.20/0.86 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 39 ctr, max domain size 26
1.20/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87 c (0,0) Constraint Name Generate Begin
1.20/0.87 c (0,0) Ctr:HOME/instance-4294257-1532354682.xml,Add:Element:Eq:IntVar:Num
1.20/0.87 c (0,0) Constraint Name Generate End
1.20/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.20/0.87 c (0,0) CSP to CSPinCNF Begin
1.56/1.04 c (0,0) translated 4 (10%) constraints
1.56/1.09 c (0,0) translated 8 (20%) constraints
1.83/1.13 c (0,0) translated 12 (30%) constraints
1.83/1.17 c (0,0) translated 16 (40%) constraints
1.83/1.20 c (0,0) translated 20 (50%) constraints
2.09/1.22 c (0,0) translated 24 (60%) constraints
2.09/1.24 c (0,0) translated 28 (70%) constraints
2.09/1.24 c (0,0) translated 32 (80%) constraints
2.09/1.24 c (0,0) translated 36 (90%) constraints
2.09/1.24 c (0,0) translated 39 (100%) constraints
2.09/1.28 c (0,0) STATISTICS1:HOME/instance-4294257-1532354682.xml,Add:Element:Eq:IntVar:Num,52,689,24,24,3,2,24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2,24:54;23:54;22:54;21:54;20:54;19:54;18:54;17:54;16:54;15:54;14:54;13:730;12:54,3:676;1:13,2:26;1:2028,
2.09/1.28 c (0,0) ===========================================
2.09/1.28 c (0,0) Both Encoding selects:
2.09/1.28 c (0,0) Order
2.09/1.28 c (0,0) ===========================================
2.34/1.33 c (0,0) translated 69 (10%) constraints
2.34/1.36 c (0,0) translated 138 (20%) constraints
2.34/1.38 c (0,0) translated 207 (30%) constraints
2.64/1.40 c (0,0) translated 276 (40%) constraints
2.64/1.42 c (0,0) translated 345 (50%) constraints
2.64/1.43 c (0,0) translated 414 (60%) constraints
2.64/1.44 c (0,0) translated 483 (70%) constraints
2.64/1.45 c (0,0) translated 552 (80%) constraints
2.64/1.46 c (0,0) translated 621 (90%) constraints
2.64/1.48 c (0,0) translated 689 (100%) constraints
2.64/1.48 c (0,0) CSP to CSPinCNF End
2.64/1.48 c (0,0) CSP: 52 int (0 aux), 338 bool (338 aux), 2054 ctr, max domain size 24
2.64/1.48 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.64/1.48 c (0,0) CSPinCNF Propagation Begin
2.94/1.53 c (1,1) 0 values, 260 unsatisfiable literals, and 312 valid clauses are removed
2.94/1.53 c (1,1) CSPinCNF Propagation End
2.94/1.54 c (1,1) CSP: 52 int (0 aux), 338 bool (338 aux), 1742 ctr, max domain size 24
2.94/1.54 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.94/1.54 c (1,1) Simplify CSPinCNF Begin
2.94/1.54 c (1,1) Simplify CSPinCNF End
2.94/1.55 c (1,1) CSP: 52 int (0 aux), 338 bool (338 aux), 1742 ctr, max domain size 24
2.94/1.55 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.94/1.55 c (1,1) Calculate Precise Domain Begin
2.94/1.55 c (1,1) 0 values are removed by re-calculation
2.94/1.55 c (1,1) Calculate Precise Domain End
2.94/1.55 c (1,1) CSP: 52 int (0 aux), 338 bool (338 aux), 1742 ctr, max domain size 24
2.94/1.55 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.94/1.55 c (1,1) CSPinCNF to SatSolver Begin
3.26/1.60 c (1,1) 175 (10 %) CSP clauses are encoded (1092 SAT variables, 876 SAT clauses)
3.26/1.62 c (1,1) 349 (20 %) CSP clauses are encoded (1092 SAT variables, 1050 SAT clauses)
3.26/1.62 c (1,1) 523 (30 %) CSP clauses are encoded (1092 SAT variables, 1224 SAT clauses)
3.26/1.63 c (1,1) 697 (40 %) CSP clauses are encoded (1092 SAT variables, 1398 SAT clauses)
3.26/1.63 c (1,1) 871 (50 %) CSP clauses are encoded (1092 SAT variables, 1572 SAT clauses)
3.26/1.63 c (1,1) 1046 (60 %) CSP clauses are encoded (1092 SAT variables, 1747 SAT clauses)
3.26/1.64 c (1,1) 1220 (70 %) CSP clauses are encoded (1092 SAT variables, 1921 SAT clauses)
3.26/1.64 c (1,1) 1394 (80 %) CSP clauses are encoded (1092 SAT variables, 2095 SAT clauses)
3.26/1.64 c (1,1) 1568 (90 %) CSP clauses are encoded (1092 SAT variables, 2269 SAT clauses)
3.26/1.66 c (1,1) 1742 (100 %) CSP clauses are encoded (1092 SAT variables, 2849 SAT clauses)
3.26/1.66 c (1,1) CSPinCNF to SatSolver End
3.26/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.26/1.68 c (1,1) STATISTICS2:HOME/instance-4294257-1532354682.xml,Add:Element:Eq:IntVar:Num,390,1742,24,24,3,2,24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2,24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:64;15:60;14:56;13:1300;12:48;2:1716,3:416;2:1300;1:26,2:26;1:3848,
3.26/1.68 c (1,1) SatSolver.solve Begin
3.26/1.68 c (1,1) 1092 bool, 2860 clause
3.26/1.68 c (1,1) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294257-1532354682.xml-scop-16426.cnf HOME/instance-4294257-1532354682.xml-scop-16426.cnf.out
2520.06/2517.11 c (2516,1) SatSolver is killed by some reasons.
2520.06/2517.11 c (2516,1) 0,0,0,1,1,1,1,TO,TO,STOP-AFTER(DIMACS)
2520.06/2517.11 s UNKNOWN
2520.06/2517.11 c END-Prog: Mon Jul 23 16:46:39 CEST 2018
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 (5559 MiB free)
memory of node 1: 16384 MiB (10505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294257-1532354682/watcher-4294257-1532354682 -o /tmp/evaluation-result-4294257-1532354682/solver-4294257-1532354682 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294257-1532354682.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16426, runsolver pid=16423
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 1.92 2.03 2.05 3/220 16441
/proc/meminfo: memFree=16388556/32770624 swapFree=67108860/67108860
[pid=16426] ppid=16423 vsize=15011656 memory=75176 CPUtime=0.11 cores=1,3,5,7
/proc/16426/stat : 16426 (java) S 16423 16426 8919 0 -1 1077944320 6943 0 0 0 9 2 0 0 20 0 15 0 53031376 15371935744 18728 33554432000 4194304 4196468 140720586292720 140720586275264 140334299295479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
/proc/16426/statm: 3752914 18794 2782 1 0 3715374 0
[pid=16426/tid=16428] ppid=16423 vsize=15011656 memory=-6655087062886431568 CPUtime=0.09 cores=1,3,5,7
/proc/16426/task/16428/stat : 16428 (java) R 16423 16426 8919 0 -1 4202560 5199 0 0 0 7 2 0 0 20 0 15 0 53031376 15371935744 18926 33554432000 4194304 4196468 140720586292720 140334271121808 140334279571307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16429] ppid=16423 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16429/stat : 16429 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 18926 33554432000 4194304 4196468 140720586292720 140334303538064 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16430] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16430/stat : 16430 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 18926 33554432000 4194304 4196468 140720586292720 140334102313744 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16431] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16431/stat : 16431 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 18926 33554432000 4194304 4196468 140720586292720 140334101261456 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16432] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16432/stat : 16432 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 18926 33554432000 4194304 4196468 140720586292720 140334100208656 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16433] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16433/stat : 16433 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031379 15371935744 18992 33554432000 4194304 4196468 140720586292720 140333705943152 140334299306626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16434] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16434/stat : 16434 (java) S 16423 16426 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031380 15371935744 18992 33554432000 4194304 4196468 140720586292720 140332889006880 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16435] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16435/stat : 16435 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031380 15371935744 18992 33554432000 4194304 4196468 140720586292720 140332620571760 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16436] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16436/stat : 16436 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031382 15371935744 18992 33554432000 4194304 4196468 140720586292720 140332246063184 140334299314075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16437] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16437/stat : 16437 (java) S 16423 16426 8919 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 53031382 15371935744 18992 33554432000 4194304 4196468 140720586292720 140333704890992 140334299306626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16438] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16438/stat : 16438 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031382 15371935744 18992 33554432000 4194304 4196468 140720586292720 140333703838192 140334299306626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16439] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16439/stat : 16439 (java) S 16423 16426 8919 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 53031382 15371935744 18992 33554432000 4194304 4196468 140720586292720 140333702785904 140334299306626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16440] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16440/stat : 16440 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031383 15371935744 18992 33554432000 4194304 4196468 140720586292720 140331748158432 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16441] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16441/stat : 16441 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031383 15371935744 18992 33554432000 4194304 4196468 140720586292720 140333701732784 140334299306626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 75176 KiB
[startup+0.210431 s]*
/proc/loadavg: 1.92 2.03 2.05 3/220 16441
/proc/meminfo: memFree=16374728/32770624 swapFree=67108860/67108860
[pid=16426] ppid=16423 vsize=15011656 memory=87516 CPUtime=0.25 cores=1,3,5,7
/proc/16426/stat : 16426 (java) S 16423 16426 8919 0 -1 1077944320 10355 0 0 0 22 3 0 0 20 0 15 0 53031376 15371935744 21879 33554432000 4194304 4196468 140720586292720 140720586275264 140334299295479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
/proc/16426/statm: 3752914 21879 2887 1 0 3715374 0
[pid=16426/tid=16428] ppid=16423 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/16426/task/16428/stat : 16428 (java) R 16423 16426 8919 0 -1 4202560 8253 0 0 0 17 3 0 0 20 0 15 0 53031376 15371935744 21944 33554432000 4194304 4196468 140720586292720 140334271120848 140334291532606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16429] ppid=16423 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16429/stat : 16429 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 21944 33554432000 4194304 4196468 140720586292720 140334303538064 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16430] ppid=16423 vsize=15011656 memory=140258987497305 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16430/stat : 16430 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 21944 33554432000 4194304 4196468 140720586292720 140334102313744 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16431] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16431/stat : 16431 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 21944 33554432000 4194304 4196468 140720586292720 140334101261456 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16432] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16432/stat : 16432 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 21944 33554432000 4194304 4196468 140720586292720 140334100208656 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16433] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16433/stat : 16433 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031379 15371935744 21944 33554432000 4194304 4196468 140720586292720 140333705943152 140334299306626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16434] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16434/stat : 16434 (java) S 16423 16426 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031380 15371935744 21944 33554432000 4194304 4196468 140720586292720 140332889006880 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16435] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16435/stat : 16435 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031380 15371935744 21944 33554432000 4194304 4196468 140720586292720 140332620571760 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16436] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16436/stat : 16436 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031382 15371935744 21944 33554432000 4194304 4196468 140720586292720 140332246063184 140334299314075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16437] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16437/stat : 16437 (java) R 16423 16426 8919 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 53031382 15371935744 21944 33554432000 4194304 4196468 140720586292720 140333704890992 140334299306626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16438] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16438/stat : 16438 (java) R 16423 16426 8919 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 15 0 53031382 15371935744 21944 33554432000 4194304 4196468 140720586292720 140333703838192 140334277163296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16439] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0.03 cores=1,3,5,7
/proc/16426/task/16439/stat : 16439 (java) S 16423 16426 8919 0 -1 1077944384 304 0 0 0 3 0 0 0 20 0 15 0 53031382 15371935744 21944 33554432000 4194304 4196468 140720586292720 140333702785904 140334299306626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16440] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16440/stat : 16440 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031383 15371935744 21944 33554432000 4194304 4196468 140720586292720 140331748158432 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16441] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16441/stat : 16441 (java) R 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031383 15371935744 21944 33554432000 4194304 4196468 140720586292720 140333701732784 140334299306626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 87516 KiB
[startup+0.310473 s]*
/proc/loadavg: 1.92 2.03 2.05 3/220 16441
/proc/meminfo: memFree=16371392/32770624 swapFree=67108860/67108860
[pid=16426] ppid=16423 vsize=15011656 memory=91928 CPUtime=0.44 cores=1,3,5,7
/proc/16426/stat : 16426 (java) S 16423 16426 8919 0 -1 1077944320 10982 0 0 0 40 4 0 0 20 0 15 0 53031376 15371935744 22982 33554432000 4194304 4196468 140720586292720 140720586275264 140334299295479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
/proc/16426/statm: 3752914 22982 3024 1 0 3715374 0
[pid=16426/tid=16428] ppid=16423 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/16426/task/16428/stat : 16428 (java) R 16423 16426 8919 0 -1 4202560 8685 0 0 0 27 3 0 0 20 0 15 0 53031376 15371935744 22982 33554432000 4194304 4196468 140720586292720 140334271123104 140334280859031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16429] ppid=16423 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16429/stat : 16429 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 22982 33554432000 4194304 4196468 140720586292720 140334303538064 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16430] ppid=16423 vsize=15011656 memory=140258987489877 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16430/stat : 16430 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 22982 33554432000 4194304 4196468 140720586292720 140334102313744 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16431] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16431/stat : 16431 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 22982 33554432000 4194304 4196468 140720586292720 140334101261456 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16432] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16432/stat : 16432 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15371935744 22982 33554432000 4194304 4196468 140720586292720 140334100208656 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16433] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16433/stat : 16433 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031379 15371935744 22982 33554432000 4194304 4196468 140720586292720 140333705943152 140334299306626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16434] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16434/stat : 16434 (java) S 16423 16426 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031380 15371935744 22982 33554432000 4194304 4196468 140720586292720 140332889006880 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16435] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16435/stat : 16435 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031380 15371935744 22982 33554432000 4194304 4196468 140720586292720 140332620571760 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16436] ppid=16423 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16436/stat : 16436 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031382 15371935744 22982 33554432000 4194304 4196468 140720586292720 140332246063184 140334299314075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16437] ppid=16423 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16426/task/16437/stat : 16437 (java) S 16423 16426 8919 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 53031382 15371935744 22982 33554432000 4194304 4196468 140720586292720 140333704890992 140334299306626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16438] ppid=16423 vsize=15011656 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16426/task/16438/stat : 16438 (java) S 16423 16426 8919 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 15 0 53031382 15371935744 22982 33554432000 4194304 4196468 140720586292720 140333703838192 140334299306626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16439] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0.07 cores=1,3,5,7
/proc/16426/task/16439/stat : 16439 (java) R 16423 16426 8919 0 -1 4202560 346 0 0 0 7 0 0 0 20 0 15 0 53031382 15371935744 22982 33554432000 4194304 4196468 140720586292720 140333702785904 140334278236928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16440] ppid=16423 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16440/stat : 16440 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031383 15371935744 22982 33554432000 4194304 4196468 140720586292720 140331748158432 140334299305685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16441] ppid=16423 vsize=15011656 memory=140258987181696 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16441/stat : 16441 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031383 15371935744 22982 33554432000 4194304 4196468 140720586292720 140333701732784 140334299306626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 91928 KiB
[startup+0.70071 s]
/proc/loadavg: 1.92 2.03 2.05 3/220 16441
/proc/meminfo: memFree=16346712/32770624 swapFree=67108860/67108860
[pid=16426] ppid=16423 vsize=15020052 memory=132140 CPUtime=1.01 cores=1,3,5,7
/proc/16426/stat : 16426 (java) S 16423 16426 8919 0 -1 1077944320 18221 0 0 0 95 6 0 0 20 0 15 0 53031376 15380533248 33035 33554432000 4194304 4196468 140720586292720 140720586275264 140334299295479 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
/proc/16426/statm: 3755013 33035 3155 1 0 3716398 0
[pid=16426/tid=16428] ppid=16423 vsize=15020052 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16426/task/16428/stat : 16428 (java) R 16423 16426 8919 0 -1 4202560 15482 0 0 0 62 5 0 0 20 0 15 0 53031376 15380533248 33035 33554432000 4194304 4196468 140720586292720 140334271131504 140334299307414 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16429] ppid=16423 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16429/stat : 16429 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031378 15380533248 33035 33554432000 4194304 4196468 140720586292720 140334303538064 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16430] ppid=16423 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16430/stat : 16430 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15380533248 33035 33554432000 4194304 4196468 140720586292720 140334102313744 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16431] ppid=16423 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16431/stat : 16431 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15380533248 33035 33554432000 4194304 4196468 140720586292720 140334101261456 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16432] ppid=16423 vsize=15020052 memory=210838065533840 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16432/stat : 16432 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15380533248 33035 33554432000 4194304 4196468 140720586292720 140334100208656 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16433] ppid=16423 vsize=15020052 memory=286033 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16433/stat : 16433 (java) S 16423 16426 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53031379 15380533248 33035 33554432000 4194304 4196468 140720586292720 140333705943152 140334299306626 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16434] ppid=16423 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16434/stat : 16434 (java) S 16423 16426 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53031380 15380533248 33035 33554432000 4194304 4196468 140720586292720 140332889006880 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16435] ppid=16423 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16435/stat : 16435 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031380 15380533248 33035 33554432000 4194304 4196468 140720586292720 140332620571760 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16436] ppid=16423 vsize=15020052 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16436/stat : 16436 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031382 15380533248 33035 33554432000 4194304 4196468 140720586292720 140332246063184 140334299314075 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16437] ppid=16423 vsize=15020052 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16426/task/16437/stat : 16437 (java) R 16423 16426 8919 0 -1 1077944384 605 0 0 0 7 0 0 0 20 0 15 0 53031382 15380533248 33035 33554432000 4194304 4196468 140720586292720 140333704890992 140334299306626 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16438] ppid=16423 vsize=15020052 memory=-3472574513799858009 CPUtime=0.08 cores=1,3,5,7
/proc/16426/task/16438/stat : 16438 (java) R 16423 16426 8919 0 -1 4202560 323 0 0 0 8 0 0 0 20 0 15 0 53031382 15380533248 33035 33554432000 4194304 4196468 140720586292720 140333703838192 140334283201668 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16439] ppid=16423 vsize=15020052 memory=6944656592387989600 CPUtime=0.16 cores=1,3,5,7
/proc/16426/task/16439/stat : 16439 (java) S 16423 16426 8919 0 -1 1077944384 472 0 0 0 16 0 0 0 20 0 15 0 53031382 15380533248 33035 33554432000 4194304 4196468 140720586292720 140333702785904 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16440] ppid=16423 vsize=15020052 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16440/stat : 16440 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53031383 15380533248 33035 33554432000 4194304 4196468 140720586292720 140331748158432 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16441] ppid=16423 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16441/stat : 16441 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031383 15380533248 33035 33554432000 4194304 4196468 140720586292720 140333701732784 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 132140 KiB
[startup+1.50072 s]
/proc/loadavg: 1.92 2.03 2.05 5/220 16441
/proc/meminfo: memFree=16313772/32770624 swapFree=67108860/67108860
[pid=16426] ppid=16423 vsize=15022100 memory=186176 CPUtime=2.94 cores=1,3,5,7
/proc/16426/stat : 16426 (java) S 16423 16426 8919 0 -1 1077944320 22068 0 0 0 285 9 0 0 20 0 15 0 53031376 15382630400 46544 33554432000 4194304 4196468 140720586292720 140720586275264 140334299295479 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
/proc/16426/statm: 3755525 46544 3200 1 0 3716910 0
[pid=16426/tid=16428] ppid=16423 vsize=15022100 memory=127 CPUtime=1.46 cores=1,3,5,7
/proc/16426/task/16428/stat : 16428 (java) R 16423 16426 8919 0 -1 4202560 16593 0 0 0 140 6 0 0 20 0 15 0 53031376 15382630400 46544 33554432000 4194304 4196468 140720586292720 140334271132928 140334299307414 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16429] ppid=16423 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16429/stat : 16429 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53031378 15382630400 46544 33554432000 4194304 4196468 140720586292720 140334303538064 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16430] ppid=16423 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16430/stat : 16430 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15382630400 46544 33554432000 4194304 4196468 140720586292720 140334102313744 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16431] ppid=16423 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16431/stat : 16431 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15382630400 46544 33554432000 4194304 4196468 140720586292720 140334101261456 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16432] ppid=16423 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16432/stat : 16432 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53031378 15382630400 46544 33554432000 4194304 4196468 140720586292720 140334100208656 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16433] ppid=16423 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16433/stat : 16433 (java) S 16423 16426 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53031379 15382630400 46544 33554432000 4194304 4196468 140720586292720 140333705943152 140334299306626 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
################
# More data... #
################
/proc/meminfo: memFree=13427560/32770624 swapFree=67108860/67108860
[pid=16426] ppid=16423 vsize=15681864 memory=221648 CPUtime=4.57 cores=1,3,5,7
/proc/16426/stat : 16426 (java) S 16423 16426 8919 0 -1 1077944320 23442 0 0 0 398 59 0 0 20 0 19 0 53031376 16058228736 55412 33554432000 4194304 4196468 140720586292720 140720586275264 140334299295479 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
/proc/16426/statm: 3920466 55412 3218 1 0 3881322 0
[pid=16442] ppid=16426 vsize=93496 memory=69172 CPUtime=2500.66 cores=1,3,5,7
/proc/16442/stat : 16442 (minisat_release) R 16426 16426 8919 0 -1 4202496 118962 0 0 0 250055 11 0 0 20 0 1 0 53031546 95739904 17293 33554432000 4194304 4308513 140726790134848 140726790131848 4263960 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 10457088 140726790140591 140726790141102 140726790141102 140726790143941 0
/proc/16442/statm: 23374 17293 354 28 0 19614 0
[pid=16426/tid=16428] ppid=16423 vsize=15681864 memory=221648 CPUtime=1.71 cores=1,3,5,7
/proc/16426/task/16428/stat : 16428 (java) S 16423 16426 8919 0 -1 1077944384 17223 0 0 0 164 7 0 0 20 0 19 0 53031376 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334271134720 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16429] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16429/stat : 16429 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334303538064 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16430] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16430/stat : 16430 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334102313744 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16431] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16431/stat : 16431 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334101261456 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16432] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16432/stat : 16432 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334100208656 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16433] ppid=16423 vsize=15681864 memory=69172 CPUtime=0.03 cores=1,3,5,7
/proc/16426/task/16433/stat : 16433 (java) S 16423 16426 8919 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 53031379 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333705943152 140334299306626 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16434] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16434/stat : 16434 (java) S 16423 16426 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53031380 16058228736 55412 33554432000 4194304 4196468 140720586292720 140332889006880 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16435] ppid=16423 vsize=15681864 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16435/stat : 16435 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031380 16058228736 55412 33554432000 4194304 4196468 140720586292720 140332620571760 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16436] ppid=16423 vsize=15681864 memory=69172 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16436/stat : 16436 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140332246063184 140334299314075 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16437] ppid=16423 vsize=15681864 memory=221648 CPUtime=0.56 cores=1,3,5,7
/proc/16426/task/16437/stat : 16437 (java) S 16423 16426 8919 0 -1 1077944384 1043 0 0 0 55 1 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333704890992 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16438] ppid=16423 vsize=15681864 memory=2240 CPUtime=0.59 cores=1,3,5,7
/proc/16426/task/16438/stat : 16438 (java) S 16423 16426 8919 0 -1 1077944384 928 0 0 0 59 0 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333703838192 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16439] ppid=16423 vsize=15681864 memory=4132 CPUtime=0.77 cores=1,3,5,7
/proc/16426/task/16439/stat : 16439 (java) S 16423 16426 8919 0 -1 1077944384 2665 0 0 0 76 1 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333702785904 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16440] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16440/stat : 16440 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53031383 16058228736 55412 33554432000 4194304 4196468 140720586292720 140331748158432 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16441] ppid=16423 vsize=15681864 memory=221648 CPUtime=0.86 cores=1,3,5,7
/proc/16426/task/16441/stat : 16441 (java) S 16423 16426 8919 0 -1 1077944384 167 0 0 0 37 49 0 0 20 0 19 0 53031383 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333701732784 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16443] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16443/stat : 16443 (java) S 16423 16426 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53031546 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334097597376 140334299320089 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16445] ppid=16423 vsize=15681864 memory=69172 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16445/stat : 16445 (java) S 16423 16426 8919 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53031546 16058228736 55412 33554432000 4194304 4196468 140720586292720 140331211271600 140334299317405 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16446] ppid=16423 vsize=15681864 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16446/stat : 16446 (java) S 16423 16426 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 53031547 16058228736 55412 33554432000 4194304 4196468 140720586292720 140331345493808 140334299317405 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16447] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16447/stat : 16447 (java) S 16423 16426 8919 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 53031548 16058228736 55412 33554432000 4194304 4196468 140720586292720 140330942848416 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
Current children cumulated CPU time: 2505.23 s
Current children cumulated vsize: 15775360 KiB
Current children cumulated memory: 290820 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2517.11 s]
/proc/loadavg: 2.04 2.07 2.07 3/225 16926
/proc/meminfo: memFree=13426816/32770624 swapFree=67108860/67108860
[pid=16426] ppid=16423 vsize=15681864 memory=221648 CPUtime=4.59 cores=1,3,5,7
/proc/16426/stat : 16426 (java) S 16423 16426 8919 0 -1 1077944320 23444 0 0 0 399 60 0 0 20 0 19 0 53031376 16058228736 55412 33554432000 4194304 4196468 140720586292720 140720586275264 140334299295479 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
/proc/16426/statm: 3920466 55412 3218 1 0 3881322 0
[pid=16442] ppid=16426 vsize=93496 memory=69172 CPUtime=2515.47 cores=1,3,5,7
/proc/16442/stat : 16442 (minisat_release) R 16426 16426 8919 0 -1 4202496 118974 0 0 0 251536 11 0 0 20 0 1 0 53031546 95739904 17293 33554432000 4194304 4308513 140726790134848 140726790131072 4276465 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 10457088 140726790140591 140726790141102 140726790141102 140726790143941 0
/proc/16442/statm: 23374 17293 354 28 0 19614 0
[pid=16426/tid=16428] ppid=16423 vsize=15681864 memory=221648 CPUtime=1.71 cores=1,3,5,7
/proc/16426/task/16428/stat : 16428 (java) S 16423 16426 8919 0 -1 1077944384 17223 0 0 0 164 7 0 0 20 0 19 0 53031376 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334271134720 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16429] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16429/stat : 16429 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334303538064 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16430] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16430/stat : 16430 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334102313744 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16431] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16431/stat : 16431 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334101261456 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16432] ppid=16423 vsize=15681864 memory=69172 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16432/stat : 16432 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334100208656 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16433] ppid=16423 vsize=15681864 memory=221648 CPUtime=0.03 cores=1,3,5,7
/proc/16426/task/16433/stat : 16433 (java) S 16423 16426 8919 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 53031379 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333705943152 140334299306626 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16434] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16434/stat : 16434 (java) S 16423 16426 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53031380 16058228736 55412 33554432000 4194304 4196468 140720586292720 140332889006880 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16435] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16435/stat : 16435 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031380 16058228736 55412 33554432000 4194304 4196468 140720586292720 140332620571760 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16436] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16436/stat : 16436 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140332246063184 140334299314075 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16437] ppid=16423 vsize=15681864 memory=69172 CPUtime=0.56 cores=1,3,5,7
/proc/16426/task/16437/stat : 16437 (java) S 16423 16426 8919 0 -1 1077944384 1043 0 0 0 55 1 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333704890992 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16438] ppid=16423 vsize=15681864 memory=221648 CPUtime=0.59 cores=1,3,5,7
/proc/16426/task/16438/stat : 16438 (java) S 16423 16426 8919 0 -1 1077944384 928 0 0 0 59 0 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333703838192 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16439] ppid=16423 vsize=15681864 memory=69172 CPUtime=0.77 cores=1,3,5,7
/proc/16426/task/16439/stat : 16439 (java) S 16423 16426 8919 0 -1 1077944384 2665 0 0 0 76 1 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333702785904 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16440] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16440/stat : 16440 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53031383 16058228736 55412 33554432000 4194304 4196468 140720586292720 140331748158432 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16441] ppid=16423 vsize=15681864 memory=221648 CPUtime=0.87 cores=1,3,5,7
/proc/16426/task/16441/stat : 16441 (java) S 16423 16426 8919 0 -1 1077944384 169 0 0 0 37 50 0 0 20 0 19 0 53031383 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333701732784 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16443] ppid=16423 vsize=15681864 memory=-7824251494390651751 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16443/stat : 16443 (java) S 16423 16426 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53031546 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334097597376 140334299320089 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16445] ppid=16423 vsize=15681864 memory=69172 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16445/stat : 16445 (java) S 16423 16426 8919 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53031546 16058228736 55412 33554432000 4194304 4196468 140720586292720 140331211271600 140334299317405 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16446] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16446/stat : 16446 (java) S 16423 16426 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 53031547 16058228736 55412 33554432000 4194304 4196468 140720586292720 140331345493808 140334299317405 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16447] ppid=16423 vsize=15681864 memory=69172 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16447/stat : 16447 (java) S 16423 16426 8919 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 53031548 16058228736 55412 33554432000 4194304 4196468 140720586292720 140330942848416 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15775360 KiB
Current children cumulated memory: 290820 KiB
Sending SIGTERM to process tree (bottom up)
[startup+2517.12 s]
# the end of solver process 16426 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.36 s, system=0.731722 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2517.11 s]
/proc/loadavg: 2.04 2.07 2.07 3/225 16926
/proc/meminfo: memFree=13426816/32770624 swapFree=67108860/67108860
[pid=16426] ppid=16423 vsize=15681864 memory=221648 CPUtime=4.59 cores=1,3,5,7
/proc/16426/stat : 16426 (java) S 16423 16426 8919 0 -1 1077944320 23444 0 0 0 399 60 0 0 20 0 19 0 53031376 16058228736 55412 33554432000 4194304 4196468 140720586292720 140720586275264 140334299295479 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
/proc/16426/statm: 3920466 55412 3218 1 0 3881322 0
[pid=16442] ppid=16426 vsize=93496 memory=69172 CPUtime=2515.47 cores=1,3,5,7
/proc/16442/stat : 16442 (minisat_release) R 16426 16426 8919 0 -1 4202496 118974 0 0 0 251536 11 0 0 20 0 1 0 53031546 95739904 17293 33554432000 4194304 4308513 140726790134848 140726790131072 4276465 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 10457088 140726790140591 140726790141102 140726790141102 140726790143941 0
/proc/16442/statm: 23374 17293 354 28 0 19614 0
[pid=16426/tid=16428] ppid=16423 vsize=15681864 memory=221648 CPUtime=1.71 cores=1,3,5,7
/proc/16426/task/16428/stat : 16428 (java) S 16423 16426 8919 0 -1 1077944384 17223 0 0 0 164 7 0 0 20 0 19 0 53031376 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334271134720 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16429] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16429/stat : 16429 (java) S 16423 16426 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334303538064 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16430] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16430/stat : 16430 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334102313744 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16431] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16431/stat : 16431 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334101261456 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16432] ppid=16423 vsize=15681864 memory=69172 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16432/stat : 16432 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031378 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334100208656 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16433] ppid=16423 vsize=15681864 memory=221648 CPUtime=0.03 cores=1,3,5,7
/proc/16426/task/16433/stat : 16433 (java) S 16423 16426 8919 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 19 0 53031379 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333705943152 140334299306626 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16434] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16434/stat : 16434 (java) S 16423 16426 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53031380 16058228736 55412 33554432000 4194304 4196468 140720586292720 140332889006880 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16435] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16435/stat : 16435 (java) S 16423 16426 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53031380 16058228736 55412 33554432000 4194304 4196468 140720586292720 140332620571760 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16436] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16436/stat : 16436 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140332246063184 140334299314075 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16437] ppid=16423 vsize=15681864 memory=69172 CPUtime=0.56 cores=1,3,5,7
/proc/16426/task/16437/stat : 16437 (java) S 16423 16426 8919 0 -1 1077944384 1043 0 0 0 55 1 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333704890992 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16438] ppid=16423 vsize=15681864 memory=221648 CPUtime=0.59 cores=1,3,5,7
/proc/16426/task/16438/stat : 16438 (java) S 16423 16426 8919 0 -1 1077944384 928 0 0 0 59 0 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333703838192 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16439] ppid=16423 vsize=15681864 memory=69172 CPUtime=0.77 cores=1,3,5,7
/proc/16426/task/16439/stat : 16439 (java) S 16423 16426 8919 0 -1 1077944384 2665 0 0 0 76 1 0 0 20 0 19 0 53031382 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333702785904 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16440] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16440/stat : 16440 (java) S 16423 16426 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53031383 16058228736 55412 33554432000 4194304 4196468 140720586292720 140331748158432 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16441] ppid=16423 vsize=15681864 memory=221648 CPUtime=0.87 cores=1,3,5,7
/proc/16426/task/16441/stat : 16441 (java) S 16423 16426 8919 0 -1 1077944384 169 0 0 0 37 50 0 0 20 0 19 0 53031383 16058228736 55412 33554432000 4194304 4196468 140720586292720 140333701732784 140334299306626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16443] ppid=16423 vsize=15681864 memory=-7824251494390651751 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16443/stat : 16443 (java) S 16423 16426 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53031546 16058228736 55412 33554432000 4194304 4196468 140720586292720 140334097597376 140334299320089 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16445] ppid=16423 vsize=15681864 memory=69172 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16445/stat : 16445 (java) S 16423 16426 8919 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 53031546 16058228736 55412 33554432000 4194304 4196468 140720586292720 140331211271600 140334299317405 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16446] ppid=16423 vsize=15681864 memory=221648 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16446/stat : 16446 (java) S 16423 16426 8919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 53031547 16058228736 55412 33554432000 4194304 4196468 140720586292720 140331345493808 140334299317405 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
[pid=16426/tid=16447] ppid=16423 vsize=15681864 memory=69172 CPUtime=0 cores=1,3,5,7
/proc/16426/task/16447/stat : 16447 (java) S 16423 16426 8919 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 53031548 16058228736 55412 33554432000 4194304 4196468 140720586292720 140330942848416 140334299305685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33234944 140720586294260 140720586294537 140720586294537 140720586297295 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15775360 KiB
Current children cumulated memory: 290820 KiB
Child status: 1
Real time (s): 2517.12
CPU time (s): 2520.09
CPU user time (s): 2519.36
CPU system time (s): 0.731722
CPU usage (%): 100.118
Max. virtual memory (cumulated for all children) (KiB): 15775360
Max. memory (cumulated for all children) (KiB): 290820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.36
system time used= 0.731722
maximum resident set size= 224280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142452
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58160
involuntary context switches= 646
# summary of solver processes directly reported to runsolver:
# pid: 16426
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.36
# total CPU system time (s): 0.731722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2651 second user time and 26.207 second system time
The end