0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4485782-1751312600.opb'
0.54/0.61 c read 18.99MB (591.36ms)
0.54/0.61 c [cnf: #variables 185520 #clauses 405 #duplicates 0 #arr 1316640]
0.54/0.61 c
0.54/0.61 c make graph and approximate orbits
1.13/1.29 c [group: #orbits ~= 17400] (673.72ms)
1.13/1.29 c
1.13/1.29 c detect special group actions
1.13/1.29 c probe for Johnson action (limit=64)
1.13/1.29 c probe for row-column symmetry (limit=64, splits=16.78M)
1.23/1.33 c probe for row symmetry (limit=64, splits=16.78M)
1.63/1.79 c found row 6x2, generating row predicate
2.04/2.16 c found row 6x2, generating row predicate
2.43/2.50 c found row 6x2, generating row predicate
2.73/2.81 c found row 6x2, generating row predicate
3.04/3.12 c found row 6x2, generating row predicate
3.33/3.44 c found row 6x2, generating row predicate
3.62/3.74 c found row 6x2, generating row predicate
3.94/4.05 c found row 6x2, generating row predicate
4.22/4.35 c found row 6x2, generating row predicate
4.52/4.65 c found row 6x2, generating row predicate
4.82/4.96 c found row 6x2, generating row predicate
5.12/5.26 c found row 6x2, generating row predicate
5.42/5.57 c found row 6x2, generating row predicate
5.72/5.87 c found row 6x2, generating row predicate
6.03/6.17 c found row 6x2, generating row predicate
6.32/6.48 c found row 6x2, generating row predicate
6.62/6.78 c found row 6x2, generating row predicate
6.93/7.09 c found row 6x2, generating row predicate
7.22/7.39 c found row 6x2, generating row predicate
7.62/7.70 c found row 6x2, generating row predicate
7.82/8.00 c found row 6x2, generating row predicate
8.21/8.31 c found row 6x2, generating row predicate
8.51/8.61 c found row 6x2, generating row predicate
8.81/8.92 c found row 6x2, generating row predicate
9.11/9.22 c found row 6x2, generating row predicate
9.41/9.52 c found row 6x2, generating row predicate
9.71/9.83 c found row 6x2, generating row predicate
10.03/10.13 c found row 6x2, generating row predicate
10.31/10.44 c found row 6x2, generating row predicate
10.61/10.74 c found row 6x2, generating row predicate
10.81/10.91 c found row 4x2, generating row predicate
10.92/11.09 c found row 4x2, generating row predicate
10.92/11.09 c (9798.35ms)
10.92/11.09 c
10.92/11.09 c detect symmetries on remainder
10.92/11.09 c [graph: #vertices 955815 #edges 4173060]
10.92/11.09 c dejavu (support_limit=2048.00MB, budget_limit=64)
11.11/11.26 c [group: #symmetries 7.75*10^12764 #generators 21894] (178.75ms)
11.11/11.26 c
11.11/11.26 c optimize generators (opt_passes=64, conjugate_limit=256)
11.11/11.27 c ran it=0, +gens=8
12.21/12.35 c con best_support=4, best_gens=21894, +gens=60
12.21/12.35 c (1088.48ms)
12.21/12.35 c
12.21/12.35 c finalize break order and special generators
12.21/12.36 c
12.21/12.36 c add generic predicates (break_depth=20)
12.21/12.37 c added predicates for 21962 generators (3.42ms)
12.21/12.37 c
12.21/12.37 c generation finished
12.21/12.37 c [sbp: #constraints 22142 #add_vars 8]
12.21/12.37 c
12.21/12.37 c write result to 'HOME/instance-4485782-1751312600.opb.pre'
12.30/12.41 c wrote 19.63MB (41.98ms)
12.30/12.41 c ------------------------------------------------------------------
12.30/12.41 c 9798.35ms 79.03% detect_special
12.30/12.41 c 1088.48ms 8.78% optimize_gens
12.30/12.41 c 673.72ms 5.43% approx_orbits
12.30/12.41 c 591.36ms 4.77% parse
12.30/12.41 c 178.75ms 1.44% detect_generic
12.30/12.41 c 41.98ms 0.34% output
12.30/12.41 c 12.52ms 0.10% other
12.30/12.41 c 9.40ms 0.08% finalize_order
12.30/12.41 c 3.42ms 0.03% break_generic
12.30/12.41 c ───────────────────────────────────────────────
12.30/12.41 c 12397.98ms 100% total
12.30/12.41 c ------------------------------------------------------------------
12.30/12.44 c RoundingSat 2
12.30/12.44 c branch pb25
12.30/12.44 c commit 63f22ad
13.38/13.51 c #variables 185528 #constraints 15500
13.38/13.51 c objective is ce32
3381.25/3390.72 c initial watched CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3381.25/3390.72 c initial counting CF 32, 64, 128, Arb: 619 , 189 , 0 , 0
3381.25/3390.72 c bounds - >= 0 @ 3368.83
3600.00/3610.01 c #Conflicts: 1000 | #Constraints: 16499
3600.00/3610.01 c #Conflicts: 2000 | #Constraints: 17499
3600.00/3610.01 c INPROCESSING
3600.00/3610.01 c GARBAGE COLLECT
3600.00/3610.01 c #Conflicts: 3000 | #Constraints: 17534
3600.00/3610.01 c #Conflicts: 4000 | #Constraints: 18534
3600.00/3610.01 c cpu time 3584.11 s
3600.00/3610.01 c deterministic time 14041051547 1.40e+10
3600.00/3610.01 c optimization time 3421.42 s
3600.00/3610.01 c total solve time 161.732 s
3600.00/3610.01 c core-guided solve time 0 s
3600.00/3610.01 c propagation time 123.222 s
3600.00/3610.01 c conflict analysis time 16.881 s
3600.00/3610.01 c propagations 16056285
3600.00/3610.01 c resolve steps 7661
3600.00/3610.01 c decisions 3854052
3600.00/3610.01 c conflicts 4036
3600.00/3610.01 c restarts 21
3600.00/3610.01 c inprocessing phases 1
3600.00/3610.01 c garbage collections 1 ,( 100.00 )
3600.00/3610.01 c input clauses 14692 ,( 94.79 )
3600.00/3610.01 c input cardinalities 0 ,( 0.00 )
3600.00/3610.01 c input general constraints 808 ,( 5.21 )
3600.00/3610.01 c input average constraint length 109.78
3600.00/3610.01 c input average constraint degree 920145135.57
3600.00/3610.01 c learned clauses 25 ,( 0.62 )
3600.00/3610.01 c learned cardinalities 21 ,( 0.52 )
3600.00/3610.01 c learned general constraints 3990 ,( 98.86 )
3600.00/3610.01 c learned average constraint length 13372.28
3600.00/3610.01 c learned average constraint degree 1062135677.54
3600.00/3610.01 c watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.00/3610.01 c counting CF 32, 64, 128, Arb: 4608 , 189 , 0 , 0
3600.00/3610.01 c watched constraints 2 ,( 0.04 )
3600.00/3610.01 c counting constraints 4796 ,( 99.96 )
3600.00/3610.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 212242 , 32 , 957046698 ,( 927 , 957045771 )
3600.00/3610.01 c gcd simplifications 1234
3600.00/3610.01 c detected cardinalities 11
3600.00/3610.01 c weakened non-implied lits 16341676
3600.00/3610.01 c weakened non-implying lits 166324
3600.00/3610.01 c original variables 185528
3600.00/3610.01 c clausal propagations 212095
3600.00/3610.01 c cardinality propagations 76
3600.00/3610.01 c watched propagations 0
3600.00/3610.01 c counting propagations 15435385
3600.00/3610.01 c watch lookups 1993680849
3600.00/3610.01 c watch backjump lookups 0
3600.00/3610.01 c watch checks 117232
3600.00/3610.01 c propagation checks 11886572786
3600.00/3610.01 c constraint additions 120952550
3600.00/3610.01 c trail pops 19802792
3600.00/3610.01 c formula constraints 15500
3600.00/3610.01 c learned constraints 4036
3600.00/3610.01 c bound constraints 0
3600.00/3610.01 c core-guided constraints 0
3600.00/3610.01 c encountered formula constraints 8078
3600.00/3610.01 c encountered learned constraints 3619
3600.00/3610.01 c encountered bound constraints 0
3600.00/3610.01 c encountered core-guided constraints 0
3600.00/3610.01 c LP total time 116.993 s
3600.00/3610.01 c LP solve time 116.75 s
3600.00/3610.01 c LP constraints added 15500
3600.00/3610.01 c LP constraints removed 0
3600.00/3610.01 c LP pivots internal 6000
3600.00/3610.01 c LP pivots root 9000
3600.00/3610.01 c LP calls 4
3600.00/3610.01 c LP optimalities 0
3600.00/3610.01 c LP no pivot count 0
3600.00/3610.01 c LP infeasibilities 0
3600.00/3610.01 c LP valid Farkas constraints 0
3600.00/3610.01 c LP learned Farkas constraints 0
3600.00/3610.01 c LP basis resets 0
3600.00/3610.01 c LP cycling count 0
3600.00/3610.01 c LP singular count 0
3600.00/3610.01 c LP no primal count 0
3600.00/3610.01 c LP no farkas count 0
3600.00/3610.01 c LP other issue count 0
3600.00/3610.01 c LP Gomory cuts 0
3600.00/3610.01 c LP learned cuts 0
3600.00/3610.01 c LP deleted cuts 0
3600.00/3610.01 c LP encountered Gomory constraints 0
3600.00/3610.01 c LP encountered Farkas constraints 0
3600.00/3610.01 c LP encountered learned Farkas constraints 0
3600.00/3610.01 c CG auxiliary variables introduced 0
3600.00/3610.01 c CG solutions found 0
3600.00/3610.01 c CG cores constructed 0
3600.00/3610.01 c CG core cardinality constraints returned 0
3600.00/3610.01 c CG unit cores 0
3600.00/3610.01 c CG single cores 0
3600.00/3610.01 c CG blocks removed during cardinality reduction 0
3600.00/3610.01 c CG first core best 0
3600.00/3610.01 c CG decision core best 0
3600.00/3610.01 c CG core reduction tie 0
3600.00/3610.01 c CG core degree average 0.00
3600.00/3610.01 c CG core slack average 0.00
3600.00/3610.01 c CG core upper bound improvements 0
3600.00/3610.01 c STR number of successful calls 0
3600.00/3610.01 c STR number of unsuccessful calls 0
3600.00/3610.01 c STR number of inconclusive calls 0
3600.00/3610.01 c STR number of successful attempts 0
3600.00/3610.01 c STR number of unsuccessful attempts 0
3600.00/3610.01 c STR number of inconclusive attempts 0
3600.00/3610.01 c STR average degree increase per successful call inf
3600.00/3610.01 c STR average degree increase per successful attempt inf
3600.00/3610.01 c STR total number of conflicts for successful attempts 0
3600.00/3610.01 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.01 c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.01 c STR average number of conflicts per successful attempt inf
3600.00/3610.01 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.01 c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.01 c AVG.sumWPerc 85.74
3600.00/3610.01 c bigint constraints 189
3600.00/3610.01 s UNKNOWN
3600.00/3610.01 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: 63837 MiB (63252 MiB free)
memory of node 1: 64465 MiB (63318 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485782-1751312600/watcher-4485782-1751312600 -o /tmp/evaluation-result-4485782-1751312600/solver-4485782-1751312600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751305374-39323 --watchdog 3760 run-opt-ls.sh HOME/instance-4485782-1751312600.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 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
Starting watchdog thread
solver pid=40074, runsolver pid=40070
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.55 4.25 4.18 5/247 40080
/proc/meminfo: memFree=129594892/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40076] ppid=40074 vsize=32720 memory=24388 CPUtime=0.07 cores=4,6
/proc/40076/stat : 40076 (pbsuma) R 40074 40074 39312 0 -1 4194304 4217 0 0 0 6 1 0 0 20 0 1 0 46939161 33505280 6097 18446744073709551615 4210688 4653049 140734283347088 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 12005376 140734283352419 140734283352626 140734283352626 140734283358191 0
/proc/40076/statm: 8180 6097 960 108 0 5588 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 36912 KiB
Current children cumulated memory: 27332 KiB
[startup+0.211508 s]*
/proc/loadavg: 4.55 4.25 4.18 5/245 40081
/proc/meminfo: memFree=129579648/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40076] ppid=40074 vsize=40624 memory=31684 CPUtime=0.18 cores=4,6
/proc/40076/stat : 40076 (pbsuma) R 40074 40074 39312 0 -1 4194304 6028 0 0 0 16 2 0 0 20 0 1 0 46939161 41598976 7921 18446744073709551615 4210688 4653049 140734283347088 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 12005376 140734283352419 140734283352626 140734283352626 140734283358191 0
/proc/40076/statm: 10156 7921 960 108 0 7564 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44816 KiB
Current children cumulated memory: 34628 KiB
[startup+0.311214 s]*
/proc/loadavg: 4.55 4.25 4.18 5/249 40090
/proc/meminfo: memFree=129567992/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40076] ppid=40074 vsize=53892 memory=44180 CPUtime=0.26 cores=4,6
/proc/40076/stat : 40076 (pbsuma) R 40074 40074 39312 0 -1 4194304 8133 0 0 0 23 3 0 0 20 0 1 0 46939161 55185408 11045 18446744073709551615 4210688 4653049 140734283347088 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 12005376 140734283352419 140734283352626 140734283352626 140734283358191 0
/proc/40076/statm: 13473 11045 960 108 0 10881 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 58084 KiB
Current children cumulated memory: 47124 KiB
[startup+0.700311 s]
/proc/loadavg: 4.55 4.25 4.18 6/249 40102
/proc/meminfo: memFree=129550340/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40076] ppid=40074 vsize=101448 memory=84540 CPUtime=0.63 cores=4,6
/proc/40076/stat : 40076 (pbsuma) R 40074 40074 39312 0 -1 4194304 13735 0 0 0 57 6 0 0 20 0 1 0 46939161 103882752 21135 18446744073709551615 4210688 4653049 140734283347088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12005376 140734283352419 140734283352626 140734283352626 140734283358191 0
/proc/40076/statm: 25362 21135 960 108 0 22770 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 105640 KiB
Current children cumulated memory: 87484 KiB
[startup+1.5004 s]
/proc/loadavg: 4.55 4.25 4.18 5/254 40119
/proc/meminfo: memFree=129396916/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40076] ppid=40074 vsize=288816 memory=227176 CPUtime=1.43 cores=4,6
/proc/40076/stat : 40076 (pbsuma) R 40074 40074 39312 0 -1 4194304 30299 0 0 0 129 14 0 0 20 0 1 0 46939161 295747584 56794 18446744073709551615 4210688 4653049 140734283347088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12005376 140734283352419 140734283352626 140734283352626 140734283358191 0
/proc/40076/statm: 72204 56794 992 108 0 69612 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 293008 KiB
Current children cumulated memory: 230120 KiB
[startup+3.11343 s]
/proc/loadavg: 4.58 4.26 4.19 3/246 40188
/proc/meminfo: memFree=129894476/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40076] ppid=40074 vsize=288816 memory=227688 CPUtime=3.04 cores=4,6
/proc/40076/stat : 40076 (pbsuma) R 40074 40074 39312 0 -1 4194304 30455 0 0 0 290 14 0 0 20 0 1 0 46939161 295747584 56922 18446744073709551615 4210688 4653049 140734283347088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12005376 140734283352419 140734283352626 140734283352626 140734283358191 0
/proc/40076/statm: 72204 56922 992 108 0 69612 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 293008 KiB
Current children cumulated memory: 230632 KiB
[startup+6.30034 s]
/proc/loadavg: 4.58 4.26 4.19 4/250 40363
/proc/meminfo: memFree=129876476/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40076] ppid=40074 vsize=288816 memory=227688 CPUtime=6.22 cores=4,6
/proc/40076/stat : 40076 (pbsuma) R 40074 40074 39312 0 -1 4194304 30480 0 0 0 608 14 0 0 20 0 1 0 46939161 295747584 56922 18446744073709551615 4210688 4653049 140734283347088 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 12005376 140734283352419 140734283352626 140734283352626 140734283358191 0
/proc/40076/statm: 72204 56922 992 108 0 69612 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 293008 KiB
Current children cumulated memory: 230632 KiB
[startup+12.7003 s]
/proc/loadavg: 4.62 4.27 4.19 5/255 40402
/proc/meminfo: memFree=129756352/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+25.5004 s]
/proc/loadavg: 4.56 4.28 4.19 5/255 40403
/proc/meminfo: memFree=129601640/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=237872 CPUtime=13.02 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 40704 0 0 0 1291 11 0 0 20 0 1 0 46940403 288841728 59468 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 59468 2368 1147 0 57945 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 240816 KiB
[startup+51.114 s]
/proc/loadavg: 4.44 4.27 4.19 5/255 40404
/proc/meminfo: memFree=129191904/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=237872 CPUtime=38.56 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 40717 0 0 0 3845 11 0 0 20 0 1 0 46940403 288841728 59468 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 59468 2368 1147 0 57945 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 240816 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.26 4.19 5/256 40407
/proc/meminfo: memFree=128694956/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=237872 CPUtime=89.6 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 40752 0 0 0 8949 11 0 0 20 0 1 0 46940403 288841728 59468 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 59468 2368 1147 0 57945 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 240816 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.24 4.19 5/257 40411
/proc/meminfo: memFree=128506060/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=238000 CPUtime=149.42 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 40771 0 0 0 14931 11 0 0 20 0 1 0 46940403 288841728 59500 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 59500 2368 1147 0 57945 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 240944 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.20 4.17 5/256 40413
/proc/meminfo: memFree=128454352/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=238000 CPUtime=209.24 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 40793 0 0 0 20913 11 0 0 20 0 1 0 46940403 288841728 59500 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 59500 2368 1147 0 57945 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 240944 KiB
################
# More data... #
################
/proc/40403/statm: 70518 60140 2368 1147 0 57945 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 243504 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/253 40554
/proc/meminfo: memFree=122942888/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=240560 CPUtime=3081.19 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 41001 0 0 0 308107 12 0 0 20 0 1 0 46940403 288841728 60140 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 60140 2368 1147 0 57945 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 243504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/253 40556
/proc/meminfo: memFree=122940920/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=240560 CPUtime=3141.05 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 41001 0 0 0 314093 12 0 0 20 0 1 0 46940403 288841728 60140 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 60140 2368 1147 0 57945 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 243504 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/253 40558
/proc/meminfo: memFree=122906444/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=240560 CPUtime=3200.91 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 41001 0 0 0 320079 12 0 0 20 0 1 0 46940403 288841728 60140 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 60140 2368 1147 0 57945 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 243504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/253 40560
/proc/meminfo: memFree=122861928/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=240560 CPUtime=3260.77 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 41001 0 0 0 326065 12 0 0 20 0 1 0 46940403 288841728 60140 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 60140 2368 1147 0 57945 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 243504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.16 5/253 40562
/proc/meminfo: memFree=122812628/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=282072 memory=240560 CPUtime=3320.63 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 41001 0 0 0 332051 12 0 0 20 0 1 0 46940403 288841728 60140 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 70518 60140 2368 1147 0 57945 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 286264 KiB
Current children cumulated memory: 243504 KiB
[startup+3402.3 s]
/proc/loadavg: 4.60 4.25 4.20 5/253 40564
/proc/meminfo: memFree=122622824/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=371660 memory=327132 CPUtime=3380.48 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 50237 0 0 0 338031 17 0 0 20 0 1 0 46940403 380579840 81783 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 92915 81783 2400 1147 0 80342 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 375852 KiB
Current children cumulated memory: 330076 KiB
[startup+3462.3 s]
/proc/loadavg: 4.50 4.30 4.22 5/253 40566
/proc/meminfo: memFree=121921888/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=1059032 memory=1005120 CPUtime=3440.34 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 175246 0 0 0 343808 226 0 0 20 0 1 0 46940403 1084448768 251280 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 264758 251280 2432 1147 0 252185 0
Current children cumulated CPU time: 3452.67 s
Current children cumulated vsize: 1063224 KiB
Current children cumulated memory: 1008064 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.26 4.21 5/253 40568
/proc/meminfo: memFree=121882364/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=1061100 memory=1005504 CPUtime=3500.18 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 175351 0 0 0 349787 231 0 0 20 0 1 0 46940403 1086566400 251376 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 265275 251376 2432 1147 0 252702 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 1065292 KiB
Current children cumulated memory: 1008448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.24 4.20 5/254 40573
/proc/meminfo: memFree=121774836/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=1146880 memory=1092380 CPUtime=3560.03 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 194499 0 0 0 355709 294 0 0 20 0 1 0 46940403 1174405120 273095 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 286720 273095 2432 1147 0 274147 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 1151072 KiB
Current children cumulated memory: 1095324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.15 4.23 4.20 5/254 40574
/proc/meminfo: memFree=121396324/131382120 swapFree=33010160/33010684
[pid=40074] ppid=40070 vsize=4192 memory=2944 CPUtime=12.33 cores=4,6
/proc/40074/stat : 40074 (run-opt-ls.sh) S 40070 40074 39312 0 -1 4194304 237 44814 0 0 0 0 1214 19 20 0 1 0 46939160 4292608 736 18446744073709551615 94696131637248 94696132531781 140731361553984 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94696132770832 94696132818576 94696143597568 140731361560935 140731361561061 140731361561061 140731361566663 0
/proc/40074/statm: 1048 736 672 219 0 110 0
[pid=40403] ppid=40074 vsize=1679772 memory=1463684 CPUtime=3587.67 cores=4,6
/proc/40403/stat : 40403 (roundingsat) R 40074 40074 39312 0 -1 4194304 270454 0 0 0 358410 357 0 0 20 0 1 0 46940403 1720086528 365921 18446744073709551615 4227072 8923433 140726746516336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 25632768 140726746523974 140726746524200 140726746524200 140726746529770 0
/proc/40403/statm: 419943 365921 2432 1147 0 407370 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1683964 KiB
Current children cumulated memory: 1466628 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.02 s]
# the end of solver process 40074 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=12.1486 s, system=0.204076 s
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 40403 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.33 s, system=3.81253 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
Child status: 2
Real time (s): 3610.12
CPU time (s): 3600.14
CPU user time (s): 3596.33
CPU system time (s): 3.81253
CPU usage (%): 99.7235
Max. virtual memory (cumulated for all children) (KiB): 1683964
Max. memory (cumulated for all children) (KiB): 1466628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.33
system time used= 3.81253
maximum resident set size= 1463940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221
involuntary context switches= 1130
# summary of solver processes directly reported to runsolver:
# pid: 40074,40403
# total CPU time (s): 3600.14
# total CPU user time (s): 3596.33
# total CPU system time (s): 3.81253
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3776 second user time and 37.9773 second system time
The end