runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3385962-1305578190/watcher-3385962-1305578190 -o /tmp/evaluation-result-3385962-1305578190/solver-3385962-1305578190 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385962-1305578190.cnf -threads=4
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.89 9.06 9.05 7/457 751
/proc/meminfo: memFree=12195700/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=19924 CPUtime=0 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 435 0 0 0 0 0 0 0 25 0 1 0 748049684 20402176 373 33554432000 4194304 4625164 140736403607856 18446744073709551615 256415391488 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/751/statm: 4981 373 295 106 0 484 0
[startup+0.0840831 s]
/proc/loadavg: 8.89 9.06 9.05 7/457 751
/proc/meminfo: memFree=12195700/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=253376 CPUtime=0.26 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 3192 0 0 0 26 0 0 0 25 0 4 0 748049684 259457024 2371 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512475 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 63344 2371 345 106 0 58847 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 253376
[startup+0.101078 s]
/proc/loadavg: 8.89 9.06 9.05 7/457 751
/proc/meminfo: memFree=12195700/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=254808 CPUtime=0.32 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 3497 0 0 0 32 0 0 0 25 0 4 0 748049684 260923392 2676 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 63702 2676 345 106 0 59205 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 254808
[startup+0.301044 s]
/proc/loadavg: 8.89 9.06 9.05 7/457 751
/proc/meminfo: memFree=12195700/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=258832 CPUtime=1.12 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5977 0 0 0 112 0 0 0 25 0 4 0 748049684 265043968 4312 33554432000 4194304 4625164 140736403607856 18446744073709551615 4519328 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 64708 4312 345 106 0 60211 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 258832
[startup+0.700969 s]
/proc/loadavg: 8.89 9.06 9.05 7/457 751
/proc/meminfo: memFree=12195700/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=260292 CPUtime=2.72 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 7899 0 0 0 272 0 0 0 25 0 4 0 748049684 266539008 5705 33554432000 4194304 4625164 140736403607856 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 65073 5705 345 106 0 60576 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 260292
[startup+1.50082 s]
/proc/loadavg: 8.89 9.06 9.05 10/461 756
/proc/meminfo: memFree=12169520/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=267692 CPUtime=5.91 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 13990 0 0 0 590 1 0 0 25 0 4 0 748049684 274116608 7737 33554432000 4194304 4625164 140736403607856 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 66923 7737 345 106 0 62426 0
[pid=751/tid=754] ppid=749 vsize=267692 CPUtime=1.46 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 2341 0 0 0 146 0 0 0 25 0 4 0 748049685 274116608 7737 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=267692 CPUtime=1.48 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 2551 0 0 0 148 0 0 0 25 0 4 0 748049685 274116608 7737 33554432000 4194304 4625164 140736403607856 18446744073709551615 4340391 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=267692 CPUtime=1.46 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 3571 0 0 0 146 0 0 0 25 0 4 0 748049685 274116608 7737 33554432000 4194304 4625164 140736403607856 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 267692
[startup+3.10052 s]
/proc/loadavg: 8.89 9.06 9.05 10/461 756
/proc/meminfo: memFree=12158112/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=277064 CPUtime=12.29 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 29693 0 0 0 1224 5 0 0 25 0 4 0 748049684 283713536 11405 33554432000 4194304 4625164 140736403607856 18446744073709551615 4513783 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 69266 11405 346 106 0 64769 0
[pid=751/tid=754] ppid=749 vsize=277064 CPUtime=3.06 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 3923 0 0 0 305 1 0 0 25 0 4 0 748049685 283713536 11405 33554432000 4194304 4625164 140736403607856 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=277064 CPUtime=3.07 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 4292 0 0 0 307 0 0 0 25 0 4 0 748049685 283713536 11405 33554432000 4194304 4625164 140736403607856 18446744073709551615 4352007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=277064 CPUtime=3.04 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 14092 0 0 0 302 2 0 0 25 0 4 0 748049685 283713536 11405 33554432000 4194304 4625164 140736403607856 18446744073709551615 4339559 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 277064
[startup+6.30091 s]
/proc/loadavg: 8.98 9.07 9.06 10/461 756
/proc/meminfo: memFree=12134856/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=286428 CPUtime=25.04 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 58434 0 0 0 2495 9 0 0 25 0 4 0 748049684 293302272 14991 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 71607 14991 346 106 0 67110 0
[pid=751/tid=754] ppid=749 vsize=286428 CPUtime=6.26 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 6013 0 0 0 624 2 0 0 25 0 4 0 748049685 293302272 14991 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=286428 CPUtime=6.27 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 6850 0 0 0 627 0 0 0 25 0 4 0 748049685 293302272 14991 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=286428 CPUtime=6.19 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 38024 0 0 0 615 4 0 0 25 0 4 0 748049685 293302272 14991 33554432000 4194304 4625164 140736403607856 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 286428
[startup+12.7007 s]
/proc/loadavg: 8.98 9.07 9.06 10/461 756
/proc/meminfo: memFree=12097416/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=293308 CPUtime=50.54 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 120082 0 0 0 5035 19 0 0 25 0 4 0 748049684 300347392 21840 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 73327 21840 346 106 0 68830 0
[pid=751/tid=754] ppid=749 vsize=293308 CPUtime=12.66 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 9692 0 0 0 1262 4 0 0 25 0 4 0 748049685 300347392 21840 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=293308 CPUtime=12.68 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 10987 0 0 0 1266 2 0 0 25 0 4 0 748049685 300347392 21840 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=293308 CPUtime=12.49 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 90544 0 0 0 1238 11 0 0 25 0 4 0 748049685 300347392 21840 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 293308
[startup+25.5003 s]
/proc/loadavg: 8.98 9.07 9.06 10/461 757
/proc/meminfo: memFree=12045916/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=309228 CPUtime=101.55 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 238061 0 0 0 10114 41 0 0 25 0 4 0 748049684 316649472 32838 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 77307 32838 353 106 0 72810 0
[pid=751/tid=754] ppid=749 vsize=309228 CPUtime=25.46 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 15284 0 0 0 2540 6 0 0 25 0 4 0 748049685 316649472 32838 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=309228 CPUtime=25.47 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 17205 0 0 0 2544 3 0 0 25 0 4 0 748049685 316649472 32838 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=309228 CPUtime=25.09 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 195393 0 0 0 2481 28 0 0 25 0 4 0 748049685 316649472 32838 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 309228
[startup+51.1005 s]
/proc/loadavg: 8.99 9.06 9.05 10/461 757
/proc/meminfo: memFree=11958344/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=353652 CPUtime=203.57 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 280343 0 0 0 20307 50 0 0 25 0 4 0 748049684 362139648 45362 33554432000 4194304 4625164 140736403607856 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 88413 45362 401 106 0 83916 0
[pid=751/tid=754] ppid=749 vsize=353652 CPUtime=51.06 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 25839 0 0 0 5099 7 0 0 25 0 4 0 748049685 362139648 45362 33554432000 4194304 4625164 140736403607856 18446744073709551615 4464380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=353652 CPUtime=51.07 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 23909 0 0 0 5100 7 0 0 25 0 4 0 748049685 362139648 45362 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=353652 CPUtime=50.32 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 217425 0 0 0 5000 32 0 0 25 0 4 0 748049685 362139648 45362 33554432000 4194304 4625164 140736403607856 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.57
Current children cumulated vsize (KiB) 353652
[startup+102.318 s]
/proc/loadavg: 9.07 9.07 9.05 10/461 759
/proc/meminfo: memFree=11793160/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=402400 CPUtime=407.67 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 529639 0 0 0 40678 89 0 0 25 0 4 0 748049684 412057600 66892 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512017 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 100600 66892 356 106 0 96103 0
[pid=751/tid=754] ppid=749 vsize=402400 CPUtime=102.28 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 29488 0 0 0 10219 9 0 0 25 0 4 0 748049685 412057600 66892 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=402400 CPUtime=102.29 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 27753 0 0 0 10220 9 0 0 25 0 4 0 748049685 412057600 66892 33554432000 4194304 4625164 140736403607856 18446744073709551615 4288789 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=402400 CPUtime=100.77 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 435357 0 0 0 10012 65 0 0 25 0 4 0 748049685 412057600 66892 33554432000 4194304 4625164 140736403607856 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.67
Current children cumulated vsize (KiB) 402400
[startup+162.3 s]
/proc/loadavg: 9.41 9.15 9.08 11/462 763
/proc/meminfo: memFree=11614932/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=514484 CPUtime=646.23 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 767636 0 0 0 64490 133 0 0 25 0 4 0 748049684 526831616 82875 33554432000 4194304 4625164 140736403607856 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 128621 82875 355 106 0 124124 0
[pid=751/tid=754] ppid=749 vsize=514484 CPUtime=162.25 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 41067 0 0 0 16212 13 0 0 25 0 4 0 748049685 526831616 82875 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=514484 CPUtime=161.82 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 30847 0 0 0 16170 12 0 0 25 0 4 0 748049685 526831616 82875 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=514484 CPUtime=159.83 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 642069 0 0 0 15885 98 0 0 25 0 4 0 748049685 526831616 82875 33554432000 4194304 4625164 140736403607856 18446744073709551615 256415088818 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 646.23
Current children cumulated vsize (KiB) 514484
[startup+222.301 s]
/proc/loadavg: 9.32 9.17 9.09 10/461 765
/proc/meminfo: memFree=11519156/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=609312 CPUtime=884.95 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 1239721 0 0 0 88288 207 0 0 25 0 4 0 748049684 623935488 103184 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 152328 103184 390 106 0 147831 0
[pid=751/tid=754] ppid=749 vsize=609312 CPUtime=222.26 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 56159 0 0 0 22208 18 0 0 25 0 4 0 748049685 623935488 103184 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=609312 CPUtime=221.45 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 40215 0 0 0 22132 13 0 0 25 0 4 0 748049685 623935488 103184 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=609312 CPUtime=218.91 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 1064546 0 0 0 21728 163 0 0 25 0 4 0 748049685 623935488 103184 33554432000 4194304 4625164 140736403607856 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 884.95
Current children cumulated vsize (KiB) 609312
[startup+282.301 s]
################
# More data... #
################
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 91131 0 0 0 58198 28 0 0 25 0 4 0 748049685 1083129856 190917 33554432000 4194304 4625164 140736403607856 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1057744 CPUtime=581.46 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 65899 0 0 0 58115 31 0 0 25 0 4 0 748049685 1083129856 190917 33554432000 4194304 4625164 140736403607856 18446744073709551615 256415434935 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1057744 CPUtime=573.54 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 3733469 0 0 0 56788 566 0 0 25 0 4 0 748049685 1083129856 190918 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2319.6
Current children cumulated vsize (KiB) 1057744
[startup+642.301 s]
/proc/loadavg: 9.13 9.17 9.10 10/461 806
/proc/meminfo: memFree=11321688/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1059680 CPUtime=2558.72 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 4439572 0 0 0 255162 710 0 0 25 0 4 0 748049684 1085112320 198466 33554432000 4194304 4625164 140736403607856 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 264920 198466 468 106 0 260423 0
[pid=751/tid=754] ppid=749 vsize=1059680 CPUtime=642.28 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 92649 0 0 0 64199 29 0 0 25 0 4 0 748049685 1085112320 198466 33554432000 4194304 4625164 140736403607856 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1059680 CPUtime=641.48 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 67235 0 0 0 64115 33 0 0 25 0 4 0 748049685 1085112320 198466 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1059680 CPUtime=632.65 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4058728 0 0 0 62655 610 0 0 25 0 4 0 748049685 1085112320 198466 33554432000 4194304 4625164 140736403607856 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2558.72
Current children cumulated vsize (KiB) 1059680
[startup+702.301 s]
/proc/loadavg: 9.14 9.17 9.10 10/461 808
/proc/meminfo: memFree=11166180/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1110336 CPUtime=2797.8 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5056660 0 0 0 278970 810 0 0 25 0 4 0 748049684 1136984064 206134 33554432000 4194304 4625164 140736403607856 18446744073709551615 4511906 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 277584 206134 394 106 0 273087 0
[pid=751/tid=754] ppid=749 vsize=1110336 CPUtime=702.26 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 120183 0 0 0 70194 32 0 0 25 0 4 0 748049685 1136984064 206134 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1110336 CPUtime=701.47 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 68713 0 0 0 70114 33 0 0 25 0 4 0 748049685 1136984064 206134 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1110336 CPUtime=691.73 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4644461 0 0 0 68467 706 0 0 25 0 4 0 748049685 1136984064 206134 33554432000 4194304 4625164 140736403607856 18446744073709551615 256415089089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2797.8
Current children cumulated vsize (KiB) 1110336
[startup+762.317 s]
/proc/loadavg: 9.10 9.15 9.10 10/461 809
/proc/meminfo: memFree=11080972/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1122304 CPUtime=3036.95 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5388117 0 0 0 302834 861 0 0 25 0 4 0 748049684 1149239296 217994 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 280576 217994 385 106 0 276079 0
[pid=751/tid=754] ppid=749 vsize=1122304 CPUtime=762.28 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 123485 0 0 0 76194 34 0 0 25 0 4 0 748049685 1149239296 217994 33554432000 4194304 4625164 140736403607856 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1122304 CPUtime=761.48 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 69406 0 0 0 76115 33 0 0 25 0 4 0 748049685 1149239296 217994 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1122304 CPUtime=750.84 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4967681 0 0 0 74329 755 0 0 25 0 4 0 748049685 1149239296 217994 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3036.95
Current children cumulated vsize (KiB) 1122304
Solver just ended. Dumping a history of the last processes samples
[startup+767.901 s]
/proc/loadavg: 9.09 9.15 9.09 10/461 810
/proc/meminfo: memFree=11075516/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1123952 CPUtime=3059.21 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5389848 0 0 0 305059 862 0 0 25 0 4 0 748049684 1150926848 218969 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 280988 218969 385 106 0 276491 0
[pid=751/tid=754] ppid=749 vsize=1123952 CPUtime=767.86 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 123715 0 0 0 76752 34 0 0 25 0 4 0 748049685 1150926848 218969 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1123952 CPUtime=767.07 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 69471 0 0 0 76674 33 0 0 25 0 4 0 748049685 1150926848 218969 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1123952 CPUtime=756.33 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4968093 0 0 0 74878 755 0 0 25 0 4 0 748049685 1150926848 218969 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3059.21
Current children cumulated vsize (KiB) 1123952
[startup+780.701 s]
/proc/loadavg: 9.14 9.15 9.10 10/461 810
/proc/meminfo: memFree=11063724/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1125112 CPUtime=3110.21 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5392419 0 0 0 310159 862 0 0 25 0 4 0 748049684 1152114688 220351 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 281278 220351 385 106 0 276781 0
[pid=751/tid=754] ppid=749 vsize=1125112 CPUtime=780.66 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 124139 0 0 0 78032 34 0 0 25 0 4 0 748049685 1152114688 220351 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1125112 CPUtime=779.87 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 69509 0 0 0 77954 33 0 0 25 0 4 0 748049685 1152114688 220351 33554432000 4194304 4625164 140736403607856 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1125112 CPUtime=768.94 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4968445 0 0 0 76139 755 0 0 25 0 4 0 748049685 1152114688 220351 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3110.21
Current children cumulated vsize (KiB) 1125112
[startup+783.901 s]
/proc/loadavg: 9.21 9.17 9.10 10/461 810
/proc/meminfo: memFree=11061864/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1125112 CPUtime=3122.97 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5392709 0 0 0 311434 863 0 0 25 0 4 0 748049684 1152114688 220511 33554432000 4194304 4625164 140736403607856 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 281278 220511 385 106 0 276781 0
[pid=751/tid=754] ppid=749 vsize=1125112 CPUtime=783.86 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 124254 0 0 0 78352 34 0 0 25 0 4 0 748049685 1152114688 220511 33554432000 4194304 4625164 140736403607856 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1125112 CPUtime=783.07 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 69516 0 0 0 78274 33 0 0 25 0 4 0 748049685 1152114688 220511 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1125112 CPUtime=772.09 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4968448 0 0 0 76454 755 0 0 25 0 4 0 748049685 1152114688 220511 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3122.97
Current children cumulated vsize (KiB) 1125112
[startup+785.501 s]
/proc/loadavg: 9.21 9.17 9.10 10/461 810
/proc/meminfo: memFree=11059632/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1125112 CPUtime=3129.34 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5393115 0 0 0 312071 863 0 0 25 0 4 0 748049684 1152114688 220722 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 281278 220722 385 106 0 276781 0
[pid=751/tid=754] ppid=749 vsize=1125112 CPUtime=785.46 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 124311 0 0 0 78512 34 0 0 25 0 4 0 748049685 1152114688 220722 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1125112 CPUtime=784.67 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 69542 0 0 0 78434 33 0 0 25 0 4 0 748049685 1152114688 220722 33554432000 4194304 4625164 140736403607856 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1125112 CPUtime=773.66 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4968562 0 0 0 76611 755 0 0 25 0 4 0 748049685 1152114688 220722 33554432000 4194304 4625164 140736403607856 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3129.34
Current children cumulated vsize (KiB) 1125112
[startup+786.301 s]
/proc/loadavg: 9.21 9.17 9.10 10/461 810
/proc/meminfo: memFree=11059632/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1125668 CPUtime=3132.54 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5393391 0 0 0 312391 863 0 0 25 0 4 0 748049684 1152684032 220866 33554432000 4194304 4625164 140736403607856 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 281417 220866 385 106 0 276920 0
[pid=751/tid=754] ppid=749 vsize=1125668 CPUtime=786.26 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 124330 0 0 0 78592 34 0 0 25 0 4 0 748049685 1152684032 220866 33554432000 4194304 4625164 140736403607856 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1125668 CPUtime=785.47 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 69584 0 0 0 78514 33 0 0 25 0 4 0 748049685 1152684032 220866 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1125668 CPUtime=774.46 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4968621 0 0 0 76691 755 0 0 25 0 4 0 748049685 1152684032 220866 33554432000 4194304 4625164 140736403607856 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3132.54
Current children cumulated vsize (KiB) 1125668
[startup+786.701 s]
/proc/loadavg: 9.21 9.17 9.10 10/461 810
/proc/meminfo: memFree=11058888/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1125668 CPUtime=3134.12 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5393439 0 0 0 312549 863 0 0 25 0 4 0 748049684 1152684032 220875 33554432000 4194304 4625164 140736403607856 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 281417 220875 385 106 0 276920 0
[pid=751/tid=754] ppid=749 vsize=1125668 CPUtime=786.66 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 124330 0 0 0 78632 34 0 0 25 0 4 0 748049685 1152684032 220875 33554432000 4194304 4625164 140736403607856 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1125668 CPUtime=785.87 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 69590 0 0 0 78554 33 0 0 25 0 4 0 748049685 1152684032 220875 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1125668 CPUtime=774.84 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4968621 0 0 0 76729 755 0 0 25 0 4 0 748049685 1152684032 220875 33554432000 4194304 4625164 140736403607856 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3134.12
Current children cumulated vsize (KiB) 1125668
[startup+787.101 s]
/proc/loadavg: 9.21 9.17 9.10 10/461 810
/proc/meminfo: memFree=11058888/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=1125668 CPUtime=3135.72 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) R 749 751 617 0 -1 4202496 5393466 0 0 0 312709 863 0 0 25 0 4 0 748049684 1152684032 220898 33554432000 4194304 4625164 140736403607856 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 281417 220898 385 106 0 276920 0
[pid=751/tid=754] ppid=749 vsize=1125668 CPUtime=787.06 cores=1,3,5,7
/proc/751/task/754/stat : 754 (SArTagnan) R 749 751 617 0 -1 4202560 124337 0 0 0 78672 34 0 0 25 0 4 0 748049685 1152684032 220898 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=751/tid=755] ppid=749 vsize=1125668 CPUtime=786.27 cores=1,3,5,7
/proc/751/task/755/stat : 755 (SArTagnan) R 749 751 617 0 -1 4202560 69590 0 0 0 78594 33 0 0 25 0 4 0 748049685 1152684032 220898 33554432000 4194304 4625164 140736403607856 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=751/tid=756] ppid=749 vsize=1125668 CPUtime=775.24 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4202560 4968621 0 0 0 76769 755 0 0 25 0 4 0 748049685 1152684032 220898 33554432000 4194304 4625164 140736403607856 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3135.72
Current children cumulated vsize (KiB) 1125668
[startup+787.201 s]
/proc/loadavg: 9.21 9.17 9.10 10/461 810
/proc/meminfo: memFree=11058888/32950928 swapFree=67111200/67111528
[pid=751] ppid=749 vsize=0 CPUtime=3136.1 cores=1,3,5,7
/proc/751/stat : 751 (SArTagnan) Z 749 751 617 0 -1 4203548 5393501 0 0 0 312747 863 0 0 25 0 2 0 748049684 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/751/statm: 0 0 0 0 0 0 0
[pid=751/tid=756] ppid=749 vsize=0 CPUtime=775.35 cores=1,3,5,7
/proc/751/task/756/stat : 756 (SArTagnan) R 749 751 617 0 -1 4203588 4968621 0 0 0 76779 756 0 0 25 0 2 0 748049685 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3136.1
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 787.232
CPU time (s): 3136.14
CPU user time (s): 3127.47
CPU system time (s): 8.66768
CPU usage (%): 398.375
Max. virtual memory (cumulated for all children) (KiB): 1125668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3127.47
system time used= 8.66768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5393501
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= 1087
involuntary context switches= 19540
runsolver used 3.3065 second user time and 8.5517 second system time
The end