runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3725143-1338633375/watcher-3725143-1338633375 -o /tmp/evaluation-result-3725143-1338633375/solver-3725143-1338633375 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725143-1338633375.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.96 1.97 1.70 3/176 30989
/proc/meminfo: memFree=29125160/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 813 0 0 0 0 0 0 0 20 0 1 0 329461917 6373376 733 33554432000 4194304 8989770 140734733642880 140737417953416 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/30989/statm: 1556 733 427 1171 0 333 0
[startup+0.0419369 s]
/proc/loadavg: 1.96 1.97 1.70 3/176 30989
/proc/meminfo: memFree=29125160/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=9296 CPUtime=0.03 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 1357 0 0 0 3 0 0 0 20 0 1 0 329461917 9519104 1277 33554432000 4194304 8989770 140734733642880 140737417953416 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/30989/statm: 2324 1277 430 1171 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9296
[startup+0.100224 s]
/proc/loadavg: 1.96 1.97 1.70 3/176 30989
/proc/meminfo: memFree=29125160/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=13392 CPUtime=0.09 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 2605 0 0 0 9 0 0 0 20 0 1 0 329461917 13713408 2525 33554432000 4194304 8989770 140734733642880 140737417953416 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/30989/statm: 3348 2525 430 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.30023 s]
/proc/loadavg: 1.96 1.97 1.70 3/176 30989
/proc/meminfo: memFree=29125160/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=27728 CPUtime=0.29 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 6208 0 0 0 28 1 0 0 20 0 1 0 329461917 28393472 6128 33554432000 4194304 8989770 140734733642880 140737417953416 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/30989/statm: 6932 6128 430 1171 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27728
[startup+0.700239 s]
/proc/loadavg: 1.96 1.97 1.70 3/176 30989
/proc/meminfo: memFree=29125160/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=47184 CPUtime=0.69 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 11084 0 0 0 67 2 0 0 20 0 1 0 329461917 48316416 11004 33554432000 4194304 8989770 140734733642880 140734733640832 4214011 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/30989/statm: 11796 11004 440 1171 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47184
[startup+1.50024 s]
/proc/loadavg: 1.96 1.97 1.70 3/177 30990
/proc/meminfo: memFree=29076916/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=52304 CPUtime=1.49 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 12397 0 0 0 146 3 0 0 20 0 1 0 329461917 53559296 12317 33554432000 4194304 8989770 140734733642880 140734733642376 6588481 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/30989/statm: 13076 12317 470 1171 0 11853 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52304
[startup+3.10023 s]
/proc/loadavg: 1.96 1.97 1.70 3/177 30990
/proc/meminfo: memFree=29073568/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=61520 CPUtime=3.08 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 14477 0 0 0 305 3 0 0 20 0 1 0 329461917 62996480 14397 33554432000 4194304 8989770 140734733642880 140734733642376 4469522 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/30989/statm: 15380 14397 470 1171 0 14157 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61520
[startup+6.30029 s]
/proc/loadavg: 2.04 1.99 1.70 3/177 30990
/proc/meminfo: memFree=29052860/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=75856 CPUtime=6.29 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 18112 0 0 0 624 5 0 0 20 0 1 0 329461917 77676544 18032 33554432000 4194304 8989770 140734733642880 140734733642376 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 18964 18032 470 1171 0 17741 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75856
[startup+12.7003 s]
/proc/loadavg: 2.04 1.99 1.70 3/177 30990
/proc/meminfo: memFree=29026084/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=99408 CPUtime=12.69 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 24173 0 0 0 1261 8 0 0 20 0 1 0 329461917 101793792 24093 33554432000 4194304 8989770 140734733642880 140734733642376 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 24852 24093 470 1171 0 23629 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99408
[startup+25.5003 s]
/proc/loadavg: 2.03 1.99 1.71 3/177 30990
/proc/meminfo: memFree=28970644/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=149584 CPUtime=25.48 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 36514 0 0 0 2536 12 0 0 20 0 1 0 329461917 153174016 36434 33554432000 4194304 8989770 140734733642880 140734733642376 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 37396 36434 470 1171 0 36173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 149584
[startup+51.1003 s]
/proc/loadavg: 2.02 1.99 1.72 3/177 30990
/proc/meminfo: memFree=28894784/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=217168 CPUtime=51.06 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 53427 0 0 0 5087 19 0 0 20 0 1 0 329461917 222380032 53331 33554432000 4194304 8989770 140734733642880 140734733642376 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 54292 53331 470 1171 0 53069 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 217168
[startup+102.306 s]
/proc/loadavg: 2.01 1.99 1.73 3/176 30990
/proc/meminfo: memFree=28776540/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=314448 CPUtime=102.22 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 77754 0 0 0 10191 31 0 0 20 0 1 0 329461917 321994752 77619 33554432000 4194304 8989770 140734733642880 140734733641720 4209301 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 78612 77619 470 1171 0 77389 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 314448
[startup+162.3 s]
/proc/loadavg: 2.08 2.00 1.75 3/177 30991
/proc/meminfo: memFree=28687156/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=381008 CPUtime=162.16 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 94565 0 0 0 16174 42 0 0 20 0 1 0 329461917 390152192 94384 33554432000 4194304 8989770 140734733642880 140734733642144 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 95252 94384 470 1171 0 94029 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 381008
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 1.76 3/177 30991
/proc/meminfo: memFree=28605220/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=437328 CPUtime=222.11 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 108625 0 0 0 22162 49 0 0 20 0 1 0 329461917 447823872 108405 33554432000 4194304 8989770 140734733642880 140734733642376 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 109332 108405 470 1171 0 108109 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 437328
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.77 3/178 30994
/proc/meminfo: memFree=28529352/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=489552 CPUtime=282.09 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 121637 0 0 0 28152 57 0 0 20 0 1 0 329461917 501301248 121391 33554432000 4194304 8989770 140734733642880 140734733642144 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 122388 121391 470 1171 0 121165 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 489552
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/177 30994
/proc/meminfo: memFree=28468132/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=529488 CPUtime=342.07 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 131874 0 0 0 34144 63 0 0 20 0 1 0 329461917 542195712 131614 33554432000 4194304 8989770 140734733642880 140734733642376 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 132372 131614 470 1171 0 131149 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 529488
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 30994
/proc/meminfo: memFree=28404928/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=574544 CPUtime=402.06 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 143065 0 0 0 40138 68 0 0 20 0 1 0 329461917 588333056 142801 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 143636 142801 470 1171 0 142413 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 574544
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/177 30995
/proc/meminfo: memFree=28345436/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=619600 CPUtime=462.05 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 154313 0 0 0 46132 73 0 0 20 0 1 0 329461917 634470400 154049 33554432000 4194304 8989770 140734733642880 140734733642144 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 154900 154049 470 1171 0 153677 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 619600
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 30995
/proc/meminfo: memFree=28292044/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=653392 CPUtime=522.04 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 162781 0 0 0 52126 78 0 0 20 0 1 0 329461917 669073408 162517 33554432000 4194304 8989770 140734733642880 140734733642144 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 163348 162517 470 1171 0 162125 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 653392
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 30995
/proc/meminfo: memFree=28246288/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=685136 CPUtime=582.04 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 170615 0 0 0 58121 83 0 0 20 0 1 0 329461917 701579264 170351 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 171284 170351 470 1171 0 170061 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 685136
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 30996
/proc/meminfo: memFree=28064752/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=813136 CPUtime=821.99 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 202588 0 0 0 82098 101 0 0 20 0 1 0 329461917 832651264 202324 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 203284 202324 470 1171 0 202061 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 813136
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 30999
/proc/meminfo: memFree=28029284/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=832592 CPUtime=881.97 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 207585 0 0 0 88092 105 0 0 20 0 1 0 329461917 852574208 207297 33554432000 4194304 8989770 140734733642880 140734733642144 4209442 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 208148 207297 470 1171 0 206925 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 832592
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 30999
/proc/meminfo: memFree=27997824/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=853072 CPUtime=941.92 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 212748 0 0 0 94084 108 0 0 20 0 1 0 329461917 873545728 212415 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 213268 212415 470 1171 0 212045 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 853072
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 30999
/proc/meminfo: memFree=27944036/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1001.9 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225192 0 0 0 100076 114 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 903248
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 31000
/proc/meminfo: memFree=27920256/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1061.89 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 106073 116 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 903248
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 31000
/proc/meminfo: memFree=27911944/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1121.88 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 112067 121 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 4208857 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 903248
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 31000
/proc/meminfo: memFree=27899420/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1181.87 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 118061 126 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 903248
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/177 31000
/proc/meminfo: memFree=27889144/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1241.86 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 124056 130 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642376 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 903248
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 31000
/proc/meminfo: memFree=27882104/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1301.86 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 130052 134 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 903248
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31001
/proc/meminfo: memFree=27864720/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1361.85 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 136047 138 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 903248
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 31001
/proc/meminfo: memFree=27857528/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1421.85 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 142044 141 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 903248
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 31004
/proc/meminfo: memFree=27846236/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1481.83 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 148039 144 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642376 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 903248
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31026
/proc/meminfo: memFree=27835820/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1541.82 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 154035 147 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 903248
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31026
/proc/meminfo: memFree=27825660/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1601.8 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 160030 150 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 903248
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31027
/proc/meminfo: memFree=27813260/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1661.8 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 166027 153 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 4214368 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 903248
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 31027
/proc/meminfo: memFree=27801604/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1721.78 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 172022 156 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642376 4204624 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 903248
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 31066
/proc/meminfo: memFree=28252544/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1781.78 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 178018 160 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 903248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 31066
/proc/meminfo: memFree=28249948/32873844 swapFree=7644/7644
[pid=30989] ppid=30987 vsize=903248 CPUtime=1800.09 cores=0,2,4,6
/proc/30989/stat : 30989 (toysat) R 30987 30989 30509 0 -1 4202496 225199 0 0 0 179849 160 0 0 20 0 1 0 329461917 924925952 224837 33554432000 4194304 8989770 140734733642880 140734733642144 7697332 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/30989/statm: 225812 224837 472 1171 0 224589 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 903248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1798.49
CPU system time (s): 1.60976
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 903248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.60975
maximum resident set size= 899348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225199
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= 286
involuntary context switches= 2163
runsolver used 3.17152 second user time and 8.75267 second system time
The end