0.10/0.13 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779375-1244952876.cnf
0.10/0.13 c Using SATTIMEOUT of 10000
0.10/0.13 c Using SATRAM of 2047
0.10/0.13 c Size of subset node = 16
0.10/0.13 c Variables = 31248
0.10/0.13 c Clauses = 93904
0.10/0.13 c Literals = 221062
0.10/0.13 c Reduced size:
0.10/0.13 c Variables = 31248
0.10/0.13 c Clauses = 93420
0.10/0.13 c Literals = 219778
0.10/0.13 c a2
0.20/0.24 c a1
3.80/3.86 c Independent sub-problems = 1
3.80/3.86 c Sub-problem with 31100 variables and 93420 clauses
3.80/3.86 c using permutation method 4
3.80/3.86 c count = 1
3.80/3.86 c Ordering finished 3.830 seconds
3.80/3.86 c mapped 3.850 seconds
3.80/3.86 c permuted 3.850 seconds
3.80/3.86 c about to sort
3.80/3.88 c sorted
4.78/4.82 c clauses now 93420
4.78/4.82 c init finished 4.470 seconds
4.78/4.82 c tree built 4.800 seconds
4.78/4.82 c
4.78/4.82 c PA progress | CPU progress Partial assignments | improvements CPU time PA/sec nodes
4.78/4.82 c ---------------------------------|----------------------------------|------------------------------------------------------
4.78/4.82 c ................................ | .......... | 4.8 0.0
4.78/4.82 c ................................ | .......... 1 | 4.8 0.2
4.78/4.82 c ................................ | .......... 2 | 4.8 0.4
4.78/4.82 c ................................ | .......... 3 | 4.8 0.6
4.78/4.82 c ................................ | .......... 4 | 4.8 0.8
4.78/4.82 c ................................ | .......... 5 | 4.8 1.0
4.78/4.83 c ................................ | .......... 1000 | 10 4.9 203.7 170
264.71/21.56 c ................................ | .......... 591000 | 17692 200.2 2952.3 23638444
494.66/36.21 c ................................ | .......... 951000 | 29149 400.1 2377.0 47028837
719.91/50.52 c ................................ | .......... 1198000 | 38088 600.4 1995.2 69330565
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779375-1244952876/watcher-1779375-1244952876 -o /tmp/evaluation-result-1779375-1244952876/solver-1779375-1244952876 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779375-1244952876.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=1540 CPUtime=0
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 654593991 1576960 232 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 385 232 75 177 0 207 0
[startup+0.107878 s]
/proc/loadavg: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=7792 CPUtime=0.1
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 1753 0 0 0 10 0 0 0 20 0 1 0 654593991 7979008 1710 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134534215 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 1948 1710 75 177 0 1770 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7792
[startup+0.203909 s]
/proc/loadavg: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=13976 CPUtime=0.2
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 3293 0 0 0 20 0 0 0 20 0 1 0 654593991 14311424 3249 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134519996 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 3494 3249 76 177 0 3316 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13976
[startup+0.303913 s]
/proc/loadavg: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=15024 CPUtime=0.28
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 3775 0 0 0 26 2 0 0 20 0 1 0 654593991 15384576 3547 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 3756 3549 77 177 0 3578 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15024
[startup+0.703909 s]
/proc/loadavg: 15.83 14.89 12.22 2/184 23671
/proc/meminfo: memFree=19045864/36427776 swapFree=4424/7984
[pid=23671] ppid=23669 vsize=18464 CPUtime=0.68
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 4618 0 0 0 66 2 0 0 20 0 1 0 654593991 18907136 4390 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134749343 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 4616 4390 77 177 0 4438 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18464
[startup+1.504 s]
/proc/loadavg: 15.83 14.89 12.22 2/185 23672
/proc/meminfo: memFree=19027652/36427776 swapFree=4656/26284
[pid=23671] ppid=23669 vsize=18620 CPUtime=1.48
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 4683 0 0 0 146 2 0 0 20 0 1 0 654593991 19066880 4455 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134555272 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 4655 4455 77 177 0 4477 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18620
[startup+3.10411 s]
/proc/loadavg: 14.64 14.66 12.16 2/185 23672
/proc/meminfo: memFree=19025864/36427776 swapFree=4620/26928
[pid=23671] ppid=23669 vsize=19476 CPUtime=3.1
/proc/23671/stat : 23671 (ttsth-5-0) R 23669 23671 15497 0 -1 4202496 4851 0 0 0 306 4 0 0 20 0 1 0 654593991 19943424 4623 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134600960 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 4869 4623 77 177 0 4691 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 19476
[startup+6.30444 s]
/proc/loadavg: 14.64 14.66 12.16 17/201 23688
/proc/meminfo: memFree=18664828/36427776 swapFree=4692/390700
[pid=23671] ppid=23669 vsize=527124 CPUtime=27.46
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 101491 0 0 0 950 1796 0 0 20 0 17 0 654593991 539774976 101079 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 131781 101080 95 177 0 131603 0
[pid=23671/tid=23673] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2285 0 0 0 126 16 0 0 20 0 17 0 654594473 539774976 101081 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591211 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 471 0 0 0 22 120 0 0 20 0 17 0 654594473 539774976 101081 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 597 0 0 0 28 112 0 0 20 0 17 0 654594473 539774976 101082 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 440 0 0 0 20 120 0 0 20 0 17 0 654594473 539774976 101082 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=527124 CPUtime=1.38
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 431 0 0 0 28 110 0 0 20 0 17 0 654594473 539774976 101082 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 480 0 0 0 34 106 0 0 20 0 17 0 654594473 539774976 101082 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 647 0 0 0 32 110 0 0 20 0 17 0 654594473 539774976 101083 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 696 0 0 0 34 108 0 0 20 0 17 0 654594473 539774976 101083 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 393 0 0 0 32 108 0 0 20 0 17 0 654594473 539774976 101083 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 448 0 0 0 18 124 0 0 20 0 17 0 654594473 539774976 101083 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 473 0 0 0 22 120 0 0 20 0 17 0 654594473 539774976 101084 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 476 0 0 0 16 124 0 0 20 0 17 0 654594473 539774976 101084 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=527124 CPUtime=1.42
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 405 0 0 0 26 116 0 0 20 0 17 0 654594474 539774976 101084 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 502 0 0 0 30 110 0 0 20 0 17 0 654594474 539774976 101085 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134590146 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 428 0 0 0 16 124 0 0 20 0 17 0 654594474 539774976 101086 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=527124 CPUtime=1.4
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 393 0 0 0 14 126 0 0 20 0 17 0 654594474 539774976 101086 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 27.46
Current children cumulated vsize (KiB) 527124
[startup+12.705 s]
/proc/loadavg: 14.70 14.67 12.19 17/201 23688
/proc/meminfo: memFree=18482584/36427776 swapFree=4692/572360
[pid=23671] ppid=23669 vsize=707388 CPUtime=126.99
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 144683 0 0 0 6201 6498 0 0 20 0 17 0 654593991 724365312 144271 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 176847 144272 95 177 0 176669 0
[pid=23671/tid=23673] ppid=23669 vsize=707388 CPUtime=7.82
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8138 0 0 0 758 24 0 0 20 0 17 0 654594473 724365312 144272 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=707388 CPUtime=7.68
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3740 0 0 0 326 442 0 0 20 0 17 0 654594473 724365312 144272 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=707388 CPUtime=7.6
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3145 0 0 0 328 432 0 0 20 0 17 0 654594473 724365312 144272 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=707388 CPUtime=7.58
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2732 0 0 0 316 442 0 0 20 0 17 0 654594473 724365312 144272 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=707388 CPUtime=7.58
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2917 0 0 0 342 416 0 0 20 0 17 0 654594473 724365312 144273 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=707388 CPUtime=7.6
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3361 0 0 0 340 420 0 0 20 0 17 0 654594473 724365312 144274 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=707388 CPUtime=7.6
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3204 0 0 0 334 426 0 0 20 0 17 0 654594473 724365312 144275 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=707388 CPUtime=7.62
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2900 0 0 0 334 428 0 0 20 0 17 0 654594473 724365312 144275 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=707388 CPUtime=7.64
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2555 0 0 0 350 414 0 0 20 0 17 0 654594473 724365312 144276 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134680720 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=707388 CPUtime=7.64
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3330 0 0 0 350 414 0 0 20 0 17 0 654594473 724365312 144276 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=707388 CPUtime=7.66
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3165 0 0 0 340 426 0 0 20 0 17 0 654594473 724365312 144276 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=707388 CPUtime=7.66
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2908 0 0 0 354 412 0 0 20 0 17 0 654594473 724365312 144277 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=707388 CPUtime=7.64
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2251 0 0 0 330 434 0 0 20 0 17 0 654594474 724365312 144277 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=707388 CPUtime=7.48
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2755 0 0 0 316 432 0 0 20 0 17 0 654594474 724365312 144277 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=707388 CPUtime=7.6
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 2537 0 0 0 310 450 0 0 20 0 17 0 654594474 724365312 144278 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591221 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=707388 CPUtime=7.64
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 3119 0 0 0 320 444 0 0 20 0 17 0 654594474 724365312 144278 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 126.99
Current children cumulated vsize (KiB) 707388
[startup+25.5051 s]
/proc/loadavg: 14.90 14.72 12.23 17/201 23693
/proc/meminfo: memFree=18128588/36427776 swapFree=4692/925500
[pid=23671] ppid=23669 vsize=1073096 CPUtime=327.09
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 231580 0 0 0 20088 12621 0 0 20 0 17 0 654593991 1098850304 231168 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 268274 231168 95 177 0 268096 0
[pid=23671/tid=23673] ppid=23669 vsize=1073096 CPUtime=20.6
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16547 0 0 0 2022 38 0 0 20 0 17 0 654594473 1098850304 231168 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=1073096 CPUtime=20.18
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 9012 0 0 0 1142 876 0 0 20 0 17 0 654594473 1098850304 231169 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=1073096 CPUtime=19.9
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7663 0 0 0 1126 864 0 0 20 0 17 0 654594473 1098850304 231169 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7573 0 0 0 1150 860 0 0 20 0 17 0 654594473 1098850304 231170 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=1073096 CPUtime=20.06
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7365 0 0 0 1184 822 0 0 20 0 17 0 654594473 1098850304 231170 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 9860 0 0 0 1182 828 0 0 20 0 17 0 654594473 1098850304 231170 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8270 0 0 0 1186 824 0 0 20 0 17 0 654594473 1098850304 231170 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8493 0 0 0 1202 808 0 0 20 0 17 0 654594473 1098850304 231171 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=1073096 CPUtime=20.16
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7727 0 0 0 1200 816 0 0 20 0 17 0 654594473 1098850304 231171 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=1073096 CPUtime=20.02
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8622 0 0 0 1174 828 0 0 20 0 17 0 654594473 1098850304 231171 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=1073096 CPUtime=20.22
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 9964 0 0 0 1208 814 0 0 20 0 17 0 654594473 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=1073096 CPUtime=20.2
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8120 0 0 0 1206 814 0 0 20 0 17 0 654594473 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=1073096 CPUtime=20.22
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 6539 0 0 0 1198 824 0 0 20 0 17 0 654594474 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=1073096 CPUtime=19.84
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7212 0 0 0 1158 826 0 0 20 0 17 0 654594474 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134562459 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=1073096 CPUtime=20.1
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 7841 0 0 0 1122 888 0 0 20 0 17 0 654594474 1098850304 231172 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=1073096 CPUtime=20.2
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 8845 0 0 0 1172 848 0 0 20 0 17 0 654594474 1098850304 231173 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 327.09
Current children cumulated vsize (KiB) 1073096
[startup+51.1041 s]
/proc/loadavg: 15.28 14.82 12.33 17/201 23693
/proc/meminfo: memFree=17430868/36427776 swapFree=4692/1623448
[pid=23671] ppid=23669 vsize=1821712 CPUtime=729.38
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 407827 0 0 0 52336 20602 0 0 20 0 17 0 654593991 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 455428 407415 95 177 0 455250 0
[pid=23671/tid=23673] ppid=23669 vsize=1821712 CPUtime=46.17
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 31725 0 0 0 4561 56 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=1821712 CPUtime=45.4
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 24185 0 0 0 3100 1440 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=1821712 CPUtime=44.74
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16692 0 0 0 3072 1402 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=1821712 CPUtime=45.2
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 18639 0 0 0 3150 1370 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=1821712 CPUtime=45.18
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16868 0 0 0 3150 1368 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=1821712 CPUtime=45.22
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 23432 0 0 0 3130 1392 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134550408 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=1821712 CPUtime=45.33
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 19649 0 0 0 3235 1298 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=1821712 CPUtime=45.22
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 17230 0 0 0 3178 1344 0 0 20 0 17 0 654594473 1865433088 407415 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=1821712 CPUtime=45.3
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 18132 0 0 0 3164 1366 0 0 20 0 17 0 654594473 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=1821712 CPUtime=44.96
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 18038 0 0 0 3152 1344 0 0 20 0 17 0 654594473 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591214 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=1821712 CPUtime=45.47
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 23853 0 0 0 3211 1336 0 0 20 0 17 0 654594473 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=1821712 CPUtime=45.51
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 17114 0 0 0 3253 1298 0 0 20 0 17 0 654594473 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=1821712 CPUtime=45.4
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 13703 0 0 0 3180 1360 0 0 20 0 17 0 654594474 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=1821712 CPUtime=44.62
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16590 0 0 0 3120 1342 0 0 20 0 17 0 654594474 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=1821712 CPUtime=45.28
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 21759 0 0 0 3094 1434 0 0 20 0 17 0 654594474 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=1821712 CPUtime=45.42
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 18289 0 0 0 3132 1410 0 0 20 0 17 0 654594474 1865433088 407416 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 729.38
Current children cumulated vsize (KiB) 1821712
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+60.3052 s]
/proc/loadavg: 15.39 14.86 12.37 17/201 23693
/proc/meminfo: memFree=17155932/36427776 swapFree=4692/1897904
[pid=23671] ppid=23669 vsize=2099756 CPUtime=874.75
/proc/23671/stat : 23671 (ttsth-5-0) S 23669 23671 15497 0 -1 4202496 472920 0 0 0 64878 22597 0 0 20 0 17 0 654593991 2150150144 472508 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 524939 472508 95 177 0 524761 0
[pid=23671/tid=23673] ppid=23669 vsize=2099756 CPUtime=55.38
/proc/23671/task/23673/stat : 23673 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 37850 0 0 0 5476 62 0 0 20 0 17 0 654594473 2150150144 472509 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23671/tid=23674] ppid=23669 vsize=2099756 CPUtime=54.49
/proc/23671/task/23674/stat : 23674 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 29174 0 0 0 3873 1576 0 0 20 0 17 0 654594473 2150150144 472509 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23671/tid=23675] ppid=23669 vsize=2099756 CPUtime=53.81
/proc/23671/task/23675/stat : 23675 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 19655 0 0 0 3847 1534 0 0 20 0 17 0 654594473 2150150144 472509 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23671/tid=23676] ppid=23669 vsize=2099756 CPUtime=54.24
/proc/23671/task/23676/stat : 23676 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 22837 0 0 0 3912 1512 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23671/tid=23677] ppid=23669 vsize=2099756 CPUtime=54.28
/proc/23671/task/23677/stat : 23677 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 20371 0 0 0 3922 1506 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23671/tid=23678] ppid=23669 vsize=2099756 CPUtime=54.29
/proc/23671/task/23678/stat : 23678 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 28300 0 0 0 3915 1514 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23671/tid=23679] ppid=23669 vsize=2099756 CPUtime=54.43
/proc/23671/task/23679/stat : 23679 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 23852 0 0 0 4007 1436 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23671/tid=23680] ppid=23669 vsize=2099756 CPUtime=54.32
/proc/23671/task/23680/stat : 23680 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 20060 0 0 0 3954 1478 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23671/tid=23681] ppid=23669 vsize=2099756 CPUtime=54.36
/proc/23671/task/23681/stat : 23681 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 22955 0 0 0 3920 1516 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23671/tid=23682] ppid=23669 vsize=2099756 CPUtime=54.06
/proc/23671/task/23682/stat : 23682 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 21901 0 0 0 3938 1468 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23671/tid=23683] ppid=23669 vsize=2099756 CPUtime=54.62
/proc/23671/task/23683/stat : 23683 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 28268 0 0 0 4014 1448 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23671/tid=23684] ppid=23669 vsize=2099756 CPUtime=54.62
/proc/23671/task/23684/stat : 23684 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 20995 0 0 0 4062 1400 0 0 20 0 17 0 654594473 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=2099756 CPUtime=54.46
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 16060 0 0 0 3930 1516 0 0 20 0 17 0 654594474 2150150144 472510 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23671/tid=23686] ppid=23669 vsize=2099756 CPUtime=53.55
/proc/23671/task/23686/stat : 23686 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 20519 0 0 0 3893 1462 0 0 20 0 17 0 654594474 2150150144 472511 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134680336 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23671/tid=23687] ppid=23669 vsize=2099756 CPUtime=54.39
/proc/23671/task/23687/stat : 23687 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 27166 0 0 0 3867 1572 0 0 20 0 17 0 654594474 2150150144 472511 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23671/tid=23688] ppid=23669 vsize=2099756 CPUtime=54.55
/proc/23671/task/23688/stat : 23688 (ttsth-5-0) R 23669 23671 15497 0 -1 4202560 21029 0 0 0 3901 1554 0 0 20 0 17 0 654594474 2150150144 472511 18446744073709551615 134512640 135237372 4291787728 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 874.75
Current children cumulated vsize (KiB) 2099756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+60.425 s]
/proc/loadavg: 15.39 14.86 12.37 17/201 23693
/proc/meminfo: memFree=17155932/36427776 swapFree=4692/1897904
[pid=23671] ppid=23669 vsize=0 CPUtime=874.99
/proc/23671/stat : 23671 (ttsth-5-0) Z 23669 23671 15497 0 -1 4203532 472950 0 0 0 64889 22610 0 0 20 0 2 0 654593991 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/23671/statm: 0 0 0 0 0 0 0
[pid=23671/tid=23685] ppid=23669 vsize=0 CPUtime=54.56
/proc/23671/task/23685/stat : 23685 (ttsth-5-0) R 23669 23671 15497 0 -1 4203588 16068 0 0 0 3930 1526 0 0 20 0 2 0 654594474 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 874.99
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 60.4987
CPU time (s): 875.067
CPU user time (s): 648.901
CPU system time (s): 226.166
CPU usage (%): 1446.42
Max. virtual memory (cumulated for all children) (KiB): 2099756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 648.901
system time used= 226.166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125494
involuntary context switches= 1818
runsolver used 0.348021 second user time and 0.816051 second system time
The end
Begin job on xenhost3-49 at 2009-06-14 06:14:36
IDJOB=1779375
IDBENCH=70845
IDSOLVER=634
FILE ID=xenhost3-49/1779375-1244952876
PBS_JOBID=
Free space on /tmp= 7023 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-16-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779375-1244952876/watcher-1779375-1244952876 -o /tmp/evaluation-result-1779375-1244952876/solver-1779375-1244952876 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779375-1244952876.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 0b8996f2f5c4b978a2df4466203c2361
RANDOM SEED= 732894401
Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 0
cpu cores : 1
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 0
cpu cores : 1
apicid : 8
initial apicid : 8
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 0
cpu cores : 1
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 0
cpu cores : 1
apicid : 24
initial apicid : 24
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 2
cpu cores : 1
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 2
cpu cores : 1
apicid : 10
initial apicid : 10
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 2
cpu cores : 1
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 2
cpu cores : 1
apicid : 26
initial apicid : 26
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 1
cpu cores : 1
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 1
cpu cores : 1
apicid : 9
initial apicid : 9
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 1
cpu cores : 1
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 1
cpu cores : 1
apicid : 25
initial apicid : 25
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 3
cpu cores : 1
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 3
cpu cores : 1
apicid : 11
initial apicid : 11
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 3
cpu cores : 1
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 3
cpu cores : 1
apicid : 27
initial apicid : 27
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 36427776 kB
MemFree: 19045864 kB
Buffers: 482608 kB
Cached: 14118084 kB
SwapCached: 0 kB
Active: 4129176 kB
Inactive: 10480172 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 2016 kB
Writeback: 0 kB
AnonPages: 7984 kB
Mapped: 3760 kB
Slab: 721568 kB
SReclaimable: 694748 kB
SUnreclaim: 26820 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 7023 MiB
End job on xenhost3-49 at 2009-06-14 06:15:39