| Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb |
| MD5SUM | ec9eb8bc5f0ce888f87dfc271da55db8 |
| Bench Category | optimization, small integers (OPTSMALLINT) |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -4944 |
| Optimality of the best value was proved | NO |
| Number of terms in the objective function | 773 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 76861 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1999 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 76861 |
| Number of bits of the biggest sum of numbers | 17 |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1189.05 |
| Number of variables | 11247 |
| Total number of constraints | 19739 |
| Number of constraints which are clauses | 77 |
| Number of constraints which are cardinality constraints (but not clauses) | 15744 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3918 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 68 |
LAUNCH ON wulflinc11 THE 2005-09-23 12:00:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=7999 boxname=wulflinc11 idbench=967 idsolver=7 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ec9eb8bc5f0ce888f87dfc271da55db8 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mzzv11.opb REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mzzv11.opb 0 IDLAUNCH: 7999 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 943476 kB Buffers: 11256 kB Cached: 62524 kB SwapCached: 0 kB Active: 43112 kB Inactive: 33564 kB HighTotal: 131008 kB HighFree: 64008 kB LowTotal: 903652 kB LowFree: 879468 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6964 kB Slab: 8932 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 12:23:38 (client local time) WITH STATUS 3 IN 253.285 SECONDS stats: 7999 7 253.285 3
1: seed: 0 Nr of vars set: 0 (#equs: 0) Nr of vars set: 354 (#equs: 73) #decisions: 12749; #end-nodes: 1270; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 1026 / 1276 (80) #axs: 13190, #non-axs: 1023 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: model found (1) Model found with constant: 65790 (11070:>=*); #decisions: 256; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 1023 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 65910 (10950:>=*); #decisions: 249; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 1023 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 65970 (10890:>=*); #decisions: 237; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 1023 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 65980 (10880:>=*); #decisions: 248; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 1023 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66040 (10820:>=*); #decisions: 216; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 1023 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66045 (10815:>=*); #decisions: 240; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13190, #non-axs: 1023 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66049 (10811:>=*); #decisions: 239; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 13190, #non-axs: 1023 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66050 (10810:>=*); #decisions: 201; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13190, #non-axs: 1023 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66054 (10806:>=*); #decisions: 429; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 82 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66111 (10749:>=*); #decisions: 245; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66126 (10734:>=*); #decisions: 312; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66157 (10703:>=*); #decisions: 244; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66162 (10698:>=*); #decisions: 243; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66165 (10695:>=*); #decisions: 236; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66170 (10690:>=*); #decisions: 273; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66174 (10686:>=*); #decisions: 288; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66179 (10681:>=*); #decisions: 479; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66182 (10678:>=*); #decisions: 239; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66190 (10670:>=*); #decisions: 230; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66194 (10666:>=*); #decisions: 391; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66197 (10663:>=*); #decisions: 279; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 13190, #non-axs: 1028 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66209 (10651:>=*); #decisions: 708; #end-nodes: 71; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 71 / 81 (80) #axs: 13190, #non-axs: 1029 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66210 (10650:>=*); #decisions: 282; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 13190, #non-axs: 1029 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66214 (10646:>=*); #decisions: 832; #end-nodes: 77; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 77 / 80 (80) #axs: 13190, #non-axs: 1029 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66217 (10643:>=*); #decisions: 236; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13190, #non-axs: 1029 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66225 (10635:>=*); #decisions: 231; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13190, #non-axs: 1029 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66229 (10631:>=*); #decisions: 34450; #end-nodes: 4056; #proof improvement attempts: 0; #restarts: 4 Current batch, end-nodes: 20 / 90 (81) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66249 (10611:>=*); #decisions: 256; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66269 (10591:>=*); #decisions: 278; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66284 (10576:>=*); #decisions: 280; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66289 (10571:>=*); #decisions: 283; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66294 (10566:>=*); #decisions: 392; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66310 (10550:>=*); #decisions: 373; #end-nodes: 30; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 30 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66350 (10510:>=*); #decisions: 256; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66360 (10500:>=*); #decisions: 257; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66365 (10495:>=*); #decisions: 268; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66380 (10480:>=*); #decisions: 278; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66385 (10475:>=*); #decisions: 274; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 13190, #non-axs: 4097 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66390 (10470:>=*); #decisions: 4669; #end-nodes: 494; #proof improvement attempts: 0; #restarts: 3 Current batch, end-nodes: 113 / 165 (80) #axs: 13190, #non-axs: 4333 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66442 (10418:>=*); #decisions: 1254; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 13190, #non-axs: 4333 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66457 (10403:>=*); #decisions: 1204; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 13190, #non-axs: 4335 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66462 (10398:>=*); #decisions: 878; #end-nodes: 57; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 57 / 80 (80) #axs: 13190, #non-axs: 4335 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66473 (10387:>=*); #decisions: 762; #end-nodes: 24; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 24 / 80 (80) #axs: 13190, #non-axs: 4335 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66478 (10382:>=*); #decisions: 763; #end-nodes: 49; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 49 / 80 (80) #axs: 13190, #non-axs: 4335 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66481 (10379:>=*); #decisions: 1070; #end-nodes: 25; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 25 / 80 (80) #axs: 13190, #non-axs: 4340 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66486 (10374:>=*); #decisions: 9234; #end-nodes: 1108; #proof improvement attempts: 0; #restarts: 5 Current batch, end-nodes: 92 / 146 (81) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66491 (10369:>=*); #decisions: 222; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66493 (10367:>=*); #decisions: 215; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66498 (10362:>=*); #decisions: 223; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66506 (10354:>=*); #decisions: 232; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66516 (10344:>=*); #decisions: 234; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66531 (10329:>=*); #decisions: 258; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66532 (10328:>=*); #decisions: 234; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66535 (10325:>=*); #decisions: 213; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66539 (10321:>=*); #decisions: 245; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66550 (10310:>=*); #decisions: 225; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66555 (10305:>=*); #decisions: 302; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66570 (10290:>=*); #decisions: 237; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66575 (10285:>=*); #decisions: 290; #end-nodes: 38; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 38 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66582 (10278:>=*); #decisions: 209; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66587 (10273:>=*); #decisions: 274; #end-nodes: 39; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 39 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66590 (10270:>=*); #decisions: 261; #end-nodes: 33; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 33 / 80 (80) #axs: 13190, #non-axs: 4915 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66595 (10265:>=*); #decisions: 4691; #end-nodes: 600; #proof improvement attempts: 0; #restarts: 1 Current batch, end-nodes: 517 / 683 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66941 (9919:>=*); #decisions: 236; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66971 (9889:>=*); #decisions: 220; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66991 (9869:>=*); #decisions: 236; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 66996 (9864:>=*); #decisions: 226; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67016 (9844:>=*); #decisions: 230; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67021 (9839:>=*); #decisions: 249; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67056 (9804:>=*); #decisions: 211; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67076 (9784:>=*); #decisions: 232; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67101 (9759:>=*); #decisions: 354; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67106 (9754:>=*); #decisions: 208; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67126 (9734:>=*); #decisions: 276; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67131 (9729:>=*); #decisions: 231; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 13190, #non-axs: 5298 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67136 (9724:>=*); #decisions: 302977; #end-nodes: 35869; #proof improvement attempts: 0; #restarts: 47 Current batch, end-nodes: 351 / 612 (91) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67139 (9721:>=*); #decisions: 334; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67144 (9716:>=*); #decisions: 336; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67146 (9714:>=*); #decisions: 341; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67149 (9711:>=*); #decisions: 335; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67154 (9706:>=*); #decisions: 331; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67159 (9701:>=*); #decisions: 382; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67189 (9671:>=*); #decisions: 426; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67246 (9614:>=*); #decisions: 400; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67306 (9554:>=*); #decisions: 353; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67316 (9544:>=*); #decisions: 328; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67321 (9539:>=*); #decisions: 336; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67329 (9531:>=*); #decisions: 336; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67334 (9526:>=*); #decisions: 396; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67344 (9516:>=*); #decisions: 445; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67354 (9506:>=*); #decisions: 369; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67359 (9501:>=*); #decisions: 408; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67361 (9499:>=*); #decisions: 338; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67369 (9491:>=*); #decisions: 342; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67374 (9486:>=*); #decisions: 422; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67376 (9484:>=*); #decisions: 345; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67384 (9476:>=*); #decisions: 362; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67389 (9471:>=*); #decisions: 403; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67394 (9466:>=*); #decisions: 502; #end-nodes: 27; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 27 / 80 (80) #axs: 13234, #non-axs: 23566 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67399 (9461:>=*); #decisions: 337; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 81 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67404 (9456:>=*); #decisions: 379; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67409 (9451:>=*); #decisions: 401; #end-nodes: 20; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 20 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67414 (9446:>=*); #decisions: 719; #end-nodes: 74; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 74 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67419 (9441:>=*); #decisions: 690; #end-nodes: 74; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 74 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67424 (9436:>=*); #decisions: 848; #end-nodes: 56; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 56 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67434 (9426:>=*); #decisions: 344; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67439 (9421:>=*); #decisions: 397; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67464 (9396:>=*); #decisions: 507; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67474 (9386:>=*); #decisions: 343; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67479 (9381:>=*); #decisions: 609; #end-nodes: 53; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 53 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67484 (9376:>=*); #decisions: 365; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67489 (9371:>=*); #decisions: 359; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67494 (9366:>=*); #decisions: 463; #end-nodes: 44; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 44 / 80 (80) #axs: 13234, #non-axs: 23567 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67499 (9361:>=*); #decisions: 59780; #end-nodes: 6687; #proof improvement attempts: 0; #restarts: 9 Current batch, end-nodes: 396 / 397 (82) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67775 (9085:>=*); #decisions: 406; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67835 (9025:>=*); #decisions: 385; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67851 (9009:>=*); #decisions: 405; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67896 (8964:>=*); #decisions: 406; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67940 (8920:>=*); #decisions: 383; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67956 (8904:>=*); #decisions: 386; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67970 (8890:>=*); #decisions: 384; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67986 (8874:>=*); #decisions: 394; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 67996 (8864:>=*); #decisions: 372; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68001 (8859:>=*); #decisions: 427; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68061 (8799:>=*); #decisions: 373; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68066 (8794:>=*); #decisions: 381; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68081 (8779:>=*); #decisions: 425; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68121 (8739:>=*); #decisions: 376; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68136 (8724:>=*); #decisions: 427; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68141 (8719:>=*); #decisions: 374; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68151 (8709:>=*); #decisions: 578; #end-nodes: 28; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 28 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68220 (8640:>=*); #decisions: 386; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68236 (8624:>=*); #decisions: 403; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68281 (8579:>=*); #decisions: 377; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68290 (8570:>=*); #decisions: 382; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68306 (8554:>=*); #decisions: 393; #end-nodes: 9; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 9 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68311 (8549:>=*); #decisions: 383; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68326 (8534:>=*); #decisions: 427; #end-nodes: 12; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 12 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68336 (8524:>=*); #decisions: 429; #end-nodes: 17; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 17 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68341 (8519:>=*); #decisions: 363; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68356 (8504:>=*); #decisions: 386; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68386 (8474:>=*); #decisions: 396; #end-nodes: 16; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 16 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68396 (8464:>=*); #decisions: 515; #end-nodes: 34; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 34 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68406 (8454:>=*); #decisions: 354; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68411 (8449:>=*); #decisions: 358; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68421 (8439:>=*); #decisions: 393; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68431 (8429:>=*); #decisions: 467; #end-nodes: 31; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 31 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68446 (8414:>=*); #decisions: 444; #end-nodes: 23; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 23 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68456 (8404:>=*); #decisions: 750; #end-nodes: 58; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 58 / 80 (80) #axs: 13234, #non-axs: 27769 tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68461 (8399:>=*); #decisions: 408261; #end-nodes: 44600; #proof improvement attempts: 0; #restarts: 77 Current batch, end-nodes: 177 / 214 (99) #axs: 13264, #non-axs: 46340 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68471 (8389:>=*); #decisions: 870; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 80 (80) #axs: 13264, #non-axs: 46341 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68481 (8379:>=*); #decisions: 483; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 80 (80) #axs: 13264, #non-axs: 46341 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68486 (8374:>=*); #decisions: 530; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 80 (80) #axs: 13264, #non-axs: 46341 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68496 (8364:>=*); #decisions: 636; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 80 (80) #axs: 13264, #non-axs: 46341 tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 68501 (8359:>=*); #decisions: 409607; #end-nodes: 39258; #proof improvement attempts: 0; #restarts: 96 Current batch, end-nodes: 0 / 442 (103) #axs: 13347, #non-axs: 38805 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 68501 (8359:>=*) No proof was found though that an increment of the last pushed constraint doesn't have a model. result: the time limit has been exceeded (2) seed: 0 Nr of vars set: 3062 (#equs: 230) Time taken: 5 min, 17 sec 2: seed: 0 Nr of vars set: 3062 (#equs: 0) Nr of vars set: 3064 (#equs: 0) #decisions: 42476; #end-nodes: 4076; #proof improvement attempts: 0; #restarts: 5 Current batch, end-nodes: 144 / 243 (121) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: model found (1) Model found with constant: 64233 (7827:>=*); #decisions: 462; #end-nodes: 5; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 5 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64263 (7797:>=*); #decisions: 471; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64278 (7782:>=*); #decisions: 480; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64293 (7767:>=*); #decisions: 457; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64318 (7742:>=*); #decisions: 440; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64333 (7727:>=*); #decisions: 470; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64348 (7712:>=*); #decisions: 459; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64363 (7697:>=*); #decisions: 456; #end-nodes: 4; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 4 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64388 (7672:>=*); #decisions: 443; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64403 (7657:>=*); #decisions: 482; #end-nodes: 14; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 14 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64413 (7647:>=*); #decisions: 471; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64423 (7637:>=*); #decisions: 457; #end-nodes: 21; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 21 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64433 (7627:>=*); #decisions: 521; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 120 (120) #axs: 10801, #non-axs: 40419 tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 10 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64463 (7597:>=*); #decisions: 349931; #end-nodes: 35579; #proof improvement attempts: 0; #restarts: 50 Current batch, end-nodes: 372 / 444 (132) #axs: 10801, #non-axs: 28353 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64472 (7588:>=*); #decisions: 393333; #end-nodes: 39038; #proof improvement attempts: 0; #restarts: 43 Current batch, end-nodes: 404 / 475 (130) #axs: 10801, #non-axs: 35439 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64477 (7583:>=*); #decisions: 1254; #end-nodes: 37; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 37 / 120 (120) #axs: 10801, #non-axs: 35439 tight: meta-meta: start: 5, end: 7; meta: start: 4, end (keep): 5 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64487 (7573:>=*); #decisions: 312094; #end-nodes: 29552; #proof improvement attempts: 0; #restarts: 42 Current batch, end-nodes: 289 / 329 (130) #axs: 10801, #non-axs: 23960 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64496 (7564:>=*); #decisions: 469; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10801, #non-axs: 23960 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64501 (7559:>=*); #decisions: 535; #end-nodes: 22; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 22 / 120 (120) #axs: 10801, #non-axs: 23960 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64506 (7554:>=*); #decisions: 678; #end-nodes: 43; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 43 / 120 (120) #axs: 10801, #non-axs: 23960 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64511 (7549:>=*); #decisions: 798; #end-nodes: 51; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 51 / 120 (120) #axs: 10801, #non-axs: 23960 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64516 (7544:>=*); #decisions: 111028; #end-nodes: 11067; #proof improvement attempts: 0; #restarts: 14 Current batch, end-nodes: 894 / 1003 (123) #axs: 10801, #non-axs: 25552 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64517 (7543:>=*); #decisions: 407821; #end-nodes: 36889; #proof improvement attempts: 0; #restarts: 55 Current batch, end-nodes: 1039 / 1269 (133) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64522 (7538:>=*); #decisions: 923; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64527 (7533:>=*); #decisions: 1000; #end-nodes: 19; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 19 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64532 (7528:>=*); #decisions: 1073; #end-nodes: 26; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 26 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64537 (7523:>=*); #decisions: 966; #end-nodes: 20; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 20 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64542 (7518:>=*); #decisions: 912; #end-nodes: 13; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 13 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64547 (7513:>=*); #decisions: 1235; #end-nodes: 70; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 70 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64552 (7508:>=*); #decisions: 933; #end-nodes: 6; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 6 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64562 (7498:>=*); #decisions: 1069; #end-nodes: 38; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 38 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64567 (7493:>=*); #decisions: 1064; #end-nodes: 43; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 43 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64572 (7488:>=*); #decisions: 1008; #end-nodes: 35; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 35 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64577 (7483:>=*); #decisions: 1024; #end-nodes: 49; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 49 / 120 (120) #axs: 10801, #non-axs: 27805 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64582 (7478:>=*); #decisions: 449986; #end-nodes: 40198; #proof improvement attempts: 0; #restarts: 67 Current batch, end-nodes: 172 / 367 (136) #axs: 10801, #non-axs: 30816 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64584 (7476:>=*); #decisions: 652; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10801, #non-axs: 30816 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64589 (7471:>=*); #decisions: 704; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 120 (120) #axs: 10801, #non-axs: 30816 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64594 (7466:>=*); #decisions: 417650; #end-nodes: 37990; #proof improvement attempts: 0; #restarts: 67 Current batch, end-nodes: 42 / 162 (136) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64625 (7435:>=*); #decisions: 518; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64685 (7375:>=*); #decisions: 493; #end-nodes: 0; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 0 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64715 (7345:>=*); #decisions: 480; #end-nodes: 3; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 3 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64725 (7335:>=*); #decisions: 561; #end-nodes: 15; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 15 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64730 (7330:>=*); #decisions: 510; #end-nodes: 10; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 10 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64740 (7320:>=*); #decisions: 483; #end-nodes: 2; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 2 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64750 (7310:>=*); #decisions: 600; #end-nodes: 20; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 20 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64760 (7300:>=*); #decisions: 509; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64770 (7290:>=*); #decisions: 487; #end-nodes: 8; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 8 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64780 (7280:>=*); #decisions: 535; #end-nodes: 11; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 11 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64790 (7270:>=*); #decisions: 570; #end-nodes: 32; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 32 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64800 (7260:>=*); #decisions: 834; #end-nodes: 52; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 52 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64820 (7240:>=*); #decisions: 453; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64830 (7230:>=*); #decisions: 464; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64840 (7220:>=*); #decisions: 613; #end-nodes: 18; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 18 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64850 (7210:>=*); #decisions: 698; #end-nodes: 36; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 36 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64855 (7205:>=*); #decisions: 812; #end-nodes: 78; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 78 / 120 (120) #axs: 10801, #non-axs: 33675 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 64865 (7195:>=*); #decisions: 165333; #end-nodes: 14740; #proof improvement attempts: 0; #restarts: 39 Current batch, end-nodes: 185 / 234 (129) #axs: 10801, #non-axs: 36139 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 65111 (6949:>=*); #decisions: 921; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 120 (120) #axs: 10801, #non-axs: 36139 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 65171 (6889:>=*); #decisions: 872; #end-nodes: 1; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 1 / 120 (120) #axs: 10801, #non-axs: 36139 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 65186 (6874:>=*); #decisions: 853; #end-nodes: 7; #proof improvement attempts: 0; #restarts: 0 Current batch, end-nodes: 7 / 120 (120) #axs: 10801, #non-axs: 36139 tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: 65196 (6864:>=*); #decisions: 381772; #end-nodes: 37331; #proof improvement attempts: 0; #restarts: 96 Current batch, end-nodes: 0 / 271 (143) #axs: 10827, #non-axs: 41265 tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 Model found with constant: (pushed:) 65196 (6864:>=*) No proof was found though that an increment of the last pushed constraint doesn't have a model. result: the time limit has been exceeded (2) seed: 0 Nr of vars set: 3282 (#equs: 26) Time taken: 10 min, 33 sec 3: Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened. No such file or directory seed: 0 Nr of vars set: 3282 (#equs: 0) Nr of vars set: 3282 (#equs: 0) Interupt request received. #decisions: 1093779; #end-nodes: 117490; #proof improvement attempts: 0; #restarts: 189 Current batch, end-nodes: 403 / 589 (207) #axs: 10503, #non-axs: 47258 tight: meta-meta: start: 3, end: 4; meta: start: 3, end (keep): 3 loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50 result: an interupt signal has been received (3) No model found at all. result: an interupt signal has been received (3) seed: 0 Nr of vars set: 10689 (#equs: 2) Time taken: 4 min, 12 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) R 5093 5094 4060 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 20024599 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5094/statm): 174 3 169 147 0 27 0
[pid=5094] vsize: 696
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libtermcap.so.2
open syscall for file tls/i686/libtermcap.so.2
open syscall for file tls/mmx/libtermcap.so.2
open syscall for file tls/libtermcap.so.2
open syscall for file i686/mmx/libtermcap.so.2
open syscall for file i686/libtermcap.so.2
open syscall for file mmx/libtermcap.so.2
open syscall for file libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/libtermcap.so.2
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libtermcap.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /dev/tty
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file /oldhome/oroussel/solvers/vallstSAT2005PB.sh
New process pid=5095
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=5095) exited with status: 0
New process pid=5096
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=5096) exited with status: 0
New process pid=5097
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mzzv11.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 1.09 1.02 1.00 1/56 5099
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1325 0 0 0 894 39 0 0 25 0 1 0 20024606 7524352 1223 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 1837 1223 413 48 0 1789 0
[pid=5097] vsize: 7348
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (Kb) 9476
[startup+20.0044 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 5099
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1355 0 0 0 1792 76 0 0 22 0 1 0 20024606 14774272 1253 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 3607 1253 413 48 0 3559 0
[pid=5097] vsize: 14428
Current children cumulated CPU time (s) 18.71
Current children cumulated vsize (Kb) 16556
[startup+30.0063 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5099
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1447 0 0 0 2582 151 0 0 22 0 1 0 20024606 14778368 1345 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5097/statm): 3608 1345 413 48 0 3560 0
[pid=5097] vsize: 14432
Current children cumulated CPU time (s) 27.36
Current children cumulated vsize (Kb) 16560
[startup+40.007 s]
Raw data (loadavg): 1.13 1.03 1.01 1/56 5099
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1473 0 0 0 3379 222 0 0 22 0 1 0 20024606 14778368 1371 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5097/statm): 3608 1371 413 48 0 3560 0
[pid=5097] vsize: 14432
Current children cumulated CPU time (s) 36.04
Current children cumulated vsize (Kb) 16560
[startup+50.0088 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 5099
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) R 5094 5094 4060 0 -1 0 1528 0 0 0 4207 278 0 0 25 0 1 0 20024606 14839808 1426 4294967295 134512640 134702520 3221223952 3221222976 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5097/statm): 3623 1426 413 48 0 3575 0
[pid=5097] vsize: 14492
Current children cumulated CPU time (s) 44.88
Current children cumulated vsize (Kb) 16620
[startup+60.0096 s]
Raw data (loadavg): 1.09 1.03 1.01 1/56 5099
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1530 0 0 0 5000 345 0 0 22 0 1 0 20024606 14839808 1428 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5097/statm): 3623 1428 413 48 0 3575 0
[pid=5097] vsize: 14492
Current children cumulated CPU time (s) 53.48
Current children cumulated vsize (Kb) 16620
[startup+70.0104 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5099
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1631 0 0 0 5806 411 0 0 22 0 1 0 20024606 14839808 1529 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 3623 1529 413 48 0 3575 0
[pid=5097] vsize: 14492
Current children cumulated CPU time (s) 62.2
Current children cumulated vsize (Kb) 16620
[startup+80.0121 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5099
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1690 0 0 0 6642 469 0 0 25 0 1 0 20024606 15028224 1588 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5097/statm): 3669 1588 413 48 0 3621 0
[pid=5097] vsize: 14676
Current children cumulated CPU time (s) 71.14
Current children cumulated vsize (Kb) 16804
[startup+90.0129 s]
Raw data (loadavg): 1.13 1.04 1.01 1/60 5149
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1713 0 0 0 7450 531 0 0 21 0 1 0 20024606 15028224 1611 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 3669 1611 413 48 0 3621 0
[pid=5097] vsize: 14676
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 16804
[startup+100.014 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5154
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1768 0 0 0 8255 597 0 0 24 0 1 0 20024606 15163392 1666 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 3702 1666 413 48 0 3654 0
[pid=5097] vsize: 14808
Current children cumulated CPU time (s) 88.55
Current children cumulated vsize (Kb) 16936
[startup+110.015 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5154
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1798 0 0 0 9059 666 0 0 23 0 1 0 20024606 16150528 1696 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5097/statm): 3943 1696 413 48 0 3895 0
[pid=5097] vsize: 15772
Current children cumulated CPU time (s) 97.28
Current children cumulated vsize (Kb) 17900
[startup+120.015 s]
Raw data (loadavg): 1.16 1.05 1.01 1/56 5154
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1849 0 0 0 9879 728 0 0 24 0 1 0 20024606 16285696 1747 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 3976 1747 413 48 0 3928 0
[pid=5097] vsize: 15904
Current children cumulated CPU time (s) 106.1
Current children cumulated vsize (Kb) 18032
[startup+130.017 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 5154
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) R 5094 5094 4060 0 -1 0 1881 0 0 0 10689 798 0 0 24 0 1 0 20024606 16285696 1779 4294967295 134512640 134702520 3221223952 3221223232 134550461 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5097/statm): 3976 1779 413 48 0 3928 0
[pid=5097] vsize: 15904
Current children cumulated CPU time (s) 114.9
Current children cumulated vsize (Kb) 18032
[startup+140.018 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 5154
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1930 0 0 0 11516 856 0 0 24 0 1 0 20024606 16285696 1828 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 3976 1828 413 48 0 3928 0
[pid=5097] vsize: 15904
Current children cumulated CPU time (s) 123.75
Current children cumulated vsize (Kb) 18032
[startup+150.02 s]
Raw data (loadavg): 1.18 1.06 1.01 1/56 5154
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1957 0 0 0 12366 906 0 0 20 0 1 0 20024606 16420864 1855 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4009 1855 413 48 0 3961 0
[pid=5097] vsize: 16036
Current children cumulated CPU time (s) 132.75
Current children cumulated vsize (Kb) 18164
[startup+160.02 s]
Raw data (loadavg): 1.15 1.06 1.01 1/56 5156
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 1966 0 0 0 13199 960 0 0 24 0 1 0 20024606 16420864 1864 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4009 1864 413 48 0 3961 0
[pid=5097] vsize: 16036
Current children cumulated CPU time (s) 141.62
Current children cumulated vsize (Kb) 18164
[startup+170.02 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2035 0 0 0 14043 1012 0 0 23 0 1 0 20024606 16781312 1933 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4097 1933 413 48 0 4049 0
[pid=5097] vsize: 16388
Current children cumulated CPU time (s) 150.58
Current children cumulated vsize (Kb) 18516
[startup+180.021 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2056 0 0 0 14859 1073 0 0 24 0 1 0 20024606 16781312 1954 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4097 1954 413 48 0 4049 0
[pid=5097] vsize: 16388
Current children cumulated CPU time (s) 159.35
Current children cumulated vsize (Kb) 18516
[startup+190.023 s]
Raw data (loadavg): 1.17 1.07 1.01 2/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2091 0 0 0 15703 1126 0 0 23 0 1 0 20024606 16916480 1989 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4130 1989 413 48 0 4082 0
[pid=5097] vsize: 16520
Current children cumulated CPU time (s) 168.32
Current children cumulated vsize (Kb) 18648
[startup+200.024 s]
Raw data (loadavg): 1.14 1.07 1.01 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2118 0 0 0 16534 1186 0 0 24 0 1 0 20024606 16916480 2016 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4130 2016 413 48 0 4082 0
[pid=5097] vsize: 16520
Current children cumulated CPU time (s) 177.23
Current children cumulated vsize (Kb) 18648
[startup+210.024 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2159 0 0 0 17378 1240 0 0 25 0 1 0 20024606 16916480 2057 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4130 2057 413 48 0 4082 0
[pid=5097] vsize: 16520
Current children cumulated CPU time (s) 186.21
Current children cumulated vsize (Kb) 18648
[startup+220.025 s]
Raw data (loadavg): 1.18 1.08 1.02 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2175 0 0 0 18198 1302 0 0 22 0 1 0 20024606 16916480 2073 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4130 2073 413 48 0 4082 0
[pid=5097] vsize: 16520
Current children cumulated CPU time (s) 195.03
Current children cumulated vsize (Kb) 18648
[startup+230.026 s]
Raw data (loadavg): 1.15 1.08 1.02 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2214 0 0 0 19012 1367 0 0 22 0 1 0 20024606 17051648 2112 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4163 2112 413 48 0 4115 0
[pid=5097] vsize: 16652
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (Kb) 18780
[startup+240.027 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2253 0 0 0 19838 1425 0 0 24 0 1 0 20024606 18038784 2151 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4404 2151 413 48 0 4356 0
[pid=5097] vsize: 17616
Current children cumulated CPU time (s) 212.66
Current children cumulated vsize (Kb) 19744
[startup+250.029 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2272 0 0 0 20685 1479 0 0 24 0 1 0 20024606 18038784 2170 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4404 2170 413 48 0 4356 0
[pid=5097] vsize: 17616
Current children cumulated CPU time (s) 221.67
Current children cumulated vsize (Kb) 19744
[startup+260.029 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) R 5094 5094 4060 0 -1 0 2280 0 0 0 21531 1530 0 0 25 0 1 0 20024606 18173952 2178 4294967295 134512640 134702520 3221223952 3221222976 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4437 2178 413 48 0 4389 0
[pid=5097] vsize: 17748
Current children cumulated CPU time (s) 230.64
Current children cumulated vsize (Kb) 19876
[startup+270.03 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2287 0 0 0 22361 1587 0 0 22 0 1 0 20024606 18173952 2185 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4437 2185 413 48 0 4389 0
[pid=5097] vsize: 17748
Current children cumulated CPU time (s) 239.51
Current children cumulated vsize (Kb) 19876
[startup+280.031 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) R 5094 5094 4060 0 -1 0 2296 0 0 0 23186 1646 0 0 25 0 1 0 20024606 18173952 2194 4294967295 134512640 134702520 3221223952 3221149968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4437 2194 413 48 0 4389 0
[pid=5097] vsize: 17748
Current children cumulated CPU time (s) 248.35
Current children cumulated vsize (Kb) 19876
[startup+290.032 s]
Raw data (loadavg): 1.13 1.08 1.02 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2302 0 0 0 24028 1702 0 0 24 0 1 0 20024606 18173952 2200 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4437 2200 413 48 0 4389 0
[pid=5097] vsize: 17748
Current children cumulated CPU time (s) 257.33
Current children cumulated vsize (Kb) 19876
[startup+300.032 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) R 5094 5094 4060 0 -1 0 2308 0 0 0 24882 1751 0 0 25 0 1 0 20024606 18173952 2206 4294967295 134512640 134702520 3221223952 3221142912 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5097/statm): 4437 2206 413 48 0 4389 0
[pid=5097] vsize: 17748
Current children cumulated CPU time (s) 266.36
Current children cumulated vsize (Kb) 19876
[startup+310.033 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2344 0 0 0 25739 1802 0 0 24 0 1 0 20024606 18432000 2242 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4500 2242 413 48 0 4452 0
[pid=5097] vsize: 18000
Current children cumulated CPU time (s) 275.44
Current children cumulated vsize (Kb) 20128
[startup+320.034 s]
Raw data (loadavg): 1.08 1.07 1.01 2/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) R 5094 5094 4060 0 -1 0 2348 0 0 0 26601 1849 0 0 25 0 1 0 20024606 18432000 2246 4294967295 134512640 134702520 3221223952 3220971088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5097/statm): 4500 2246 413 48 0 4452 0
[pid=5097] vsize: 18000
Current children cumulated CPU time (s) 284.53
Current children cumulated vsize (Kb) 20128
[startup+330.036 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) R 5094 5094 4060 0 -1 0 2355 0 0 0 27442 1903 0 0 24 0 1 0 20024606 18436096 2253 4294967295 134512640 134702520 3221223952 3221223232 134552759 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5097/statm): 4501 2253 413 48 0 4453 0
[pid=5097] vsize: 18004
Current children cumulated CPU time (s) 293.48
Current children cumulated vsize (Kb) 20132
[startup+340.037 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) R 5094 5094 4060 0 -1 0 2359 0 0 0 28271 1960 0 0 25 0 1 0 20024606 18436096 2257 4294967295 134512640 134702520 3221223952 3221196688 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4501 2257 413 48 0 4453 0
[pid=5097] vsize: 18004
Current children cumulated CPU time (s) 302.34
Current children cumulated vsize (Kb) 20132
[startup+350.037 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 5158
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 330 232 0 0 1 1 0 1 19 0 1 0 20024599 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 242 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5097/stat): 5097 (vallst) T 5094 5094 4060 0 -1 0 2364 0 0 0 29229 1975 0 0 25 0 1 0 20024606 18583552 2262 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5097/statm): 4537 2262 413 48 0 4489 0
[pid=5097] vsize: 18148
Current children cumulated CPU time (s) 312.07
Current children cumulated vsize (Kb) 20276
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5097) exited with status: 2
New process pid=5159
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5159) exited with status: 0
New process pid=5160
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+360.038 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 1439 0 0 0 298 10 0 0 25 0 1 0 20060293 8761344 1409 4294967295 134512640 134702520 3221223712 3221102928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 2139 1409 413 48 0 2091 0
[pid=5160] vsize: 8556
Current children cumulated CPU time (s) 321.74
Current children cumulated vsize (Kb) 10684
[startup+370.039 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1590 0 0 0 1235 33 0 0 25 0 1 0 20060293 9428992 1560 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 2302 1560 413 48 0 2254 0
[pid=5160] vsize: 9208
Current children cumulated CPU time (s) 331.34
Current children cumulated vsize (Kb) 11336
[startup+380.04 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1666 0 0 0 2108 77 0 0 22 0 1 0 20060293 18776064 1636 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4584 1636 413 48 0 4536 0
[pid=5160] vsize: 18336
Current children cumulated CPU time (s) 340.51
Current children cumulated vsize (Kb) 20464
[startup+390.041 s]
Raw data (loadavg): 1.16 1.08 1.02 1/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1726 0 0 0 2900 146 0 0 22 0 1 0 20060293 18780160 1696 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 4585 1696 413 48 0 4537 0
[pid=5160] vsize: 18340
Current children cumulated CPU time (s) 349.12
Current children cumulated vsize (Kb) 20468
[startup+400.042 s]
Raw data (loadavg): 1.21 1.10 1.02 2/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 1757 0 0 0 3707 210 0 0 23 0 1 0 20060293 18915328 1727 4294967295 134512640 134702520 3221223712 3221222932 134549512 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4618 1727 413 48 0 4570 0
[pid=5160] vsize: 18472
Current children cumulated CPU time (s) 357.83
Current children cumulated vsize (Kb) 20600
[startup+410.043 s]
Raw data (loadavg): 1.18 1.09 1.02 2/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 1778 0 0 0 4588 249 0 0 24 0 1 0 20060293 18915328 1748 4294967295 134512640 134702520 3221223712 3221222968 134549067 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4618 1748 413 48 0 4570 0
[pid=5160] vsize: 18472
Current children cumulated CPU time (s) 367.03
Current children cumulated vsize (Kb) 20600
[startup+420.044 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1811 0 0 0 5382 319 0 0 21 0 1 0 20060293 20213760 1781 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4935 1781 413 48 0 4887 0
[pid=5160] vsize: 19740
Current children cumulated CPU time (s) 375.67
Current children cumulated vsize (Kb) 21868
[startup+430.046 s]
Raw data (loadavg): 1.13 1.08 1.02 2/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 1835 0 0 0 6186 382 0 0 22 0 1 0 20060293 20348928 1805 4294967295 134512640 134702520 3221223712 3221223136 134595901 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4968 1805 413 48 0 4920 0
[pid=5160] vsize: 19872
Current children cumulated CPU time (s) 384.34
Current children cumulated vsize (Kb) 22000
[startup+440.046 s]
Raw data (loadavg): 1.11 1.08 1.02 1/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1843 0 0 0 7065 422 0 0 22 0 1 0 20060293 20353024 1813 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4969 1813 413 48 0 4921 0
[pid=5160] vsize: 19876
Current children cumulated CPU time (s) 393.53
Current children cumulated vsize (Kb) 22004
[startup+450.047 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 5160
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1857 0 0 0 7843 497 0 0 22 0 1 0 20060293 20353024 1827 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4969 1827 413 48 0 4921 0
[pid=5160] vsize: 19876
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (Kb) 22004
[startup+460.048 s]
Raw data (loadavg): 1.08 1.08 1.01 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 1918 0 0 0 8645 562 0 0 25 0 1 0 20060293 20353024 1888 4294967295 134512640 134702520 3221223712 3221182528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4969 1888 413 48 0 4921 0
[pid=5160] vsize: 19876
Current children cumulated CPU time (s) 410.73
Current children cumulated vsize (Kb) 22004
[startup+470.049 s]
Raw data (loadavg): 1.06 1.07 1.01 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 1922 0 0 0 9489 615 0 0 22 0 1 0 20060293 20475904 1892 4294967295 134512640 134702520 3221223712 3221222992 134553404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 4999 1892 413 48 0 4951 0
[pid=5160] vsize: 19996
Current children cumulated CPU time (s) 419.7
Current children cumulated vsize (Kb) 22124
[startup+480.05 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1926 0 0 0 10271 686 0 0 22 0 1 0 20060293 20475904 1896 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4999 1896 413 48 0 4951 0
[pid=5160] vsize: 19996
Current children cumulated CPU time (s) 428.23
Current children cumulated vsize (Kb) 22124
[startup+490.05 s]
Raw data (loadavg): 1.04 1.07 1.01 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 1931 0 0 0 11058 757 0 0 21 0 1 0 20060293 20475904 1901 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 4999 1901 413 48 0 4951 0
[pid=5160] vsize: 19996
Current children cumulated CPU time (s) 436.81
Current children cumulated vsize (Kb) 22124
[startup+500.052 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 1935 0 0 0 11929 801 0 0 22 0 1 0 20060293 20480000 1905 4294967295 134512640 134702520 3221223712 3221222992 134550674 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5000 1905 413 48 0 4952 0
[pid=5160] vsize: 20000
Current children cumulated CPU time (s) 445.96
Current children cumulated vsize (Kb) 22128
[startup+510.053 s]
Raw data (loadavg): 1.03 1.06 1.01 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1941 0 0 0 12709 876 0 0 21 0 1 0 20060293 20480000 1911 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5000 1911 413 48 0 4952 0
[pid=5160] vsize: 20000
Current children cumulated CPU time (s) 454.51
Current children cumulated vsize (Kb) 22128
[startup+520.054 s]
Raw data (loadavg): 1.03 1.06 1.01 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1944 0 0 0 13487 953 0 0 23 0 1 0 20060293 20480000 1914 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5000 1914 413 48 0 4952 0
[pid=5160] vsize: 20000
Current children cumulated CPU time (s) 463.06
Current children cumulated vsize (Kb) 22128
[startup+530.055 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1948 0 0 0 14366 995 0 0 22 0 1 0 20060293 20582400 1918 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5025 1918 413 48 0 4977 0
[pid=5160] vsize: 20100
Current children cumulated CPU time (s) 472.27
Current children cumulated vsize (Kb) 22228
[startup+540.056 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 1952 0 0 0 15147 1067 0 0 23 0 1 0 20060293 20582400 1922 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5025 1922 413 48 0 4977 0
[pid=5160] vsize: 20100
Current children cumulated CPU time (s) 480.8
Current children cumulated vsize (Kb) 22228
[startup+550.058 s]
Raw data (loadavg): 1.01 1.05 1.01 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 1997 0 0 0 15943 1134 0 0 18 0 1 0 20060293 20582400 1967 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5025 1967 413 48 0 4977 0
[pid=5160] vsize: 20100
Current children cumulated CPU time (s) 489.43
Current children cumulated vsize (Kb) 22228
[startup+560.059 s]
Raw data (loadavg): 1.01 1.05 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2001 0 0 0 16717 1212 0 0 22 0 1 0 20060293 20582400 1971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5025 1971 413 48 0 4977 0
[pid=5160] vsize: 20100
Current children cumulated CPU time (s) 497.95
Current children cumulated vsize (Kb) 22228
[startup+570.06 s]
Raw data (loadavg): 1.01 1.05 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2006 0 0 0 17507 1279 0 0 20 0 1 0 20060293 20582400 1976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5025 1976 413 48 0 4977 0
[pid=5160] vsize: 20100
Current children cumulated CPU time (s) 506.52
Current children cumulated vsize (Kb) 22228
[startup+580.062 s]
Raw data (loadavg): 1.01 1.05 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2011 0 0 0 18383 1320 0 0 22 0 1 0 20060293 20692992 1981 4294967295 134512640 134702520 3221223712 3221222992 134550749 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5052 1981 413 48 0 5004 0
[pid=5160] vsize: 20208
Current children cumulated CPU time (s) 515.69
Current children cumulated vsize (Kb) 22336
[startup+590.062 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2015 0 0 0 19162 1396 0 0 21 0 1 0 20060293 20692992 1985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5052 1985 413 48 0 5004 0
[pid=5160] vsize: 20208
Current children cumulated CPU time (s) 524.24
Current children cumulated vsize (Kb) 22336
[startup+600.063 s]
Raw data (loadavg): 1.00 1.04 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2018 0 0 0 20036 1436 0 0 23 0 1 0 20060293 20692992 1988 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5052 1988 413 48 0 5004 0
[pid=5160] vsize: 20208
Current children cumulated CPU time (s) 533.38
Current children cumulated vsize (Kb) 22336
[startup+610.065 s]
Raw data (loadavg): 1.00 1.04 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2023 0 0 0 20803 1512 0 0 22 0 1 0 20060293 20692992 1993 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5052 1993 413 48 0 5004 0
[pid=5160] vsize: 20208
Current children cumulated CPU time (s) 541.81
Current children cumulated vsize (Kb) 22336
[startup+620.066 s]
Raw data (loadavg): 1.00 1.04 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2028 0 0 0 21557 1598 0 0 21 0 1 0 20060293 20692992 1998 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5052 1998 413 48 0 5004 0
[pid=5160] vsize: 20208
Current children cumulated CPU time (s) 550.21
Current children cumulated vsize (Kb) 22336
[startup+630.066 s]
Raw data (loadavg): 1.00 1.04 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2034 0 0 0 22332 1679 0 0 22 0 1 0 20060293 20692992 2004 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5052 2004 413 48 0 5004 0
[pid=5160] vsize: 20208
Current children cumulated CPU time (s) 558.77
Current children cumulated vsize (Kb) 22336
[startup+640.068 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2041 0 0 0 23102 1760 0 0 21 0 1 0 20060293 20692992 2011 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5052 2011 413 48 0 5004 0
[pid=5160] vsize: 20208
Current children cumulated CPU time (s) 567.28
Current children cumulated vsize (Kb) 22336
[startup+650.068 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2046 0 0 0 23881 1836 0 0 17 0 1 0 20060293 20828160 2016 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5085 2016 413 48 0 5037 0
[pid=5160] vsize: 20340
Current children cumulated CPU time (s) 575.83
Current children cumulated vsize (Kb) 22468
[startup+660.069 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2049 0 0 0 24750 1880 0 0 23 0 1 0 20060293 20828160 2019 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5085 2019 413 48 0 5037 0
[pid=5160] vsize: 20340
Current children cumulated CPU time (s) 584.96
Current children cumulated vsize (Kb) 22468
[startup+670.07 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2053 0 0 0 25532 1956 0 0 22 0 1 0 20060293 20828160 2023 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5085 2023 413 48 0 5037 0
[pid=5160] vsize: 20340
Current children cumulated CPU time (s) 593.54
Current children cumulated vsize (Kb) 22468
[startup+680.07 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2057 0 0 0 26300 2036 0 0 21 0 1 0 20060293 20828160 2027 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5085 2027 413 48 0 5037 0
[pid=5160] vsize: 20340
Current children cumulated CPU time (s) 602.02
Current children cumulated vsize (Kb) 22468
[startup+690.071 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2060 0 0 0 27173 2082 0 0 23 0 1 0 20060293 20828160 2030 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5085 2030 413 48 0 5037 0
[pid=5160] vsize: 20340
Current children cumulated CPU time (s) 611.21
Current children cumulated vsize (Kb) 22468
[startup+700.072 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2065 0 0 0 27947 2157 0 0 17 0 1 0 20060293 20828160 2035 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5085 2035 413 48 0 5037 0
[pid=5160] vsize: 20340
Current children cumulated CPU time (s) 619.7
Current children cumulated vsize (Kb) 22468
[startup+710.073 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2071 0 0 0 28722 2237 0 0 25 0 1 0 20060293 20828160 2041 4294967295 134512640 134702520 3221223712 3221188108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5085 2041 413 48 0 5037 0
[pid=5160] vsize: 20340
Current children cumulated CPU time (s) 628.25
Current children cumulated vsize (Kb) 22468
[startup+720.073 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2074 0 0 0 29559 2292 0 0 21 0 1 0 20060293 20946944 2044 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5114 2044 413 48 0 5066 0
[pid=5160] vsize: 20456
Current children cumulated CPU time (s) 637.17
Current children cumulated vsize (Kb) 22584
[startup+730.075 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2077 0 0 0 30328 2372 0 0 24 0 1 0 20060293 20946944 2047 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5114 2047 413 48 0 5066 0
[pid=5160] vsize: 20456
Current children cumulated CPU time (s) 645.66
Current children cumulated vsize (Kb) 22584
[startup+740.076 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2144 0 0 0 31100 2450 0 0 22 0 1 0 20060293 21213184 2114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5179 2114 413 48 0 5131 0
[pid=5160] vsize: 20716
Current children cumulated CPU time (s) 654.16
Current children cumulated vsize (Kb) 22844
[startup+750.076 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2145 0 0 0 31964 2494 0 0 22 0 1 0 20060293 21217280 2115 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5180 2115 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 663.24
Current children cumulated vsize (Kb) 22848
[startup+760.077 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2145 0 0 0 32732 2574 0 0 21 0 1 0 20060293 21217280 2115 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5180 2115 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 671.72
Current children cumulated vsize (Kb) 22848
[startup+770.077 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2145 0 0 0 33599 2620 0 0 23 0 1 0 20060293 21217280 2115 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5180 2115 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 680.85
Current children cumulated vsize (Kb) 22848
[startup+780.079 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2145 0 0 0 34379 2694 0 0 22 0 1 0 20060293 21217280 2115 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5180 2115 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 689.39
Current children cumulated vsize (Kb) 22848
[startup+790.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2145 0 0 0 35146 2775 0 0 22 0 1 0 20060293 21217280 2115 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5180 2115 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 697.87
Current children cumulated vsize (Kb) 22848
[startup+800.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2145 0 0 0 36024 2816 0 0 22 0 1 0 20060293 21217280 2115 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5180 2115 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 707.06
Current children cumulated vsize (Kb) 22848
[startup+810.081 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2145 0 0 0 36795 2891 0 0 19 0 1 0 20060293 21217280 2115 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5180 2115 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 715.52
Current children cumulated vsize (Kb) 22848
[startup+820.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2145 0 0 0 37658 2937 0 0 25 0 1 0 20060293 21217280 2115 4294967295 134512640 134702520 3221223712 3220893248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5180 2115 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 724.61
Current children cumulated vsize (Kb) 22848
[startup+830.082 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2146 0 0 0 38427 3018 0 0 20 0 1 0 20060293 21217280 2116 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5180 2116 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 733.11
Current children cumulated vsize (Kb) 22848
[startup+840.083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2146 0 0 0 39208 3091 0 0 21 0 1 0 20060293 21217280 2116 4294967295 134512640 134702520 3221223712 3221220748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5180 2116 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 741.65
Current children cumulated vsize (Kb) 22848
[startup+850.084 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2147 0 0 0 40068 3139 0 0 21 0 1 0 20060293 21217280 2117 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5180 2117 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 750.73
Current children cumulated vsize (Kb) 22848
[startup+860.085 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2152 0 0 0 40850 3210 0 0 20 0 1 0 20060293 21217280 2122 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5180 2122 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 759.26
Current children cumulated vsize (Kb) 22848
[startup+870.085 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2154 0 0 0 41731 3249 0 0 22 0 1 0 20060293 21217280 2124 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5180 2124 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 768.46
Current children cumulated vsize (Kb) 22848
[startup+880.087 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2158 0 0 0 42504 3331 0 0 22 0 1 0 20060293 21217280 2128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5180 2128 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 777.01
Current children cumulated vsize (Kb) 22848
[startup+890.088 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2161 0 0 0 43354 3381 0 0 25 0 1 0 20060293 21217280 2131 4294967295 134512640 134702520 3221223712 3221052288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5180 2131 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 786.01
Current children cumulated vsize (Kb) 22848
[startup+900.088 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2164 0 0 0 44160 3446 0 0 22 0 1 0 20060293 21217280 2134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5180 2134 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 794.72
Current children cumulated vsize (Kb) 22848
[startup+910.088 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2169 0 0 0 44952 3520 0 0 22 0 1 0 20060293 21217280 2139 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5180 2139 413 48 0 5132 0
[pid=5160] vsize: 20720
Current children cumulated CPU time (s) 803.38
Current children cumulated vsize (Kb) 22848
[startup+920.089 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2171 0 0 0 45827 3562 0 0 23 0 1 0 20060293 21348352 2141 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5212 2141 413 48 0 5164 0
[pid=5160] vsize: 20848
Current children cumulated CPU time (s) 812.55
Current children cumulated vsize (Kb) 22976
[startup+930.09 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2174 0 0 0 46579 3648 0 0 22 0 1 0 20060293 21348352 2144 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5212 2144 413 48 0 5164 0
[pid=5160] vsize: 20848
Current children cumulated CPU time (s) 820.93
Current children cumulated vsize (Kb) 22976
[startup+940.091 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2177 0 0 0 47460 3686 0 0 24 0 1 0 20060293 21348352 2147 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5212 2147 413 48 0 5164 0
[pid=5160] vsize: 20848
Current children cumulated CPU time (s) 830.12
Current children cumulated vsize (Kb) 22976
[startup+950.092 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2180 0 0 0 48246 3756 0 0 23 0 1 0 20060293 21348352 2150 4294967295 134512640 134702520 3221223712 3221222992 134552336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5212 2150 413 48 0 5164 0
[pid=5160] vsize: 20848
Current children cumulated CPU time (s) 838.68
Current children cumulated vsize (Kb) 22976
[startup+960.092 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2182 0 0 0 49120 3798 0 0 22 0 1 0 20060293 21348352 2152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5212 2152 413 48 0 5164 0
[pid=5160] vsize: 20848
Current children cumulated CPU time (s) 847.84
Current children cumulated vsize (Kb) 22976
[startup+970.093 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2186 0 0 0 49903 3872 0 0 22 0 1 0 20060293 21348352 2156 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5212 2156 413 48 0 5164 0
[pid=5160] vsize: 20848
Current children cumulated CPU time (s) 856.41
Current children cumulated vsize (Kb) 22976
[startup+980.094 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2189 0 0 0 50776 3916 0 0 23 0 1 0 20060293 21348352 2159 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5212 2159 413 48 0 5164 0
[pid=5160] vsize: 20848
Current children cumulated CPU time (s) 865.58
Current children cumulated vsize (Kb) 22976
[startup+990.095 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2191 0 0 0 51554 3994 0 0 22 0 1 0 20060293 21348352 2161 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5212 2161 413 48 0 5164 0
[pid=5160] vsize: 20848
Current children cumulated CPU time (s) 874.14
Current children cumulated vsize (Kb) 22976
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2198 0 0 0 52434 4035 0 0 22 0 1 0 20060293 21364736 2168 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5216 2168 413 48 0 5168 0
[pid=5160] vsize: 20864
Current children cumulated CPU time (s) 883.35
Current children cumulated vsize (Kb) 22992
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2201 0 0 0 53253 4099 0 0 25 0 1 0 20060293 21364736 2171 4294967295 134512640 134702520 3221223712 3221194348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5160/statm): 5216 2171 413 48 0 5168 0
[pid=5160] vsize: 20864
Current children cumulated CPU time (s) 892.18
Current children cumulated vsize (Kb) 22992
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2203 0 0 0 54114 4145 0 0 22 0 1 0 20060293 21471232 2173 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5242 2173 413 48 0 5194 0
[pid=5160] vsize: 20968
Current children cumulated CPU time (s) 901.25
Current children cumulated vsize (Kb) 23096
[startup+1030.1 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2204 0 0 0 54989 4186 0 0 25 0 1 0 20060293 21471232 2174 4294967295 134512640 134702520 3221223712 3220811488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5242 2174 413 48 0 5194 0
[pid=5160] vsize: 20968
Current children cumulated CPU time (s) 910.41
Current children cumulated vsize (Kb) 23096
[startup+1040.1 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2208 0 0 0 55785 4251 0 0 23 0 1 0 20060293 21471232 2178 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5242 2178 413 48 0 5194 0
[pid=5160] vsize: 20968
Current children cumulated CPU time (s) 919.02
Current children cumulated vsize (Kb) 23096
[startup+1050.1 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2210 0 0 0 56671 4291 0 0 23 0 1 0 20060293 21471232 2180 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5242 2180 413 48 0 5194 0
[pid=5160] vsize: 20968
Current children cumulated CPU time (s) 928.28
Current children cumulated vsize (Kb) 23096
[startup+1060.1 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) R 5094 5094 4060 0 -1 0 2213 0 0 0 57477 4356 0 0 25 0 1 0 20060293 21471232 2183 4294967295 134512640 134702520 3221223712 3221196108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5242 2183 413 48 0 5194 0
[pid=5160] vsize: 20968
Current children cumulated CPU time (s) 936.99
Current children cumulated vsize (Kb) 23096
[startup+1070.1 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5162
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 378 2740 0 0 1 1 29868 1996 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5160/stat): 5160 (vallst) T 5094 5094 4060 0 -1 0 2217 0 0 0 58439 4368 0 0 25 0 1 0 20060293 21471232 2187 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5160/statm): 5242 2187 413 48 0 5194 0
[pid=5160] vsize: 20968
Current children cumulated CPU time (s) 946.73
Current children cumulated vsize (Kb) 23096
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5160) exited with status: 2
New process pid=5163
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5163) exited with status: 0
New process pid=5164
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+1080.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5094 5094 4060 0 -1 0 1587 0 0 0 314 9 0 0 25 0 1 0 20132293 8536064 1558 4294967295 134512640 134702520 3221223712 3221094108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 2084 1558 413 48 0 2036 0
[pid=5164] vsize: 8336
Current children cumulated CPU time (s) 956.43
Current children cumulated vsize (Kb) 10464
[startup+1090.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1736 0 0 0 1256 31 0 0 25 0 1 0 20132293 9199616 1707 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 2246 1707 413 48 0 2198 0
[pid=5164] vsize: 8984
Current children cumulated CPU time (s) 966.07
Current children cumulated vsize (Kb) 11112
[startup+1100.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1846 0 0 0 2113 79 0 0 21 0 1 0 20132293 16187392 1817 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 3952 1817 413 48 0 3904 0
[pid=5164] vsize: 15808
Current children cumulated CPU time (s) 975.12
Current children cumulated vsize (Kb) 17936
[startup+1110.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1863 0 0 0 2896 153 0 0 23 0 1 0 20132293 16187392 1834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 3952 1834 413 48 0 3904 0
[pid=5164] vsize: 15808
Current children cumulated CPU time (s) 983.69
Current children cumulated vsize (Kb) 17936
[startup+1120.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1869 0 0 0 3783 192 0 0 21 0 1 0 20132293 16310272 1840 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 3982 1840 413 48 0 3934 0
[pid=5164] vsize: 15928
Current children cumulated CPU time (s) 992.95
Current children cumulated vsize (Kb) 18056
[startup+1130.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1902 0 0 0 4564 266 0 0 22 0 1 0 20132293 16310272 1873 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 3982 1873 413 48 0 3934 0
[pid=5164] vsize: 15928
Current children cumulated CPU time (s) 1001.5
Current children cumulated vsize (Kb) 18056
[startup+1140.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1919 0 0 0 5443 305 0 0 22 0 1 0 20132293 16310272 1890 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 3982 1890 413 48 0 3934 0
[pid=5164] vsize: 15928
Current children cumulated CPU time (s) 1010.68
Current children cumulated vsize (Kb) 18056
[startup+1150.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1926 0 0 0 6233 377 0 0 23 0 1 0 20132293 16310272 1897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 3982 1897 413 48 0 3934 0
[pid=5164] vsize: 15928
Current children cumulated CPU time (s) 1019.3
Current children cumulated vsize (Kb) 18056
[startup+1160.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5094 5094 4060 0 -1 0 1931 0 0 0 7076 429 0 0 25 0 1 0 20132293 16445440 1902 4294967295 134512640 134702520 3221223712 3221009728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4015 1902 413 48 0 3967 0
[pid=5164] vsize: 16060
Current children cumulated CPU time (s) 1028.25
Current children cumulated vsize (Kb) 18188
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1947 0 0 0 7878 494 0 0 21 0 1 0 20132293 16445440 1918 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4015 1918 413 48 0 3967 0
[pid=5164] vsize: 16060
Current children cumulated CPU time (s) 1036.92
Current children cumulated vsize (Kb) 18188
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5094 5094 4060 0 -1 0 1953 0 0 0 8682 562 0 0 25 0 1 0 20132293 16445440 1924 4294967295 134512640 134702520 3221223712 3221113248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4015 1924 413 48 0 3967 0
[pid=5164] vsize: 16060
Current children cumulated CPU time (s) 1045.64
Current children cumulated vsize (Kb) 18188
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1958 0 0 0 9537 607 0 0 23 0 1 0 20132293 16445440 1929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4015 1929 413 48 0 3967 0
[pid=5164] vsize: 16060
Current children cumulated CPU time (s) 1054.64
Current children cumulated vsize (Kb) 18188
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1967 0 0 0 10322 678 0 0 21 0 1 0 20132293 16445440 1938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4015 1938 413 48 0 3967 0
[pid=5164] vsize: 16060
Current children cumulated CPU time (s) 1063.2
Current children cumulated vsize (Kb) 18188
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1972 0 0 0 11199 719 0 0 22 0 1 0 20132293 16568320 1943 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4045 1943 413 48 0 3997 0
[pid=5164] vsize: 16180
Current children cumulated CPU time (s) 1072.38
Current children cumulated vsize (Kb) 18308
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5094 5094 4060 0 -1 0 1976 0 0 0 11992 791 0 0 25 0 1 0 20132293 16568320 1947 4294967295 134512640 134702520 3221223712 3221173248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4045 1947 413 48 0 3997 0
[pid=5164] vsize: 16180
Current children cumulated CPU time (s) 1081.03
Current children cumulated vsize (Kb) 18308
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1980 0 0 0 12953 805 0 0 25 0 1 0 20132293 16568320 1951 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4045 1951 413 48 0 3997 0
[pid=5164] vsize: 16180
Current children cumulated CPU time (s) 1090.78
Current children cumulated vsize (Kb) 18308
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5094 5094 4060 0 -1 0 1981 0 0 0 13816 853 0 0 22 0 1 0 20132293 16568320 1952 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4045 1952 413 48 0 3997 0
[pid=5164] vsize: 16180
Current children cumulated CPU time (s) 1099.89
Current children cumulated vsize (Kb) 18308
[startup+1250.12 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1986 0 0 0 14600 922 0 0 22 0 1 0 20132293 16568320 1957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4045 1957 413 48 0 3997 0
[pid=5164] vsize: 16180
Current children cumulated CPU time (s) 1108.42
Current children cumulated vsize (Kb) 18308
[startup+1260.12 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1991 0 0 0 15497 956 0 0 22 0 1 0 20132293 16572416 1962 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4046 1962 413 48 0 3998 0
[pid=5164] vsize: 16184
Current children cumulated CPU time (s) 1117.73
Current children cumulated vsize (Kb) 18312
[startup+1270.12 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 1996 0 0 0 16275 1031 0 0 21 0 1 0 20132293 16572416 1967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4046 1967 413 48 0 3998 0
[pid=5164] vsize: 16184
Current children cumulated CPU time (s) 1126.26
Current children cumulated vsize (Kb) 18312
[startup+1280.12 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 2001 0 0 0 17148 1070 0 0 22 0 1 0 20132293 16695296 1972 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4076 1972 413 48 0 4028 0
[pid=5164] vsize: 16304
Current children cumulated CPU time (s) 1135.38
Current children cumulated vsize (Kb) 18432
[startup+1290.12 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 2007 0 0 0 17919 1146 0 0 20 0 1 0 20132293 16695296 1978 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4076 1978 413 48 0 4028 0
[pid=5164] vsize: 16304
Current children cumulated CPU time (s) 1143.85
Current children cumulated vsize (Kb) 18432
[startup+1300.12 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5094 5094 4060 0 -1 0 2009 0 0 0 18801 1184 0 0 25 0 1 0 20132293 16695296 1980 4294967295 134512640 134702520 3221223712 3220803008 134611872 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4076 1980 413 48 0 4028 0
[pid=5164] vsize: 16304
Current children cumulated CPU time (s) 1153.05
Current children cumulated vsize (Kb) 18432
[startup+1310.12 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 2022 0 0 0 19573 1260 0 0 22 0 1 0 20132293 16695296 1993 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4076 1993 413 48 0 4028 0
[pid=5164] vsize: 16304
Current children cumulated CPU time (s) 1161.53
Current children cumulated vsize (Kb) 18432
[startup+1320.12 s]
Raw data (loadavg): 1.13 1.04 1.01 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 2028 0 0 0 20332 1341 0 0 22 0 1 0 20132293 16695296 1999 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4076 1999 413 48 0 4028 0
[pid=5164] vsize: 16304
Current children cumulated CPU time (s) 1169.93
Current children cumulated vsize (Kb) 18432
[startup+1330.13 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 2031 0 0 0 21219 1382 0 0 22 0 1 0 20132293 16695296 2002 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4076 2002 413 48 0 4028 0
[pid=5164] vsize: 16304
Current children cumulated CPU time (s) 1179.21
Current children cumulated vsize (Kb) 18432
[startup+1340.13 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5094 5094 4060 0 -1 0 2036 0 0 0 22010 1453 0 0 23 0 1 0 20132293 16695296 2007 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4076 2007 413 48 0 4028 0
[pid=5164] vsize: 16304
Current children cumulated CPU time (s) 1187.83
Current children cumulated vsize (Kb) 18432
[startup+1350.13 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5094 5094 4060 0 -1 0 2050 0 0 0 22887 1493 0 0 22 0 1 0 20132293 16818176 2021 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4106 2021 413 48 0 4058 0
[pid=5164] vsize: 16424
Current children cumulated CPU time (s) 1197
Current children cumulated vsize (Kb) 18552
[startup+1360.13 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5094 5094 4060 0 -1 0 2158 0 0 0 23670 1568 0 0 22 0 1 0 20132293 17768448 2129 4294967295 134512640 134702520 3221223712 3221223112 134607244 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4338 2129 413 48 0 4290 0
[pid=5164] vsize: 17352
Current children cumulated CPU time (s) 1205.58
Current children cumulated vsize (Kb) 19480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1360.13 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5164
Raw data (/proc/5094/stat): 5094 (vallstSAT2005PB) S 5093 5094 4060 0 -1 0 417 5101 0 0 2 1 88936 6381 19 0 1 0 20024599 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5094/statm): 532 248 485 147 0 385 0
[pid=5094] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5094 5094 4060 0 -1 0 2158 0 0 0 23670 1568 0 0 22 0 1 0 20132293 17768448 2129 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4338 2129 413 48 0 4290 0
[pid=5164] vsize: 17352
Current children cumulated CPU time (s) 1205.58
Current children cumulated vsize (Kb) 19480
Sending SIGTERM to -5094
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5166
New process pid=5167
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5055/stat
open syscall for file /proc/5055/status
open syscall for file /proc/5055/cmdline
open syscall for file /proc/5055/environ
open syscall for file /proc/5093/stat
open syscall for file /proc/5093/status
open syscall for file /proc/5093/cmdline
open syscall for file /proc/5093/environ
open syscall for file /proc/5094/stat
open syscall for file /proc/5094/status
open syscall for file /proc/5094/cmdline
open syscall for file /proc/5094/environ
open syscall for file /proc/5164/stat
open syscall for file /proc/5164/status
open syscall for file /proc/5164/cmdline
open syscall for file /proc/5164/environ
open syscall for file /proc/5166/stat
open syscall for file /proc/5166/status
open syscall for file /proc/5166/cmdline
open syscall for file /proc/5166/environ
open syscall for file /proc/5167/stat
open syscall for file /proc/5167/status
open syscall for file /proc/5167/cmdline
open syscall for file /proc/5167/environ
One traced child (pid=5166) exited with status: 0
One traced child (pid=5167) exited with status: 0
New process pid=5168
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5168) exited with status: 0
New process pid=5169
execve syscall for /bin/rm executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file .
open syscall for file .
One traced child (pid=5169) exited with status: 0
One traced child (pid=5094) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5164) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1361.06
CPU time (s): 253.285
CPU user time (s): 237.504
CPU system time (s): 15.7806
CPU usage (%): 18.6094
Max. virtual memory (cumulated for all children) (Kb): 23096
ERROR: no interpretation found !