0.00/0.00
0.00/0.00 c Computed by /tmp/evaluation/297626-1171842154/kcnfs-smp V. 1.2
0.00/0.00 c reading file ... done
0.00/0.00 c Input file : '/tmp/evaluation/297626-1171842154/instance-297626-1171842154.cnf'
0.00/0.00 c [#vars: 550, #clauses: 2343 -> 2431 clauses (pre-processing), tautology: 0, 3-CNF]
0.00/0.01 c unit clauses propagate before processing (#clause: 2431)
0.00/0.01 c estimated distribution: 8 tasks
0.00/0.03 c <8739> [PID]: 8741 8742 8743 8744 8745 8746 8747
0.04/0.46 c <8739> [PID]: 8748
0.04/0.46 c real distribution: 8 tasks
1200.04/601.43 c <8739> [8742: NOT SOLVED][8744: NOT SOLVED][8745: NOT SOLVED][8747: NOT SOLVED][8748: NOT SOLVED]
1200.04/601.43 c <8739> [8741: NOT SOLVED][8746: NOT SOLVED][8743: NOT SOLVED]
1200.04/601.43 s NOT SOLVED
1200.04/601.43 c CPU time : 0.040 seconds
1200.04/601.43 c Elapsed Time : 601.429 seconds
1200.04/601.43 c Size of search tree : 0 node
1200.04/601.43 c average speed : 0.000 nodes/sec.
1200.04/601.43
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-297626-1171842154 -o ROOT/results/node61/solver-297626-1171842154 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297626-1171842154/kcnfs-smp /tmp/evaluation/297626-1171842154/instance-297626-1171842154.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.94 0.99 0.98 3/64 8739
/proc/meminfo: memFree=886488/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=181044 CPUtime=0
/proc/8739/stat : 8739 (kcnfs-smp) R 8737 8739 8558 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 204172337 185389056 123 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134820679 0 0 4096 0 0 0 0 17 1 0 0
/proc/8739/statm: 45261 125 48 160 0 45099 0
[startup+0.106513 s]
/proc/loadavg: 0.94 0.99 0.98 3/64 8739
/proc/meminfo: memFree=886488/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.03
/proc/8739/stat : 8739 (kcnfs-smp) R 8737 8739 8558 0 -1 4194304 391 0 0 0 3 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134582093 0 0 4096 0 0 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 182448
[startup+0.514553 s]
/proc/loadavg: 0.94 0.99 0.98 3/64 8739
/proc/meminfo: memFree=886488/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 182448
[startup+1.33663 s]
/proc/loadavg: 0.94 0.99 0.98 9/73 8748
/proc/meminfo: memFree=883472/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=0.53
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 53 0 0 0 24 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683204 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=0.41
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 41 0 0 0 24 0 1 0 204172340 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134603272 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 284 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=0.37
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 37 0 0 0 23 0 1 0 204172343 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683350 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 284 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=0.36
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 36 0 0 0 25 0 1 0 204172343 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683095 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 284 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=0.24
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 24 0 0 0 25 0 1 0 204172375 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134569459 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 284 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=0.22
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 22 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683095 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=0.2
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 20 0 0 0 25 0 1 0 204172382 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134674482 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 284 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=0.2
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 20 0 0 0 25 0 1 0 204172383 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683350 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 284 78 160 0 45450 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 1642032
[startup+2.98779 s]
/proc/loadavg: 0.94 0.99 0.98 9/73 8748
/proc/meminfo: memFree=883216/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=0.93
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 93 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134579693 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=0.83
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 83 0 0 0 25 0 1 0 204172340 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683195 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 284 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=0.8
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 80 0 0 0 25 0 1 0 204172343 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577389 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 284 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=0.8
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 80 0 0 0 25 0 1 0 204172343 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683197 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 284 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=0.64
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 64 0 0 0 25 0 1 0 204172375 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683143 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 284 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=0.62
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 62 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134593070 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=0.6
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 60 0 0 0 25 0 1 0 204172382 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683062 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 284 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=0.6
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 60 0 0 0 25 0 1 0 204172383 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683195 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 284 78 160 0 45450 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 1642032
[startup+6.19309 s]
/proc/loadavg: 1.51 1.11 1.02 9/73 8748
/proc/meminfo: memFree=883024/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=1.73
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 173 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134648694 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=1.64
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 164 0 0 0 25 0 1 0 204172340 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134649350 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 284 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=1.6
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 160 0 0 0 25 0 1 0 204172343 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580071 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 284 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=1.59
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 159 0 0 0 25 0 1 0 204172343 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134675426 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 284 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=1.44
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 144 0 0 0 25 0 1 0 204172375 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134589854 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 284 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=1.42
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 142 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683219 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=1.4
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 140 0 0 0 25 0 1 0 204172382 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577061 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 284 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=1.4
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 140 0 0 0 25 0 1 0 204172383 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577512 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 284 78 160 0 45450 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 1642032
[startup+12.6717 s]
/proc/loadavg: 2.51 1.34 1.10 9/73 8748
/proc/meminfo: memFree=882896/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=3.33
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 333 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683195 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=3.31
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 331 0 0 0 25 0 1 0 204172340 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134572099 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 284 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=3.2
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 320 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683223 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 285 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=3.2
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 320 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134572753 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 285 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=3.08
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 308 0 0 0 25 0 1 0 204172375 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580180 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 284 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=3.02
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 302 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577447 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=3
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 300 0 0 0 25 0 1 0 204172382 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577768 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 284 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=3
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 300 0 0 0 25 0 1 0 204172383 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134650817 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 285 78 160 0 45450 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 1642032
[startup+25.5399 s]
/proc/loadavg: 3.35 1.56 1.17 9/73 8748
/proc/meminfo: memFree=882896/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=6.6
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 660 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134567120 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=6.51
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 46 0 0 0 651 0 0 0 25 0 1 0 204172340 186826752 284 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134579685 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 284 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=6.4
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 640 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134579685 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 285 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=6.4
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 640 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577451 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 285 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=6.3
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 630 0 0 0 25 0 1 0 204172375 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134604427 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 285 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=6.22
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 622 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134579490 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=6.2
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 620 0 0 0 25 0 1 0 204172382 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134589808 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 285 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=6.2
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 620 0 0 0 25 0 1 0 204172383 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134674482 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 285 78 160 0 45450 0
Current children cumulated CPU time (s) 50.87
################
# More data... #
################
/proc/meminfo: memFree=882704/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=100.82
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 10082 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683214 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=100.7
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 10070 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134639137 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 285 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=100.68
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 10068 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134572623 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 285 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=100.25
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 10025 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577052 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 285 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=100.12
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 10012 0 0 0 25 0 1 0 204172375 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134569450 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 285 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=100.5
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 10050 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134608243 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=100.08
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 10008 0 0 0 25 0 1 0 204172382 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134567239 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 285 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=100.08
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 10008 0 0 0 25 0 1 0 204172383 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134596013 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 285 78 160 0 45450 0
Current children cumulated CPU time (s) 803.27
Current children cumulated vsize (KiB) 1642032
[startup+462.627 s]
/proc/loadavg: 8.03 6.51 3.72 9/73 8748
/proc/meminfo: memFree=882704/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=115.81
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 11581 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134640141 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=115.71
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 11571 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134572834 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 285 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=115.68
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 11568 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134567281 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 285 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=115.18
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 11518 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683204 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 285 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=115.12
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 11512 0 0 0 25 0 1 0 204172375 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134572793 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 285 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=115.5
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 11550 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683210 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=115.03
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 11503 0 0 0 25 0 1 0 204172382 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134567641 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 285 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=114.98
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 11498 0 0 0 25 0 1 0 204172383 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683143 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 285 78 160 0 45450 0
Current children cumulated CPU time (s) 923.05
Current children cumulated vsize (KiB) 1642032
[startup+522.656 s]
/proc/loadavg: 8.01 6.78 3.98 9/73 8748
/proc/meminfo: memFree=882704/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=130.81
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 13081 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580175 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=130.73
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 13073 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580154 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 285 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=130.68
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 13068 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683350 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 285 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=130.11
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 13011 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577744 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 285 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=130.02
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 13002 0 0 0 25 0 1 0 204172375 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683095 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 285 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=130.5
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 13050 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577530 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=129.98
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 12998 0 0 0 25 0 1 0 204172382 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134579698 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 285 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=129.98
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 12998 0 0 0 25 0 1 0 204172383 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134567500 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 285 78 160 0 45450 0
Current children cumulated CPU time (s) 1042.85
Current children cumulated vsize (KiB) 1642032
[startup+582.684 s]
/proc/loadavg: 8.00 7.00 4.23 9/73 8748
/proc/meminfo: memFree=882704/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=145.81
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14581 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134579685 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=145.75
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14575 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134572608 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 285 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=145.68
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14568 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683587 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 285 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=145.07
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14507 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134674464 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 285 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=145.01
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14501 0 0 0 25 0 1 0 204172375 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683095 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 285 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=145.5
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14550 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683350 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=144.89
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14489 0 0 0 25 0 1 0 204172382 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134636639 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 285 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=144.87
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14487 0 0 0 25 0 1 0 204172383 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134567202 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 285 78 160 0 45450 0
Current children cumulated CPU time (s) 1162.62
Current children cumulated vsize (KiB) 1642032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+601.423 s]
/proc/loadavg: 8.00 7.06 4.31 9/73 8748
/proc/meminfo: memFree=882704/2055920 swapFree=4183164/4192956
[pid=8739] ppid=8737 vsize=182448 CPUtime=0.04
/proc/8739/stat : 8739 (kcnfs-smp) S 8737 8739 8558 0 -1 4194304 473 0 0 0 4 0 0 0 22 0 1 0 204172337 186826752 270 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134836797 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8739/statm: 45612 270 72 160 0 45450 0
[pid=8741] ppid=8739 vsize=182448 CPUtime=150.51
/proc/8741/stat : 8741 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 15051 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134596603 0 0 4096 2 0 0 0 17 1 0 0
/proc/8741/statm: 45612 285 78 160 0 45450 0
[pid=8742] ppid=8739 vsize=182448 CPUtime=150.4
/proc/8742/stat : 8742 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 15040 0 0 0 25 0 1 0 204172340 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683260 0 0 4096 0 0 0 0 17 1 0 0
/proc/8742/statm: 45612 285 78 160 0 45450 0
[pid=8743] ppid=8739 vsize=182448 CPUtime=150.38
/proc/8743/stat : 8743 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 15038 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134569517 0 0 4096 2 0 0 0 17 1 0 0
/proc/8743/statm: 45612 285 78 160 0 45450 0
[pid=8744] ppid=8739 vsize=182448 CPUtime=149.75
/proc/8744/stat : 8744 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14975 0 0 0 25 0 1 0 204172343 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134578648 0 0 4096 0 0 0 0 17 0 0 0
/proc/8744/statm: 45612 285 78 160 0 45450 0
[pid=8745] ppid=8739 vsize=182448 CPUtime=149.61
/proc/8745/stat : 8745 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14961 0 0 0 25 0 1 0 204172375 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134683578 0 0 4096 2 0 0 0 17 0 0 0
/proc/8745/statm: 45612 285 78 160 0 45450 0
[pid=8746] ppid=8739 vsize=182448 CPUtime=150.2
/proc/8746/stat : 8746 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 15020 0 0 0 25 0 1 0 204172379 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134579576 0 0 4096 0 0 0 0 17 1 0 0
/proc/8746/statm: 45612 285 78 160 0 45450 0
[pid=8747] ppid=8739 vsize=182448 CPUtime=149.58
/proc/8747/stat : 8747 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14958 0 0 0 25 0 1 0 204172382 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134580071 0 0 4096 2 0 0 0 17 0 0 0
/proc/8747/statm: 45612 285 78 160 0 45450 0
[pid=8748] ppid=8739 vsize=182448 CPUtime=149.57
/proc/8748/stat : 8748 (kcnfs-smp) R 8739 8739 8558 0 -1 4194368 47 0 0 0 14957 0 0 0 25 0 1 0 204172383 186826752 285 18446744073709551615 134512640 135172044 4294956704 18446744073709551615 134577464 0 0 4096 0 0 0 0 17 0 0 0
/proc/8748/statm: 45612 285 78 160 0 45450 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 1642032
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 601.435
CPU time (s): 1200.1
CPU user time (s): 1200.08
CPU system time (s): 0.019996
CPU usage (%): 199.54
Max. virtual memory (cumulated for all children) (KiB): 1642032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.08
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 876
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= 50
involuntary context switches= 20762
runsolver used 0.567913 second user time and 1.57576 second system time
The end
Begin job on node61 on Sun Feb 18 23:42:34 UTC 2007
IDJOB= 297626
IDBENCH= 19966
IDSOLVER= 112
FILE ID= node61/297626-1171842154
PBS_JOBID= 3839728
Free space on /tmp= 66561 MiB
SOLVER NAME= KCNFS SMP
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v550/unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/297626-1171842154/kcnfs-smp /tmp/evaluation/297626-1171842154/instance-297626-1171842154.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-297626-1171842154 -o ROOT/results/node61/solver-297626-1171842154 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/297626-1171842154/kcnfs-smp /tmp/evaluation/297626-1171842154/instance-297626-1171842154.cnf
META MD5SUM SOLVER= 23f87ccf1c743ff5b6146b444e216cd3
MD5SUM BENCH= 922e497c513498c78d3b8cdc399c98ca
RANDOM SEED= 380503651
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node61.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 886896 kB
Buffers: 40044 kB
Cached: 1027252 kB
SwapCached: 3636 kB
Active: 441700 kB
Inactive: 634884 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 886896 kB
SwapTotal: 4192956 kB
SwapFree: 4183164 kB
Dirty: 3180 kB
Writeback: 0 kB
Mapped: 15332 kB
Slab: 78596 kB
Committed_AS: 592060 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node61 on Sun Feb 18 23:52:36 UTC 2007