0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4485785-1751312699.opb'
0.49/0.58 c read 18.99MB (564.23ms)
0.49/0.58 c [cnf: #variables 185520 #clauses 405 #duplicates 0 #arr 1316640]
0.49/0.59 c output proof to 'PROOFDIR/proof-4485785-1751312699'
0.49/0.59 c
0.49/0.59 c make graph and approximate orbits
0.95/1.10 c [group: #orbits ~= 17400] (506.30ms)
0.95/1.10 c
0.95/1.10 c detect special group actions
0.95/1.10 c probe for Johnson action (limit=64)
0.95/1.10 c probe for row-column symmetry (limit=64, splits=16.78M)
1.04/1.14 c probe for row symmetry (limit=64, splits=16.78M)
1.43/1.53 c found row 6x2, generating row predicate
1.73/1.86 c found row 6x2, generating row predicate
2.04/2.17 c found row 6x2, generating row predicate
2.33/2.48 c found row 6x2, generating row predicate
2.72/2.80 c found row 6x2, generating row predicate
3.03/3.11 c found row 6x2, generating row predicate
3.31/3.42 c found row 6x2, generating row predicate
3.61/3.73 c found row 6x2, generating row predicate
3.93/4.03 c found row 6x2, generating row predicate
4.21/4.34 c found row 6x2, generating row predicate
4.50/4.65 c found row 6x2, generating row predicate
4.80/4.95 c found row 6x2, generating row predicate
5.10/5.26 c found row 6x2, generating row predicate
5.40/5.56 c found row 6x2, generating row predicate
5.70/5.86 c found row 6x2, generating row predicate
6.01/6.17 c found row 6x2, generating row predicate
6.29/6.47 c found row 6x2, generating row predicate
6.59/6.78 c found row 6x2, generating row predicate
6.91/7.07 c found row 6x2, generating row predicate
7.19/7.38 c found row 6x2, generating row predicate
7.49/7.68 c found row 6x2, generating row predicate
7.79/7.98 c found row 6x2, generating row predicate
8.09/8.28 c found row 6x2, generating row predicate
8.39/8.58 c found row 6x2, generating row predicate
8.69/8.87 c found row 6x2, generating row predicate
9.00/9.17 c found row 6x2, generating row predicate
9.28/9.47 c found row 6x2, generating row predicate
9.58/9.77 c found row 6x2, generating row predicate
9.90/10.07 c found row 6x2, generating row predicate
10.18/10.37 c found row 6x2, generating row predicate
10.38/10.53 c found row 4x2, generating row predicate
10.58/10.70 c found row 4x2, generating row predicate
10.58/10.70 c (9602.67ms)
10.58/10.70 c
10.58/10.70 c detect symmetries on remainder
10.58/10.71 c [graph: #vertices 955815 #edges 4173060]
10.58/10.71 c dejavu (support_limit=2048.00MB, budget_limit=64)
10.68/10.88 c [group: #symmetries 7.75*10^12764 #generators 21894] (175.73ms)
10.68/10.88 c
10.68/10.88 c optimize generators (opt_passes=64, conjugate_limit=256)
10.68/10.89 c ran it=0, +gens=8
11.78/11.90 c con best_support=4, best_gens=21894, +gens=60
11.78/11.90 c (1025.93ms)
11.78/11.90 c
11.78/11.90 c finalize break order and special generators
11.78/11.91 c
11.78/11.91 c add generic predicates (break_depth=20)
11.78/11.92 c added predicates for 21962 generators (3.21ms)
11.78/11.98 c
11.78/11.98 c generation finished
11.78/11.98 c [sbp: #constraints 22142 #add_vars 8]
11.78/11.99 c
11.78/11.99 c write result to 'HOME/instance-4485785-1751312699.opb.pre'
11.89/12.03 c wrote 19.63MB (41.70ms)
11.89/12.03 c ------------------------------------------------------------------
11.89/12.03 c 9602.67ms 79.91% detect_special
11.89/12.03 c 1025.93ms 8.54% optimize_gens
11.89/12.03 c 564.23ms 4.70% parse
11.89/12.03 c 506.30ms 4.21% approx_orbits
11.89/12.03 c 175.73ms 1.46% detect_generic
11.89/12.03 c 88.02ms 0.73% other
11.89/12.03 c 41.70ms 0.35% output
11.89/12.03 c 9.19ms 0.08% finalize_order
11.89/12.03 c 3.21ms 0.03% break_generic
11.89/12.03 c ───────────────────────────────────────────────
11.89/12.03 c 12016.98ms 100% total
11.89/12.03 c ------------------------------------------------------------------
11.89/12.08 c RoundingSat 2
11.89/12.08 c branch pb25
11.89/12.08 c commit 63f22ad
40.83/41.19 c #variables 185528 #constraints 15500
40.91/41.20 c objective is ce32
40.91/41.23 c initial watched CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
40.91/41.23 c initial counting CF 32, 64, 128, Arb: 619 , 189 , 0 , 0
40.91/41.23 c bounds - >= 0 @ 28.8388
3600.01/3642.72 c #Conflicts: 1000 | #Constraints: 16499
3600.01/3642.72 c #Conflicts: 2000 | #Constraints: 17499
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 3000 | #Constraints: 17508
3600.01/3642.72 c #Conflicts: 4000 | #Constraints: 18508
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 5000 | #Constraints: 17970
3600.01/3642.72 c #Conflicts: 6000 | #Constraints: 18970
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 7000 | #Constraints: 18041
3600.01/3642.72 c #Conflicts: 8000 | #Constraints: 19041
3600.01/3642.72 c #Conflicts: 9000 | #Constraints: 20041
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 10000 | #Constraints: 18803
3600.01/3642.72 c #Conflicts: 11000 | #Constraints: 19803
3600.01/3642.72 c #Conflicts: 12000 | #Constraints: 20803
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 13000 | #Constraints: 19279
3600.01/3642.72 c #Conflicts: 14000 | #Constraints: 20279
3600.01/3642.72 c #Conflicts: 15000 | #Constraints: 21279
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 16000 | #Constraints: 19528
3600.01/3642.72 c #Conflicts: 17000 | #Constraints: 20528
3600.01/3642.72 c #Conflicts: 18000 | #Constraints: 21528
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 19000 | #Constraints: 19654
3600.01/3642.72 c #Conflicts: 20000 | #Constraints: 20656
3600.01/3642.72 c #Conflicts: 21000 | #Constraints: 21656
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 22000 | #Constraints: 19395
3600.01/3642.72 c #Conflicts: 23000 | #Constraints: 20395
3600.01/3642.72 c #Conflicts: 24000 | #Constraints: 21395
3600.01/3642.72 c #Conflicts: 25000 | #Constraints: 22395
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 26000 | #Constraints: 19915
3600.01/3642.72 c #Conflicts: 27000 | #Constraints: 20915
3600.01/3642.72 c #Conflicts: 28000 | #Constraints: 21915
3600.01/3642.72 c #Conflicts: 29000 | #Constraints: 22915
3600.01/3642.72 c INPROCESSING
3600.01/3642.72 c GARBAGE COLLECT
3600.01/3642.72 c #Conflicts: 30000 | #Constraints: 20287
3600.01/3642.72 c cpu time 3539.56 s
3600.01/3642.72 c deterministic time 144689529640 1.45e+11
3600.01/3642.72 c optimization time 70.2398 s
3600.01/3642.72 c total solve time 3440.51 s
3600.01/3642.72 c core-guided solve time 1668.65 s
3600.01/3642.72 c propagation time 1620.96 s
3600.01/3642.72 c conflict analysis time 1187.25 s
3600.01/3642.72 c propagations 397545013
3600.01/3642.72 c resolve steps 53062
3600.01/3642.72 c decisions 41822839
3600.01/3642.72 c conflicts 30559
3600.01/3642.72 c restarts 111
3600.01/3642.72 c inprocessing phases 10
3600.01/3642.72 c garbage collections 10 ,( 100.00 )
3600.01/3642.72 c input clauses 14692 ,( 94.79 )
3600.01/3642.72 c input cardinalities 0 ,( 0.00 )
3600.01/3642.72 c input general constraints 808 ,( 5.21 )
3600.01/3642.72 c input average constraint length 109.78
3600.01/3642.72 c input average constraint degree 920145135.57
3600.01/3642.72 c learned clauses 93 ,( 0.30 )
3600.01/3642.72 c learned cardinalities 157 ,( 0.51 )
3600.01/3642.72 c learned general constraints 30311 ,( 99.18 )
3600.01/3642.72 c learned average constraint length 17239.12
3600.01/3642.72 c learned average constraint degree 27946919245.31
3600.01/3642.72 c watched CF 32, 64, 128, Arb: 24 , 0 , 0 , 0
3600.01/3642.72 c counting CF 32, 64, 128, Arb: 30907 , 189 , 0 , 0
3600.01/3642.72 c watched constraints 24 ,( 0.08 )
3600.01/3642.72 c counting constraints 31095 ,( 99.92 )
3600.01/3642.72 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2562306 , 978 , 12815699787 ,( 942648 , 12814757139 )
3600.01/3642.72 c gcd simplifications 11736
3600.01/3642.72 c detected cardinalities 86
3600.01/3642.72 c weakened non-implied lits 700969750
3600.01/3642.72 c weakened non-implying lits 1440070
3600.01/3642.72 c original variables 185528
3600.01/3642.72 c clausal propagations 2561651
3600.01/3642.72 c cardinality propagations 24
3600.01/3642.72 c watched propagations 19
3600.01/3642.72 c counting propagations 390200855
3600.01/3642.72 c watch lookups 23548831969
3600.01/3642.72 c watch backjump lookups 0
3600.01/3642.72 c watch checks 71476042
3600.01/3642.72 c propagation checks 118237009130
3600.01/3642.72 c constraint additions 1953473732
3600.01/3642.72 c trail pops 439280392
3600.01/3642.72 c formula constraints 15500
3600.01/3642.72 c learned constraints 30555
3600.01/3642.72 c bound constraints 0
3600.01/3642.72 c core-guided constraints 0
3600.01/3642.72 c encountered formula constraints 49225
3600.01/3642.72 c encountered learned constraints 25291
3600.01/3642.72 c encountered bound constraints 0
3600.01/3642.72 c encountered core-guided constraints 0
3600.01/3642.72 c LP total time 814.911 s
3600.01/3642.72 c LP solve time 814.29 s
3600.01/3642.72 c LP constraints added 15500
3600.01/3642.72 c LP constraints removed 0
3600.01/3642.72 c LP pivots internal 33522
3600.01/3642.72 c LP pivots root 57000
3600.01/3642.72 c LP calls 9
3600.01/3642.72 c LP optimalities 0
3600.01/3642.72 c LP no pivot count 0
3600.01/3642.72 c LP infeasibilities 3
3600.01/3642.72 c LP valid Farkas constraints 3
3600.01/3642.72 c LP learned Farkas constraints 3
3600.01/3642.72 c LP basis resets 0
3600.01/3642.72 c LP cycling count 0
3600.01/3642.72 c LP singular count 0
3600.01/3642.72 c LP no primal count 0
3600.01/3642.72 c LP no farkas count 0
3600.01/3642.72 c LP other issue count 0
3600.01/3642.72 c LP Gomory cuts 0
3600.01/3642.72 c LP learned cuts 0
3600.01/3642.72 c LP deleted cuts 0
3600.01/3642.72 c LP encountered Gomory constraints 0
3600.01/3642.72 c LP encountered Farkas constraints 9102
3600.01/3642.72 c LP encountered learned Farkas constraints 0
3600.01/3642.72 c CG auxiliary variables introduced 0
3600.01/3642.72 c CG solutions found 0
3600.01/3642.72 c CG cores constructed 0
3600.01/3642.72 c CG core cardinality constraints returned 0
3600.01/3642.72 c CG unit cores 0
3600.01/3642.72 c CG single cores 0
3600.01/3642.72 c CG blocks removed during cardinality reduction 0
3600.01/3642.72 c CG first core best 0
3600.01/3642.72 c CG decision core best 0
3600.01/3642.72 c CG core reduction tie 0
3600.01/3642.72 c CG core degree average 0.00
3600.01/3642.72 c CG core slack average 0.00
3600.01/3642.72 c CG core upper bound improvements 0
3600.01/3642.72 c STR number of successful calls 0
3600.01/3642.72 c STR number of unsuccessful calls 0
3600.01/3642.72 c STR number of inconclusive calls 0
3600.01/3642.72 c STR number of successful attempts 0
3600.01/3642.72 c STR number of unsuccessful attempts 0
3600.01/3642.72 c STR number of inconclusive attempts 0
3600.01/3642.72 c STR average degree increase per successful call inf
3600.01/3642.72 c STR average degree increase per successful attempt inf
3600.01/3642.72 c STR total number of conflicts for successful attempts 0
3600.01/3642.72 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3642.72 c STR total number of conflicts for inconclusive attempts 0
3600.01/3642.72 c STR average number of conflicts per successful attempt inf
3600.01/3642.72 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3642.72 c STR average number of conflicts per inconclusive attempt inf
3600.01/3642.72 c AVG.sumWPerc 90.96
3600.01/3642.72 c bigint constraints 189
3600.01/3642.72 s UNKNOWN
3600.01/3642.72 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) 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: 63794 MiB (47651 MiB free)
memory of node 1: 64507 MiB (51349 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485785-1751312699/watcher-4485785-1751312699 -o /tmp/evaluation-result-4485785-1751312699/solver-4485785-1751312699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751305434-42089 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4485785-1751312699.opb PROOFDIR/proof-4485785-1751312699
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=43001, runsolver pid=42998
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.29 4.28 4.23 4/244 43008
/proc/meminfo: memFree=104213620/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43003] ppid=43001 vsize=40624 memory=30504 CPUtime=0.08 cores=5,7
/proc/43003/stat : 43003 (pbsuma) R 43001 43001 42076 0 -1 4194304 5761 0 0 0 7 1 0 0 20 0 1 0 46949352 41598976 7626 18446744073709551615 4210688 4653049 140731987745392 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 25165824 140731987753187 140731987753522 140731987753522 140731987759087 0
/proc/43003/statm: 10156 7626 960 108 0 7564 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 44816 KiB
Current children cumulated memory: 33320 KiB
[startup+0.209054 s]*
/proc/loadavg: 4.29 4.28 4.23 5/246 43012
/proc/meminfo: memFree=106926944/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43003] ppid=43001 vsize=46532 memory=35880 CPUtime=0.19 cores=5,7
/proc/43003/stat : 43003 (pbsuma) R 43001 43001 42076 0 -1 4194304 7117 0 0 0 17 2 0 0 20 0 1 0 46949352 47648768 8970 18446744073709551615 4210688 4653049 140731987745392 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 25165824 140731987753187 140731987753522 140731987753522 140731987759087 0
/proc/43003/statm: 11633 8970 960 108 0 9041 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50724 KiB
Current children cumulated memory: 38696 KiB
[startup+0.314666 s]*
/proc/loadavg: 4.29 4.28 4.23 5/247 43017
/proc/meminfo: memFree=109531736/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43003] ppid=43001 vsize=53892 memory=42636 CPUtime=0.29 cores=5,7
/proc/43003/stat : 43003 (pbsuma) R 43001 43001 42076 0 -1 4194304 7774 0 0 0 26 3 0 0 20 0 1 0 46949352 55185408 10659 18446744073709551615 4210688 4653049 140731987745392 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 25165824 140731987753187 140731987753522 140731987753522 140731987759087 0
/proc/43003/statm: 13473 10659 960 108 0 10881 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 58084 KiB
Current children cumulated memory: 45452 KiB
[startup+0.700717 s]
/proc/loadavg: 4.34 4.29 4.23 5/250 43024
/proc/meminfo: memFree=114551580/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43003] ppid=43001 vsize=118344 memory=100700 CPUtime=0.64 cores=5,7
/proc/43003/stat : 43003 (pbsuma) R 43001 43001 42076 0 -1 4194304 14366 0 0 0 57 7 0 0 20 0 1 0 46949352 121184256 25175 18446744073709551615 4210688 4653049 140731987745392 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 25165824 140731987753187 140731987753522 140731987753522 140731987759087 0
/proc/43003/statm: 29586 25175 1024 108 0 26994 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 122536 KiB
Current children cumulated memory: 103516 KiB
[startup+1.50036 s]
/proc/loadavg: 4.34 4.29 4.23 5/251 43034
/proc/meminfo: memFree=124725348/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43003] ppid=43001 vsize=288824 memory=230752 CPUtime=1.43 cores=5,7
/proc/43003/stat : 43003 (pbsuma) R 43001 43001 42076 0 -1 4194304 29828 0 0 0 128 15 0 0 20 0 1 0 46949352 295755776 57688 18446744073709551615 4210688 4653049 140731987745392 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 25165824 140731987753187 140731987753522 140731987753522 140731987759087 0
/proc/43003/statm: 72206 57688 1056 108 0 69614 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 293016 KiB
Current children cumulated memory: 233568 KiB
[startup+3.11441 s]
/proc/loadavg: 4.34 4.29 4.23 5/254 43134
/proc/meminfo: memFree=129975688/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43003] ppid=43001 vsize=288824 memory=231136 CPUtime=3.03 cores=5,7
/proc/43003/stat : 43003 (pbsuma) R 43001 43001 42076 0 -1 4194304 29978 0 0 0 287 16 0 0 20 0 1 0 46949352 295755776 57784 18446744073709551615 4210688 4653049 140731987745392 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 25165824 140731987753187 140731987753522 140731987753522 140731987759087 0
/proc/43003/statm: 72206 57784 1056 108 0 69614 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 293016 KiB
Current children cumulated memory: 233952 KiB
[startup+6.30034 s]
/proc/loadavg: 4.48 4.32 4.24 4/257 43267
/proc/meminfo: memFree=129907588/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43003] ppid=43001 vsize=288824 memory=231136 CPUtime=6.19 cores=5,7
/proc/43003/stat : 43003 (pbsuma) R 43001 43001 42076 0 -1 4194304 30002 0 0 0 601 18 0 0 20 0 1 0 46949352 295755776 57784 18446744073709551615 4210688 4653049 140731987745392 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 25165824 140731987753187 140731987753522 140731987753522 140731987759087 0
/proc/43003/statm: 72206 57784 1056 108 0 69614 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 293016 KiB
Current children cumulated memory: 233952 KiB
[startup+12.7003 s]
/proc/loadavg: 4.44 4.32 4.24 5/262 43307
/proc/meminfo: memFree=129527796/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
Current children cumulated CPU time: 11.94 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2816 KiB
[startup+25.5004 s]
/proc/loadavg: 4.37 4.31 4.24 5/262 43308
/proc/meminfo: memFree=129043608/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=145932 memory=98404 CPUtime=13.32 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 15337 0 0 0 1323 9 0 0 20 0 1 0 46950558 149434368 24601 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 36483 24601 1952 1147 0 23910 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 150124 KiB
Current children cumulated memory: 101220 KiB
[startup+51.1151 s]
/proc/loadavg: 4.22 4.28 4.23 5/262 43308
/proc/meminfo: memFree=127763372/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=328872 memory=287568 CPUtime=38.85 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 41910 0 0 0 3863 22 0 0 20 0 1 0 46950558 336764928 71892 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 82218 71892 2304 1147 0 69645 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 333064 KiB
Current children cumulated memory: 290384 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.25 4.22 5/262 43311
/proc/meminfo: memFree=124710116/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=560016 memory=499452 CPUtime=89.78 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 83197 0 0 0 8776 202 0 0 20 0 1 0 46950558 573456384 124863 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 140004 124863 2336 1147 0 127431 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 564208 KiB
Current children cumulated memory: 502268 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.23 4.22 5/263 43315
/proc/meminfo: memFree=121652136/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=1276648 memory=1132608 CPUtime=149.62 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 197033 0 0 0 14617 345 0 0 20 0 1 0 46950558 1307287552 283152 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 319162 283152 2336 1147 0 306589 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 1280840 KiB
Current children cumulated memory: 1135424 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.22 4.21 5/263 43317
/proc/meminfo: memFree=119214240/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=1276648 memory=1132608 CPUtime=209.45 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 197109 0 0 0 20595 350 0 0 20 0 1 0 46950558 1307287552 283152 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 319162 283152 2336 1147 0 306589 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 1280840 KiB
Current children cumulated memory: 1135424 KiB
################
# More data... #
################
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=3887200 memory=3537424 CPUtime=3171.56 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 971506 0 1 0 312929 4227 0 0 20 0 1 0 46950558 3980492800 884356 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 971800 884356 2304 1147 0 959227 0
Current children cumulated CPU time: 3183.5 s
Current children cumulated vsize: 3891392 KiB
Current children cumulated memory: 3540240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.22 4.20 5/262 43491
/proc/meminfo: memFree=991836/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=3887200 memory=3537808 CPUtime=3231.38 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 971652 0 1 0 318906 4232 0 0 20 0 1 0 46950558 3980492800 884452 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 971800 884452 2304 1147 0 959227 0
Current children cumulated CPU time: 3243.32 s
Current children cumulated vsize: 3891392 KiB
Current children cumulated memory: 3540624 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.22 4.20 5/261 43493
/proc/meminfo: memFree=861272/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=3887200 memory=3538832 CPUtime=3291.21 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 974024 0 1 0 324886 4235 0 0 20 0 1 0 46950558 3980492800 884708 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 971800 884708 2304 1147 0 959227 0
Current children cumulated CPU time: 3303.15 s
Current children cumulated vsize: 3891392 KiB
Current children cumulated memory: 3541648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.21 4.19 3/262 43496
/proc/meminfo: memFree=831308/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=3887200 memory=3543056 CPUtime=3351.03 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 990861 0 1 0 330822 4281 0 0 20 0 1 0 46950558 3980492800 885764 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 971800 885764 2304 1147 0 959227 0
Current children cumulated CPU time: 3362.97 s
Current children cumulated vsize: 3891392 KiB
Current children cumulated memory: 3545872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/263 43499
/proc/meminfo: memFree=966060/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=3887200 memory=3548176 CPUtime=3410.32 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 1018473 0 1 0 336581 4451 0 0 20 0 1 0 46950558 3980492800 887044 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 971800 887044 2304 1147 0 959227 0
Current children cumulated CPU time: 3422.26 s
Current children cumulated vsize: 3891392 KiB
Current children cumulated memory: 3550992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.18 5/263 43501
/proc/meminfo: memFree=984660/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=3887200 memory=3550096 CPUtime=3469.49 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 1036250 0 1 0 342325 4624 0 0 20 0 1 0 46950558 3980492800 887524 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 971800 887524 2304 1147 0 959227 0
Current children cumulated CPU time: 3481.43 s
Current children cumulated vsize: 3891392 KiB
Current children cumulated memory: 3552912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/262 43503
/proc/meminfo: memFree=943140/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=3889968 memory=3565712 CPUtime=3528.29 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 1055513 0 1 0 348097 4732 0 0 20 0 1 0 46950558 3983327232 891428 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 972492 891428 2304 1147 0 959919 0
Current children cumulated CPU time: 3540.23 s
Current children cumulated vsize: 3894160 KiB
Current children cumulated memory: 3568528 KiB
[startup+3642.3 s]
/proc/loadavg: 4.30 4.21 4.19 5/256 43537
/proc/meminfo: memFree=3059720/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=3892392 memory=3590928 CPUtime=3587.66 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 1074340 0 1 0 353916 4850 0 0 20 0 1 0 46950558 3985809408 897732 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 973098 897732 2304 1147 0 960525 0
Current children cumulated CPU time: 3599.6 s
Current children cumulated vsize: 3896584 KiB
Current children cumulated memory: 3593744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3642.7 s]
/proc/loadavg: 4.30 4.21 4.19 5/256 43537
/proc/meminfo: memFree=3059720/131382120 swapFree=33010416/33010684
[pid=43001] ppid=42998 vsize=4192 memory=2816 CPUtime=11.94 cores=5,7
/proc/43001/stat : 43001 (run-opt-break-l) S 42998 43001 42076 0 -1 4194304 240 44585 0 0 0 0 1169 25 20 0 1 0 46949351 4292608 704 18446744073709551615 94291579232256 94291580126789 140722323861008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94291580365840 94291580413584 94291603091456 140722323863829 140722323864030 140722323864030 140722323869632 0
/proc/43001/statm: 1048 704 672 219 0 110 0
[pid=43308] ppid=43001 vsize=3892392 memory=3591056 CPUtime=3588.07 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 43001 43001 42076 0 -1 4194304 1074447 0 1 0 353956 4851 0 0 20 0 1 0 46950558 3985809408 897764 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 973098 897764 2304 1147 0 960525 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3896584 KiB
Current children cumulated memory: 3593872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3642.71 s]
# the end of solver process 43001 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=11.6928 s, system=0.261391 s
[startup+3643.1 s]
# the end of solver process 43308 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3551.31 s, system=48.8687 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+3642.8 s]*
/proc/loadavg: 4.30 4.21 4.19 4/255 43537
/proc/meminfo: memFree=8475664/131382120 swapFree=33010416/33010684
[pid=43308] ppid=42998 vsize=3892392 memory=3591568 CPUtime=3588.1 cores=5,7
/proc/43308/stat : 43308 (roundingsat) D 42998 43001 42076 0 -1 4194304 1074455 0 2 0 353956 4854 0 0 20 0 1 0 46950558 3985809408 897892 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 973098 897892 2432 1147 0 960525 0
Current cumulated CPU time of completed processes: 11.9542 s
Current children cumulated CPU time: 3588.1 s
Current children cumulated vsize: 3892392 KiB
Current children cumulated memory: 3591568 KiB
[startup+3643 s]*
/proc/loadavg: 4.30 4.21 4.19 5/255 43537
/proc/meminfo: memFree=10548324/131382120 swapFree=33010416/33010684
[pid=43308] ppid=42998 vsize=3856616 memory=3555840 CPUtime=3588.13 cores=5,7
/proc/43308/stat : 43308 (roundingsat) R 42998 43001 42076 0 -1 4194304 1076469 0 2 0 353957 4856 0 0 20 0 1 0 46950558 3949174784 888960 18446744073709551615 4227072 8923433 140727229175696 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35991552 140727229180180 140727229180456 140727229180456 140727229186026 0
/proc/43308/statm: 964154 888960 2432 1147 0 951581 0
Current cumulated CPU time of completed processes: 11.9542 s
Current children cumulated CPU time: 3588.13 s
Current children cumulated vsize: 3856616 KiB
Current children cumulated memory: 3555840 KiB
Child status: 2
Real time (s): 3643.11
CPU time (s): 3600.18
CPU user time (s): 3551.31
CPU system time (s): 48.8687
CPU usage (%): 98.8218
Max. virtual memory (cumulated for all children) (KiB): 3896584
Max. memory (cumulated for all children) (KiB): 3593872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.31
system time used= 48.8687
maximum resident set size= 3591568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1126112
page faults= 2
swaps= 0
block input operations= 6056
block output operations= 42681816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15632
involuntary context switches= 14198
# summary of solver processes directly reported to runsolver:
# pid: 43001,43308
# total CPU time (s): 3600.18
# total CPU user time (s): 3551.31
# total CPU system time (s): 48.8687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5145 second user time and 39.064 second system time
The end